构造以下推理的证明 前提:¬P∨Q,¬(Q∨R),R 结论:¬P

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/06 10:02:56

构造以下推理的证明 前提:¬P∨Q,¬(Q∨R),R 结论:¬P
构造以下推理的证明 前提:¬P∨Q,¬(Q∨R),R 结论:¬P

构造以下推理的证明 前提:¬P∨Q,¬(Q∨R),R 结论:¬P
你可能写错了,┐(q∨r) 应为 ┐(q∧r),否则推不出结论.
  前提:┐p∨q,┐(q∧r),r
  结论:┐p
  推理如下:
  1)r 前提引入
  2)┐(q∧r) 前提引入
  3)┐q∨┐r 2)等价置换
  4)┐q 1)3)析取三段式
  5)┐p∨q 前提引入
  6)┐p 4)5)析取三段式
得证.