#1 Logica de primer orden
Muchachos:
Alguno sabe como escribir en logica de primer (con "para todo" y "existe") orden 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.
Alguno sabe como escribir en logica de primer (con "para todo" y "existe") orden 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.
0