Introducción a la lógica y teoría de conjuntos
por MARIO ALBERTO SUAREZ VELASQUEZ
1. Introducción a la lógica de conjuntos
1.1. Proposiciones y operaciones lógicas
1.1.1. Verdaderas
1.1.2. Falsas
1.2. Conectores lógicos y proposiciones compuestas
1.2.1. Negación
1.2.2. Conjunción
1.2.3. Disyunción inclusiva
1.2.4. Disyunción exclusiva
1.2.5. Implicación
1.2.6. Equivalencia
1.3. Tablas de verdad
1.4. Tautologías, contradicciones y contingencias
1.5. Equivalencia lógica
1.6. Reglas de inferencia
1.6.1. Ponendo Ponens
1.6.2. Doble negación
1.6.3. Tollendo Tollens
1.6.4. Adjunción
1.6.5. I Simplificación
1.6.6. Tollendo Ponens
1.6.7. II Simplificación
1.6.8. Transitiva
1.6.9. Conmutativa
1.6.10. Morgan
1.6.11. Bicondicional
1.6.12. Dilema
1.6.13. Simplificación Disyuntiva
1.6.14. Condicional contrarrecíproca
2. Introducción a la teoría de conjuntos
2.1. Definición: colección de objetos o cosas distinguibles y bien definidas
2.2. Conjuntos especiales
2.2.1. Conjunto vacío
2.2.2. Conjunto universal
2.3. Diagramas de Venn Euler
2.4. Operaciones entre conjuntos
2.4.1. Unión
2.4.2. Intersección
2.4.3. Diferencia