Lógica matemática

Información general de la unidad curricular Lógica Matemática de la Facultad Experimental de Ciencias de LUZ

PLAN DE EVALUACIÓN DE LA ASIGNATURA

#	Unidad de aprendizaje #1
0	Evaluación diagnóstica preliminar. Preliminares y fundamentos básicos de la asignatura.
1	Introducción a la teoría de conjuntos. Conjuntos y subconjuntos. Conjuntos por extensión y comprensión. Operaciones básicas con conjuntos. Producto cartesiano de conjuntos. Operaciones generalizadas con conjuntos (operaciones con n conjuntos). EVALUACIÓN 1 (I-2026)

#	Unidad de aprendizaje #2
2	Relaciones Dominio e Imagen de una relación. Representación gráfica de relaciones. Relación inversa. Composición de relaciones. Tipos de relaciones. Relaciones reflexivas, simétricas y transitivas. Relaciones de equivalencia. Relaciones de orden. Diagramas de Hasse.
3	Funciones. Funciones inyectivas, sobreyectivas y biyectivas. Función inversa. Composición de funciones. EVALUACIÓN 2 (I-2026)

#	Unidad de aprendizaje #3
4	Cálculo proposicional. Inferencia lógica. Proposiciones. Operaciones veritativas. Formas proposicionales. Equivalencia lógica. Álgebra de proposiciones. Implicación e inferencia. Reglas de inferencia. Métodos de demostración. Método del contrarecíproco. Reducción al absurdo.
5	Cuantificadores. Funciones proposicionales. Cuantificadores. Método axiomático.

---