preneksowana postać normalnej logika: Sprowadź do preneksowej postaci normalnej formuły: a) ∀_x(P(x) ∧ Q(x)) ⇒ ∀_xP(x) ∧ ∀_xQ(x) b) ∃_x∀_yP(x,y) ⇒ ∀_y∃_xP(x,y)

Adamm: a) ∀_y(P(y) ∧ Q(y)) ⇒ ∀_xP(x) ∧ ∀_xQ(x) ∀_y(P(y) ∧ Q(y)) ⇒ ∀_x(P(x) ∧ Q(x)) ∀_x(∀_y(P(y) ∧ Q(y)) ⇒ (P(x) ∧ Q(x)) ∀_x∃_y(P(y) ∧ Q(y) ⇒ P(x) ∧ Q(x))

Adamm: b) ∃_x∀_yP(x,y) ⇒ ∀_y∃_xP(x,y) ∃_x∀_yP(x,y) ⇒ ∀_z∃_tP(t,z) ∀_z(∃_x∀_yP(x,y) ⇒ ∃_tP(t,z)) ∀_z∃_t(∃_x∀_yP(x,y) ⇒ P(t,z)) ∀_z∃_t∀_x(∀_yP(x,y) ⇒ P(t,z)) ∀_z∃_t∀_x∃_y(P(x,y) ⇒ P(t,z))