rachunek zdań manhattan: rachunek zdań zaprzecz zdaniu: ∀x [ ∃y ( ∀x p(x,y) → ∀z p(x,z) ) ] będę naprawdę wdzięczna za pomoc!

Basia: ∃_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) ) ]