Ejercicios tomados de Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica, de Falguera y MartínezLeer menos