LMF2019: Deducción natural proposicional (2)
En la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la deducción natural en la lógica proposicional.
Se han estudiado las siguientes reglas:
- Reglas de la disyunción
- Regla de copia
- Reglas de la negación
- Reglas del bicondicional
- Regla del modus tollens
- Regla de introducción de doble negación
- Regla de reducción al absurdo
- Ley del tercio excluido
Las transparencias correspondientes son las 11-28 del tema 2.
Simultáneamente se ha explicado cómo formalizar demostraciones en
Isabelle/HOL. Los ejemplos correspondientes son los 12-24 de la
siguiente teoría
Read More “LMF2019: Deducción natural proposicional (2)”