Examen completo Lógica: Febrero 2018 1ª Semana Modelo A
Fórmulas equivalentes, tableaux
Sintaxis y semántica básica de la lógica de predicados
Consecuencia, validez, tautología
Lógica de predicados, lenguaje, semántica
Cálculo de predicados: equivalencias, tableaux