霍天青
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决定。

    评论
    解决 无用
    打赏 举报

相关推荐 更多相似问题