LI2012: Decisión de propiedades de la lógica proposicional. Deducción natural
En primera parte de la clase de hoy del curso Lógica Informática se han resuelto cuestiones abiertas sobre la lógica proposicional; es decir, dada una conjeturas sobre la lógica proposicional decidir si son ciertas o falsas.
Concretamente, se han comentado soluciones de los ejercicios 32 a 37 del capítulo 1 del libro de ejercicios.
En la segunda parte hemos comenzado el estudio de la deducción natural proposicional. Las reglas que se han visto en la clase de hoy son las de la conjunción, de la doble negación, de eliminación del condicional, de modus tollens y de introducción del condicional.
Como tarea pendiente se propone la resolución de los 22 primeros apartados del ejercicio 5 del tema 2 del libro de ejercicios.
Las transparencias de esta clase son las páginas 1-10 del tema 2