LÓGICA DE ENUNCIADOS O PROPOSICIONAL


ÍNDICE DE MATERIAS DE LÓGICA DE ENUNCIADOS


La lógica clásica elemental se divide en lógica de enunciados y lógica de predicados. Este apartado está dedicado a el primer tipo de lógica.

1. Introducción a la lógica clásica elemental: lógica de enunciados y de predicados.

2. Enunciados y conectores

3. Tipos de deducción: la deducción directa y la indirecta o reducción al absurdo.

4. Valores de verdad de los enunciados: las tablas de verdad.

5. Reglas elementales del cálculo de enunciados (juntores).

6. Reglas derivadas del cálculo de juntores.

7. El método de las tablas semánticas o árboles lógicos.


EJERCICIOS RELACIONADOS CON ESTE TEMA