当前位置：首页 >
离散数学(02324) > 正文内容
证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
证明下列谓词公式为永真式
(∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))
证明:利用谓词等值式和换名规则
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。