LMF2012: Deducción natural proposicional
En las dos últimas clases del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.
Las transparencias de estas clases son las del tema 2
En las dos últimas clases del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.
Las transparencias de estas clases son las del tema 2