霍天青
2015-05-24 07:47
采纳率: 63%
浏览 2.1k

离散数学问题:证明等价性。

∀x(P(x)→A)≡∃xP(x)→A 。A中不含自由变量x,为什么左边不可以化成∀x(P(x))→A?

  • 点赞
  • 写回答
  • 关注问题
  • 收藏
  • 邀请回答

1条回答 默认 最新

  • baidu_27059119 2015-05-24 09:18
    已采纳

    前者是对任意的x满足P(x)→A,意思是P(x)→A恒为真;而后者是对任意的x满足P(x),而后有P(x)→A,其真假性由A决定。

    点赞 打赏 评论

相关推荐 更多相似问题