CONTENIDO DEL PROGRAMA:
1.- LÓGICA PROPOSICIONAL.
- Proposición.
- Axiomas.
- Reglas de Inferencia.
- Operadores Lógicos.
- Tablas de la Verdad de una Proposición.
- Tautologías.
- Contradicción.
- Contingencia.
- Equivalencia Lógica.
2.- LEYES DE LA LÓGICA.
- Leyes de la Lógica.
- Leyes de Equivalencia.
- Simplificación de Formulas Proposicionales.
3.- DEMOSTRACIONES MATEMÁTICAS
- Conjuntos por Extensión y Comprensión.
- Pertenencia y no pertenencia.
- Igualdad de Conjuntos.
- Conjunto Vacío.
- Subconjunto.
- Conjunto Universal.
- Operadores con Conjuntos.
- Método Directo.
- Método Indirecto.
- Demostración por Contradicción.
- Demostración por Contraejemplo.