Tablas de Verdad

1. Definición

   • Conjunto de todas las posibles combinaciones de valores de verdad para una proposición o expresión booleana.

2. Operadores Lógicos Principales

   • Negación (NOT)
     • ~p
   • Conjunción (AND)
     • p ∧ q
   • Disyunción (OR)
     • p ∨ q
   • Implicación (→)
     • p → q
   • Doble Implicación (↔)
     • p ↔ q

3. Variables de Proposición

   • p, q, r, ...

4. Combinaciones Básicas

   • Negación
     • | p | ~p | |---|----| | T | F | | F | T |
   • Conjunción
     • | p | q | p ∧ q | |---|---|-------| | T | T | T | | T | F | F | | F | T | F | | F | F | F |
   • Disyunción
     • | p | q | p ∨ q | |---|---|-------| | T | T | T | | T | F | T | | F | T | T | | F | F | F |
   • Implicación
     • | p | q | p → q | |---|---|-------| | T | T | T | | T | F | F | | F | T | T | | F | F | T |
   • Doble Implicación
     • | p | q | p ↔ q | |---|---|--------| | T | T | T | | T | F | F | | F | T | F | | F | F | T |

5. Propiedades y Reglas

   • Leyes de De Morgan
   • Idempotencia
   • Ley de Exclusión Media
   • Reducción al Absurdo