I.CONJUNTOS Y SUBCONJUNTOS   

II.LOGICA PROPOSICIONAL

2. LOGICA PROPOSICIONAL (20 hrs.)

2.1 Razonamientos y su estructura formal 

2.2 Expresión, enunciado, razonamiento, premisa, inferencia, conclusión, proposición, argumentos, verdad y validez

2.3 Operaciones lógicas 

2.4 Monádicas, diádicas, conmutativas y no conmutativas  2.5 Signos de agrupación 2.6 Definición, escritura, lectura, tabla de verdad

2.7 Reglas de simbolización para una fórmula bien formada 

2.8 Traducción del lenguaje simbólico al natural y viceversa

2.9 Formas arguméntales y tablas de verdad. Técnica de la tabla de verdad

2.10 Tautología, contingencia y contradicción  2.11 Razonamiento y validez

3. DEDUCCION FORMAL (20 hrs.)

3.1 Naturaleza de una demostración  3.2 Introducción al cálculo proposicional 3.3 Leyes de implicación y equivalencia 3.4 La prueba formal de validez 

3.5 Pruebas: directa, condicional, condicional reforzada e indirecta (reducción al absurdo)

3.6 La prueba de invalidez

4. PROPOSICIONES Y CUANTIFICADORES (25 hrs.)

4.1 Proposiciones singulares, particulares, universales 4.2 Traducción del lenguaje natural al simbólico utilizando cuantificadores  4.3 Reglas de cuantificación y demostración de validez (Prueba formal de validez y prueba condicional reforzada)  4.4 Prueba de invalidez 4.5 Proposiciones múltiplemente generales  4.6 Negación de cuantificadores 4.7 Cuadro tradicional de oposición: contradictorias, contrarias y subcontrarias, alternas y subalternas  4.8 Forma, figura del silogismo y demostración de validez e invalidez del mismo mediante diagramas de Venn-Euler 4.9 Identidad y relaciones 4.10 Cuantificadores múltiples

• Interviene brevemente de manera magistral
• Acompaña al estudiante facilitando el proceso de aprendizaje
• Guía a los alumnos en la construcción del aprendizaje
• Promueve que sus explicaciones se realicen a partir de las preguntas o dudas de los alumnos.