Logica proposizionale e dimostrazioni
- Righe di una tabella di verità
- 2ⁿ
- Implicazione
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Implicazione negata
- ¬(p → q) ≡ p ∧ ¬q
- Doppia implicazione
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgan
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Leggi distributive
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Quantificatori negati
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Metodo
- Conta le variabili distinte: la tabella di verità ha 2ⁿ righe, e la prima ha tutti i valori a 1.
- Assegna a ogni sottoformula una colonna propria e compila le colonne dall’interno verso l’esterno.
- Applica la regola di ogni connettivo: → vale 0 solo per 1 → 0, ↔ vale 1 quando i due lati coincidono.
- Per le equivalenze, confronta riga per riga le colonne finali; per un argomento, guarda solo le righe in cui ogni premessa vale 1.
- Per negare un enunciato quantificato, sposta ¬ verso l’interno, scambia ∀ e ∃ e nega la formula interna.