LÓGICA MATEMÁTICA

1. Proposición: Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez.

1.1. Operaciones fundamentales

1.1.1. Negacion

1.1.1.1. Una proposición matemática es convertida en falsa.

1.1.2. Conjunción

1.1.2.1. El conectivo de dos proposiciones ∧

1.1.3. Disyunción

1.1.3.1. El conectivo de dos proposiciones ∨

1.1.4. Condicional

1.1.4.1. Teniendo un antecedente deriva en una consecuencia ⇾

1.1.5. Bicondicional

1.1.5.1. Pueden depender mutuamente entre si ⇿

2. Tablas de Verdad

2.1. Tautología: los valores son verdaderos

2.2. Contradicción: los valores con falsos.

2.3. Contingencia: los valores son falsos y verdaderos.

3. Cálculo proposional

4. Argumentos y reglas de inferencia

4.1. Argumentos

4.1.1. Permisas

4.1.2. Conclusiones

4.2. Inferencia

4.2.1. Obtener conclusiones mediante datos o declaraciones.

5. Cáculo de predicados

5.1. Basada en la idea de las sentecias.

6. Programación lógica

6.1. Entrada

6.2. Proceso

6.2.1. Almacenamiento

6.3. Salida