离散数学 找出下面公式的Skolem范式:(1)非(∀xP(x)→ ∃y∀zQ(y,z));(2)∀x(非E(x,0)→(∃y(E(y,g(x))∧∀z(E(z,g(x))→E(y,z)))))。
过程如下图: