Consecuencia, satisfacibilidad, equivalencia en lógica de predicados
Sintaxis y semántica básica de la lógica de predicados