构造以下推理的证明 前提:¬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)析取三段式
得证.