Lógica matemática

Annotations:

• es un sistema de signos no interpretados, esto significa que en un cálculo es posible realizar operaciones sin saber qué significan los símbolo

1. Las tablas de verdad
   1. Un método de prueba del cálculo proposicional
      1. Cada renglón de la tabla que hace verdadero al enunciado
         1. En cada renglón, los valores asignados a cada variable proposicional determinan una condición necesaria del renglón.
2. Operaciones fundamentales
   1. Negación
      1. forma una nueva proposición que niega a la inicial.
   2. Conjunción
      1. En el lenguaje común la expresamos con la letra Y
   3. Disyunción:
      1. El símbolo de la disyunción es V
   4. Implicación
      1. Es muy necesario tener presente el orden en que aparecen las proposiciones.
   5. Equivalencia
      1. Dos o más proposiciones son intercambiables entre sí
   6. Contradicción
      1. Dos proposiciones son lógicamente contradictorias cuando no pueden ser ni ambas verdaderas, ni ambas falsas
3. Tautologías, contradicciones y contingencias
   1. No es cierto que Pedro viajó a Perú, y no viajó a Perú.
      1. Tautologías
   2. Contingencias
      1. Proposiciones que son verdaderas o falsas por razones fácticas, pero no por su sola forma lógica.