Lógica - Ayuda con logica de primer orden

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.

Dog666, vamos a abordar cada uno de los enunciados utilizando lógica de primer orden:

a) Todos los periodistas criticaron a José en uno o más de sus discursos

Expresión en lógica de primer orden:
Ɐx (Periodista(x) → Ǝy (Discurso(y) ^ Critica(x, José, y)))

Esto se lee como "Para todo x, si x es un periodista, entonces existe al menos un y que es un discurso y x critica a José en y."

b) Todos los reproductores de DVD reproducen Zona1 menos los de marca Acme

Expresión en lógica de primer orden:
Ɐx (ReproductorDVD(x) ^ Marca(x, Acme) → ¬Reproduce(x, Zona1))

Esto se lee como "Para todo x, si x es un reproductor de DVD y es de marca Acme, entonces x no reproduce la Zona 1."

c) Ayudo solo a los que se ayudan a sí mismos.

Expresión en lógica de primer orden:
Ɐx (Persona(x) → Ayuda(x, x))

Esto se lee como "Para todo x, si x es una persona, entonces x ayuda a sí mismo."

Recuerda que estas expresiones pueden variar dependiendo de cómo hayas definido tus predicados y constantes en tu contexto específico.