AI Notes

∀x∀yP(x, y) ≡ ∀y∀xP(x, y). • ∃x∃yP(x, y) ≡ ∃y∃xP(x, y). • ∃x∀yP(x, y) ̸≡ ∀x∃yP(x, y). • ∀xP(x) ≡ ¬∃x¬P(x). • ∃xP(x) ≡ ¬∀x¬P(x).