【帮忙证明一道离散数学的逻辑证明题题目:证明(p→q)∧(q-查字典问答网
分类选择

来自陈淑梅的问题

  【帮忙证明一道离散数学的逻辑证明题题目:证明(p→q)∧(q→r)→(p→r)是永真式请高手把证明过程写出来】

  帮忙证明一道离散数学的逻辑证明题

  题目:证明(p→q)∧(q→r)→(p→r)是永真式

  请高手把证明过程写出来

1回答
2020-03-11 00:57
我要回答
请先登录
江秀培

  其推理式为:(p→q)∧(q→r)→(p→r),要求从(p→q)∧(q→r)能推导出p→r.以下用命题自然推理来证明:

  ①{1}(p→q)∧(q→r)P/∴p→r

  ②{1}p→qT①

  ③{1}q→rT①

  ④{2}pP

  ⑤{12}qT②④

  ⑥{12}rT③⑤

  ⑦{1}p→rD④⑥

2020-03-11 00:59:03

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

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