Introducción a la lógica de conjuntos

1. Proposiciones y operaciones lógicas

1.1. Proposiciones verdaderas

1.2. Proposiciones falsas

1.3. Expresiones no proposiciones

2. Equivalencia Lógica

2.1. Leyes

2.1.1. Exclusión del término medio

2.1.2. Contradicción

2.1.3. Identidad

2.1.4. Dominación

2.1.5. Idempotencia

2.1.6. Doble negación

2.1.7. Conmutativa

2.1.8. Asociativa

2.1.9. Distributiva

2.1.10. De Morgan

2.2. Definición Implicación Lógica

2.3. Definición Equivalencia Lógica

3. Reglas de Inferencia

3.1. Definición

3.2. Esquema

3.3. Elementos fundamentales

3.3.1. Premisas

3.3.2. Conclusiones

3.3.3. Reglas de Inferencia

3.3.4. Reglas

3.3.4.1. Modus Ponens (M.P)

3.3.4.2. Doble Negación

3.3.4.3. Tollendo Tollens (T.T)

3.3.4.4. Adjunción

3.3.4.5. Simplificación Conjuntiva

4. Conectores lógicos

4.1. Negación

4.2. Conjunción

4.3. Disyunción

4.4. Condicional

4.5. Bicondicional

5. Tablas de verdad

5.1. Tabla conjunción

5.2. Tabla disyunción

5.2.1. Exclusiva

5.2.2. Inclusiva

5.3. Tabla negación

5.4. Tabla condicional

5.4.1. Tabla de implicación lógica

5.5. Tabla bicondicional

5.5.1. Tabla equivalente lógica

6. Tautologías-Contradicciones

6.1. Definición Tautología

6.2. Definición Contradicción

6.3. Definición Contingencia