LMF2019: Deducción natural en lógica de primer orden (2/2)
En la clase de hoy del curso Lógica matemática y fundamentos se ha completado el estudio del cálculo de deducción natural proposional para la lógica de primer orden demostrando algunas equivalencias notables y presentando las reglas de la igualdad
La clase se ha dado mediante videoconferencia y el correspondiente vídeo es
Las transparencias de esta clase son las páginas 14 a 29 del tema 4.
A la vez que se han ido haciendo las demostraciones se ha explicado cómo hacerlas en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural en lógica de primer orden (2/2)”