Introducción a la lógica de conjuntos

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
Rocket clouds
Introducción a la lógica de conjuntos por Mind Map: 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. Conectores lógicos

2.1. Negación

2.2. Conjunción

2.3. Disyunción

2.4. Condicional

2.5. Bicondicional

3. Tablas de verdad

3.1. Tabla conjunción

3.2. Tabla disyunción

3.2.1. Exclusiva

3.2.2. Inclusiva

3.3. Tabla negación

3.4. Tabla condicional

3.4.1. Tabla de implicación lógica

3.5. Tabla bicondicional

3.5.1. Tabla equivalente lógica

4. Tautologías-Contradicciones

4.1. Definición Tautología

4.2. Definición Contradicción

4.3. Definición Contingencia

5. Equivalencia Lógica

5.1. Leyes

5.1.1. Exclusión del término medio

5.1.2. Contradicción

5.1.3. Identidad

5.1.4. Dominación

5.1.5. Idempotencia

5.1.6. Doble negación

5.1.7. Conmutativa

5.1.8. Asociativa

5.1.9. Distributiva

5.1.10. De Morgan

5.2. Definición Implicación Lógica

5.3. Definición Equivalencia Lógica

6. Reglas de Inferencia

6.1. Definición

6.2. Esquema

6.3. Elementos fundamentales

6.3.1. Premisas

6.3.2. Conclusiones

6.3.3. Reglas de Inferencia

6.3.4. Reglas

6.3.4.1. Modus Ponens (M.P)

6.3.4.2. Doble Negación

6.3.4.3. Tollendo Tollens (T.T)

6.3.4.4. Adjunción

6.3.4.5. Simplificación Conjuntiva