En este grupo En todos

Foro de Prolog



Ayuda con logica de primer orden

dog
Capital Federal, Arg...
Escrito por Dog 666
el 02/11/2009

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.