Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
∀xF(x) ⟷ ¬∃x¬F(x)
∀x¬F(x) ⟷ ¬ExF(x)
∃xF(x) ⟷ ¬∀x¬F(x)
∃x¬F(x) ⟷ ¬∀xF(x)
1. α ⟶ α
2. ¬(α ∧ ¬α)
3. α ∨ ¬α
α ¬β V V V V V V
V F V F F V F F
F V F V F V V F
F F F F V V
Tautologie notevoli:
Identità α⟶α
Terzo escluso α ∨ ¬α
α ∨ β ⟷ ¬(¬α ∧ ¬β)
α ∧ β ⟷ ¬(¬α ∨ ¬β)
De Morgan
¬(α ∨ β) ⟷ ¬α ∧ ¬β
¬(α ∧ β) ⟷ ¬α ∨ ¬β
Filone (α ⟶ β) ⟷ ¬α ∨ β
¬(α ∧ ¬β) ⟷ ¬α ∨ β
¬α ⟶ α
Consequentia mirabilis
(¬α ⟶ α) ⟶ α
A fortiori α ⟶ (β ⟶ α)
Formalizzazioni notevoli:
∀x (U(x) ⟶ M(x));
ma anche:
ma anche:
∀x (G(x) ⟶ ¬R(x)).
o anche:
o anche:
1. x è fratello di y:
Una formula con due variabili libere esprime una relazione binaria.
2. x è nonno materno di y:
3. x è zio/zia di y:
5. x è suocera di y:
6. x è bisnonno/a di y: