UNIVERSIDAD NACIONAL DE INGENIERÍA
FACULTAD DE CIENCIAS
SILABO
I. DATOS GENERALES
Curso : Lógica y Teoría de conjuntos
Código : CM1A2
Pre-requisito : BMA01, BMA03
Dpto. Académico : Matemática
Condición : Obligatorio
Ciclo académico : 2020-1
Créditos : 04
Horas teóricas : 03 horas semanales
Horas practicas : 02 horas semanales
Sistema de evaluación :G
Profesor del curso : La Rosa Obando Laura
Duración : 17 semanas
II. SUMILLA
El curso de lógica y Teoría de conjuntos es un curso del segundo ciclo es de naturaleza teórico-
práctico y tiene como objetivo estudiar la lógica proposicional, la inferencia: Demostraciones
directas, condicionales y por el absurdo. Lógica de primer orden: intercambio de
cuantificadores, métodos de demostración en lógica de primer orden. Teoría intuitiva de
conjuntos: Productos cartesianos arbitrarios, equipotencia, numerabilidad, Conjuntos
parcialmente y totalmente ordenados, el lema de Zorn. Teoría axiomática de conjuntos: los
axiomas de Zermelo-Frankel. Estructuras de Peano. El buen ordenamiento de los números
naturales.
III. COMPETENCIAS
1. Identifica y simboliza las proposiciones, utilizando en forma rigurosa los
conectores lógicos.
2. Analiza las inferencias determinando su validez o invalidez.
3. Deduce las conclusiones de un argumento a partir de un conjunto de premisas,
aplicando en forma rigurosa las leyes lógicas y las reglas de inferencia.
4. Construye demostraciones directas, por el absurdo y condicionales, mediante el
uso de las reglas de la lógica proposicional y de las reglas de la lógica de primer
orden.
5. Demuestra su capacidad de análisis con el uso de la teoría intuitiva de conjuntos
en contextos de generalizar los muchos conceptos conocidos como en la escuela
(unión, intersección, producto cartesiano).
6. Construya nuevos conceptos con el uso de las funciones, tales como la
numerabilidad, la equipotencia y logra tener un sentido de abstracción para
entender la teoría axiomática de conjuntos
IV. UNIDADES DE APRENDIZAJE
UNIDAD I: LÓGICA PROPOSICIONAL
¿Qué es la lógica? Lógica y lenguaje. Funciones del lenguaje. Concepto de
proposición. Expresiones lingüísticas que no son proposiciones. Clasificación de
proposiciones,
Proposiciones moleculares: conjuntiva, disyuntiva (débil y fuerte), condicional,
bicondicional y negación. Principios lógicos fundamentales: de identidad, no-
contradicción y tercio excluido. Equivalencias notables. Conmutatividad,
Asociatividad, Distributividad, Doble Negación, De Morgan.
SEMANAS: 1,2
UNIDAD II: LA INFERENCIA
Definición de implicación. Concepto de inferencia. clasificación: inductivas y
deductivas. Método de tablas de verdad para hallar la validez de Inferencias.
Método abreviado. Implicaciones notables. Modus Ponens, Modus Tollens,
Simplificación, Silogismo disyuntivo, Silogismo hipotético, Adición, Conjunción,
Dilemas constructivo y destructivo. Modalidades de la deducción natural: Prueba
directa (P.D.), Prueba condicional (P.C.) y Prueba por reducción al absurdo
(P.R.A.)
SEMANAS: 3,4
UNIDAD III: LOGICA DE PRIMER ORDEN
El lenguaje de la lógica de primer orden. Formalización de proposiciones
singulares, categóricas y complejas. Cuadro de Boecio. Concepto de silogismo
categórico. Reglas de Intercambio de Cuantificadores (I.C.) Reglas de
eliminación e introducción de cuantificadores. Reglas de Distribución de
cuantificadores (Dist. C.). Modalidades de la deducción natural en LPO: Prueba
directa (P.D.), Prueba condicional (P.C.) y Prueba por reducción al absurdo
(P.R.A.)
SEMANAS: 5,6,7,8
UNIDAD IV: TEORIA INTUITIVA DE CONJUNTOS
Paradoja de Russell, Par ordenado, familia de conjuntos, unión e intersección
arbitraria de conjuntos, imagen y preimagen de conjuntos, producto cartesiano
arbitrario. Equivalencias y particiones. Conjuntos enumerables, conjuntos
equipotentes. Teorema de Schroder-Berstein. Conjuntos parcialmente y
totalmente ordenados, el Lema de Zorn. Conjuntos bien ordenados. Propiedades.
Definición de segmento en un conjunto bien ordenado.
SEMANAS: 9,10,11,12
UNIDAD V: TEORÍA AXIOMÁTICA DE CONJUNTOS
Teoría axiomática de Zermelo-Frankel: Axioma de extensión, axioma esquema de
especificación, axioma de los pares, axioma de unión, axioma del conjunto
potencia, axioma de regularidad, Teorema del intercambio, axioma de infinitud,
teorema esquema de inducción. Propiedades. Teorema de la recursión.
Estructuras de Peano. El buen ordenamiento de los naturales.
SEMANAS: 13,14,15,16,17
V. METODOLOGÍA
Método presencial de aprendizaje, en el cual el profesor deduce e induce las bases
teóricas, complementada con aplicaciones preferentemente relacionadas a la especialidad
respectiva. Tutoría académica permanente en forma semanal según horarios fuera de
clase.
VI. SISTEMA DE EVALUACIÓN
Sistema de evaluación G:
Cantidad de prácticas o trabajos calificados: cuatro (06)
El promedio final (PF) se calcula tal como se muestra a continuación:
EP+ EF+ PP
PF=
3
donde
EP: Examen Parcial (Peso 1)
EF: Examen Final (Peso 1)
PP: Promedio de Practicas (Peso 1)
VII. BIBLIOGRAFIA
[1] COPI, IRVING COHEN CARL . Introducción a la lógica,2011 México, D.F.
Limusa.
[2] GARCÍA ZARATE, ÓSCAR. Elementos de lógica. 2102, 1a ed. Lima. Visual
Press
[3] PATRICK SUPPES. Introducción a la lógica matemática, 2005, Reverte
[4] SEYMOUR LIPSCHUTZ, Teoría de conjuntos y temas afines. 1970. McGraw-Hill,
México
[5] HERÁNDEZ HERNÁNDEZ, FERNANDO. Teoría de conjuntos (una introducción),
2003
