找出下面公式的Skolem范式
离散数学 找出下面公式的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）））））。
过程如下图：
温馨提示：答案为网友推荐，仅供参考
相似回答
离散数学 找出下面公式的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）））））。
过程如下图：