作业帮构造以下推理的证明 前提：￢P∨Q,￢(Q∨R),R 结论：￢P
来源：学生作业帮助网 编辑：作业帮 时间：2024/11/27 10:35:05
xN@_e%!%l@ Pk-1.Ik7ҕRt+x:vMHιdt֚dG>^0
ze:)ѪSOQ{$O0ej LC?n,.2[?`P^}Ťy
FeqEZ~
dbJ_TP**)GejӺ"pc'5Q'%?l|Yȝ(cO=p_XdRWB;4f4+>d[͋+C <
构造以下推理的证明 前提：￢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）析取三段式
得证.