(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：
证明:利用谓词等值式和换名规则
证明下列谓词公式为永真式(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
- 2024-08-03 23:45:45
- 离散数学(02324)
- 1
证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
【正确答案】：