Deducción natural en lógica proposicional con Isabelle/Isar
En esta teoría se presentan los ejemplos del tema de deducción natural proposicional siguiendo la presentación de Huth y Ryan en su libro Logic in Computer Science y, más concretamente, a la forma como se explica en la asignatura de Lógica informática y que puede verse en
las transparencias del tema 2.
La página al lado de cada teorema indica la página de las anteriores transparencias donde se encuentra la demostración.
Read More “Deducción natural en lógica proposicional con Isabelle/Isar”