Lógica matemática

1. Tabla de verdad

1.1. Conjunción

1.2. Disyunción

2. Inferencia

2.1. Reglas

2.1.1. Modus Ponens

2.1.2. Doble negación

2.1.3. Tollendo Tollens

2.1.4. Adjunción

2.1.5. Simplificación

2.2. Premisas

2.3. Conclusiones

3. Proposiciones

3.1. Valor de Verdad

3.1.1. Verdadero

3.1.2. Falso

3.2. Simple

3.3. Compuesta

4. Formas proporcionales

4.1. Tautología

4.2. Contradicción

4.3. Contingencia

4.4. Implicación lógica

4.5. Equivalencia lógica

5. Los números reales

5.1. Tricotomía

5.2. Producto de positivos

5.3. Transitividad

5.4. Compatibilidad con la adición

6. La recta numérica real

6.1. Valor absoluto

7. Números racionales

7.1. Cocientes de enteros (excluyendo al cero como divisor)

8. Conjuntos

8.1. Elementos

8.2. Operaciones entre conjuntos

8.2.1. Intersección (∩)

8.2.2. Unión (∪)

8.2.3. Diferencia (-)

8.3. Representación

8.3.1. Por extensión

8.3.2. Por comprensión

8.3.3. Diagrama de Venn-Euler

8.4. Conjuntos especiales

8.4.1. Conjunto vacío (Ø)

8.4.2. Conjunto universal (U)

8.5. Pertenencia (∈)

8.6. Subconjunto (⊆)

9. Números enteros

9.1. naturales, sus negativos y el cero

10. Números cardinales

10.1. números naturales y el cero

11. Números naturales

11.1. Los que se pueden contar

12. Operadores lógicos

12.1. Negación - No

12.2. Conjunción - Y

12.3. Disyunción - O

12.4. Condicional

12.5. Recíproca

12.6. Inversa

12.7. Contrarecíproca