证明下列谓词公式为永真式<br>(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))

证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))

分类：离散数学(02324)
发表：2024年09月14日 03时09分50秒
作者： admin
阅读： (2)

证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：

证明:利用谓词等值式和换名规则

Top