Lógica proposicional y demostraciones
- Filas de una tabla de verdad
- 2ⁿ
- Implicación
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Implicación negada
- ¬(p → q) ≡ p ∧ ¬q
- Bicondicional
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgan
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Leyes distributivas
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Cuantificadores negados
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Método
- Cuenta las variables distintas: la tabla de verdad tiene 2ⁿ filas, y la primera tiene todas ellas en 1.
- Dale a cada subfórmula su propia columna y rellena las columnas de dentro hacia fuera.
- Aplica la regla de cada conectivo: → solo es 0 en 1 → 0, y ↔ vale 1 cuando ambos lados coinciden.
- Para las equivalencias, compara las columnas finales fila por fila; para un argumento, mira solo las filas en las que todas las premisas valen 1.
- Para negar un enunciado cuantificado, desplaza ¬ hacia dentro, intercambia ∀ y ∃ y niega la fórmula interior.