zaprzecz zdaniu dyskretna: zaprzecz zdaniu: (prosze jedynie o sprawdzenia czy dobrze) ewentualnie wskazac poprawki! bd wdzięczna ∀x ∃y ( ∀x p(x,y) → ∀z p(x,z) ) ¬[ ∀x ∃y ( ∀x p(x,y) → ∀z p(x,z) ) ] ∃x ∀y ¬( ∀x p(x,y) → ∀z p(x,z) ) ∃x ∀y ∃x ¬(p(x,y)) → ∀z p(x,z) ) ∃x ∀y ∃x (p(x,y)) → ∃z ¬(p(x,z) ))