离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明-查字典问答网
分类选择

来自刘晔的问题

  离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

  离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

1回答
2020-02-06 17:58
我要回答
请先登录
申功璋

  你的题目有错,改改:

  前提:A→B,┐B;

  结论:┐A

  推理证明

  1)A→B前提引入

  2)┐A∨B1)等价置换

  3)┐B前提引入

  4)┐A2)3)析取三段式

  得证.

2020-02-06 18:02:36

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •