6. LÓGICA PROPOSICIONAL. TAUTOLOGÍAS, CONTRADICCIONES, FORMAS NORMALES, EQUIVALENCIAS E IMPLICACIONES LÓGICAS Y ARGUMENTACIONES

                En este capítulo continuamos resolviendo problemas de Lógica Proposicional: comprobar si una forma enunciativa es una tautología o una contradicción y calcular las formas normales de cualquier forma enunciativa. Para ello haremos algunas variaciones sobre el programa 5.1. con el que calculábamos las tablas de verdad y que presentamos en el capítulo anterior. Usando Module[] crearemos un nuevo procedimiento que llamaremos “logica” y nos proporcionará la tabla de verdad de cualquier forma enunciativa, dirá si es tautología o contradicción y mostrará sus formas normales. Terminaremos utilizando el programa que determina si una forma enunciativa es tautología para comprobar si dos formas enunciativas son equivalentes, o si una forma argumentativa es válida.

CONTENIDOS:

1. TAUTOLOGÍA Y CONTRADICCIÓN

2. FORMAS NORMALES

3. EQUIVALENCIA LÓGICA E IMPLICACIÓN LÓGICA

4. ARGUMENTACIÓN. VALIDEZ

5. EJERCICIOS