TEMAS UNIDAD 3 MATEMATICAS DISCRETAS

3.1 LÓGICA PROPOSICIONAL
3.1.1 Concepto de proposición
3.1.2 Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, 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 INDUCCION MATEMATICA
3.5 APLICACIÓN DE LA LÓGICA MATEMÁTICA EN LA COMPUTACIÓN

3.3 ÁLGEBRA DECLARATIVA