LI2014: Deducción natural en lógica de primer orden (2)

En la primera parte de la clase de hoy del curso de Lógica Informática se ha continuado el estudio de la deducción natural en lógica de primer orden. Se han comentado distintas equivalencias lógicas y se han demostrado por deducción natural las principales equivalencias.

Las transparencias de esta clase son las páginas 14 a 25 del tema 8 que se muestran a continuación