kwantyfikatory BeniQ: wykaż: ∼∃y(Q(y ) ⋀ ∀x ~R(x,y)) <=> ∀y (~Q(y ) ⋁ ∃x R(x,y)) Pomóżcie zdać kolokwium

Panko: 1) ∼∃ x∊A :φ(x) ⇔∀ x∊A ∼φ(x) 2)∼(∼p)⇔p 3∼(p⋁q)⇔(∼p) ⋀(∼q) .................................................................... 4) ∼∃y(Q(y ) ⋀ ∀x ~R(x,y)) ⇔ ∀ y ∼(Q(y ) ⋀ ∀x ~R(x,y) ) ⇔ ∀ y (∼Q(y) ⋁ (∼∀x ~R(x,y)) )⇔ ∀ y (∼Q(y) ⋁ ∃ x ∼(∼R(x,y) ) ⇔∀ y (∼Q(y) ⋁ ∃ x R(x,y) )