Logika Jack: Czy jesli mam negacje przed dwoma kwantyfikatorami, to to smao co negacja dla kazdego z nich osobna? ¬ (∀_x ∃_y) ≡ ¬∀_x ¬∃_y ?

Adamm: kwantyfikatory można stosować wobec jakiś zdań, nie wiem co ty piszesz

Adamm: ¬(∀_x∃_y p) ⇔ ∃_x¬(∃_y p)

Jack: no tak, mam oczywiscie atom p(x,y) czyli rozw. bedzie ∃x ∀y ¬p(x,y)

KKrzysiek: Zgadza się Jacek. Negacja przed dwoma, to negacja pierwszego i drugiego.