Lógica - Ayuda con logica de primer orden

   
Vista:

Ayuda con logica de primer orden

Publicado por Dog666 (1 intervención) el 02/11/2009 13:01:48
Muchachos:

Alguno sabe como escribir en logica de primer orden (con "para todo" y "existe") los siguientes enunciados?

Este lo hice bien -> Todos los miembros del grupo se aman mutuamente

"para todo" (x,y) Ama(x,y) y ama(y,x)

Pero estos no me salen:

a) Todos los periodistas criticaron a José en uno o más de sus discursos
b) Todos los reproductores de DVD reproducen Zona1 menos los de marca Acme
c) Ayudo solo a los que se ayudan a si mismos.

Al que me pueda dar una mano se los agradezco.
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Lógica
- Cursos de Lógica
- Temas de Lógica
información
Cursos y Temas de Lógica
- Manual de lógica
- Introducción a la lógica
- Temas de Programación lógica e I.A.