证明下列谓词公式为永真式(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：
证明:利用谓词等值式和换名规则
证明:利用谓词等值式和换名规则