Clase 15/04/2015.

Comisión 2 (Docente: Pedro Sánchez Terraf)

Lógica Proposicional.

Lectura recomendada: Capítulo 3, pp.15-27 de la versión digital de “Cálculo de programas”.

Especificación y Análisis de Razonamientos.

[Parte del material teórico correspondiente a este tema está en el Práctico 3.]

Analizamos el siguiente razonamiento:

(P1) Si llueve, la calle se moja.
(P2)
No llovió.                                
(C)   La calle no está mojada.

Nos convenzamos de que este razonamiento “no está bien hecho”: aunque no llueva, alguien puede estar manguereando indiscriminadamente la vereda, con lo cual estaría mojada. Llamaremos correctos a los razonamientos bien hechos.

Un razonamiento es correcto si cada vez que las premisas (hipótesis) son verdaderas, también lo es la conclusión.

La definición que usaremos en la práctica es la siguiente:

Un razonamiento es correcto si la fórmula proposicional que lo representa es válida.

Ejercicio: Mostrar que el razonamiento anterior no es correcto, comprobando que la fórmula que lo representa no es válida.

Tarea.

Ejercicios 17 de los Ejercicios Seleccionados, más ejercicios al final del PDF de Cálculo Proposicional.