Logic: First Order Logic: Raffaella Bernardi
Logic: First Order Logic: Raffaella Bernardi
Raffaella Bernardi
[email protected]
P.zza Domenicani 3, Room 2.28
http://www.inf.unibz.it/~bernardi/Courses/Logic06
Implication φ → ψ ≡ ¬φ ∨ ψ
1. (P ∧ Q) ↔ (R → (P → ¬Q))
2. (¬P ∧ (¬Q → R)) ↔ S)
But:
¬∀x. φ ≡ ∃x. ¬φ
¬∃x. φ ≡ ∀x. ¬φ
& propositional equivalences
Renaming of variables. Let φ[x/t] be the formula φ where all occurrences of x have
been replaced by the term t.
• (∃x.A(x)) → (∀x.B(x))
• ∀x(∀y(∀z(A(x, y, z) ∧ B(y)) → (∀x.C(x, z))))
• ∀x∀y(A(x, y, z) ∧ ∃uC(x, u)) → ∃vC(x, v))
• ∃x(S(x) ∧ ∀y(L(y) → A(x, y)))
1. (P ∧ Q) ↔ (R → (P → ¬Q))
2. (¬P ∧ (¬Q → R)) → S)
3. ∀x∀y((A(x, y, z) ∧ ∃uC(x, u)) → ∃vC(x, v))
4. ∃x(S(x) ∧ ∀y(L(y) → A(x, y)))