Dudas con problemas de predicados y calculo de predicados

Predicados y Cálculo de predicados.
1. Transforme las siguientes oraciones a lenguaje formal. Tenga en cuenta este ejemplo:
María ayuda a los que no se ayudan a sí mismos.
Pasar a lenguaje formal: ∀x(¬A(x, x) →A(m, x))
Existe un médico que atiende a todos los médicos que no pueden atenderse por sí
Mismos.
Pasar a lenguaje formal: ∃x(E(x) ∧ ∀y(¬A(y,y) →A(x,y))

Estos son los problemas ayuda

a) Pedro le da de comer a los que no comen por sí mismos.
b) Existe un estudiante que ayuda con sus estudios a todos los que no se ayudan estudiando por sí mismos.
c) Hay estudiantes que no ayudan con sus estudios a nadie, pero Pablo se ayuda estudiando por sí mismo.
d) Todos los estudiantes ayudan con sus estudios a Pablo, solo si Pablo no se ayuda con sus estudios por sí mismo.

e) Los estudiantes no ayudan con sus estudios a Pablo, a menos que Pablo sea estudiante.