【【急】离散数学中,当结论为析取式时,如何使用附加前提证明法-查字典问答网
分类选择

来自刘鑫屏的问题

  【【急】离散数学中,当结论为析取式时,如何使用附加前提证明法如题.】

  【急】离散数学中,当结论为析取式时,如何使用附加前提证明法

  如题.

3回答
2020-02-07 00:21
我要回答
请先登录
杜洪伟

  先用等值式“A→B等值于┐A∨B”把结论转换为蕴涵式

2020-02-07 00:24:30
刘鑫屏

  证明要写过程,把┐A∨B转化成A→B,把结论引入的理由是什么?像证明时理由有,前提引入,假言推理什么的?

2020-02-07 00:28:16
杜洪伟

  结论是蕴涵式A→B时,可以把A作为附加前提引入,证明结论是B。证明过程是利用推理规则构造的,例如假言三段论、析取三段论、假言推理、拒取式等等,去翻翻书吧

2020-02-07 00:29:11

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

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