Ayuda con logica de primer orden!!! en el foro de Programación:

Muchacho/as:

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.

Supongo:
"para todo" p in Periodistas, existe d in Discurso, tal que dioDiscurso(p,d), critica(d,Jose).

"para todo" d in DVDs, (marca(d,Acme) Y - reproduce(d,Zona1) O (-marca(d,Acme) Y reproduce(d,Zona1)

"para todo x" en Personas, (ayuda(x,x) y ayuda(YO,x) O (-ayuda(x,x) y -ayudo(YO,x))

Fijate el patrón en los ultimo dos ( PropocisionX Y ALGO) O (No PropocisionX y OTRA COSA))
Las dos partes son conjunciones de proposiciones ( separadas por Y) y las partes en si mismas estan seaparadas por O. La primer parte es la afirmación que debes hacer cuando ProposicionX se cumple ("si la marca es Acme entonces no reproduce la zona1" y la segunda cuando no se cumple ("si la marca no es acme, entonces reproduce la Zona1"). Tambien que las partes son excluyentes entre si con respecto a ProposicionX (no pueden ser verdaderas a la vez)

P.D : me parece que estoy utilizando mal el termino preposición... creo recordar que en lógica de primer orden se llaman predicados.

Gracias el_bot!!!