UNIDAD 3 LÓGICA DE PREDICADO

3.1 Lógica proposicional
3.1.1 Concepto de proposición
3.1.2 Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional y Bicondicional)
3.1.3 Tablas de verdad
3.1.4 Tautologías, Contradicción y Contingencia
3.1.5 Equivalencias lógicas
3.1.6 Reglas de inferencia
3.1.7 Argumentos válidos y no válidos
3.1.8 Demostración formal (Directa, Por contradicción)

3.2 Lógica de predicados.
3.2.1 Cuantificadores
3.2.2 Representación y evaluación de predicados

3.3 Álgebra declarativa.

3.4 Inducción matemática.

3.5 Aplicación de la lógica matemática en la computación.