Introducción a la lógica de predicados

Conoce los conceptos básicos para el manejo de la lógica de predicados. 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.