Aquí tenéis el material de lógica de predicados.

MATERIAL DE LÓGICA DE PREDICADOS