题目内容
（请给出正确答案）
[判断题]
证明: （p∧q）→r，r∨s，s，p蕴含q 过程如下： 证明： ⑴ q P（附加前提）⑵ r∨s P⑶ s P⑷ rT⑵⑶I⑸ （p∧q）→r P⑹ （p∧q）（）
提问人：网友lixin080108
发布时间：2022-01-07
题目内容
（请给出正确答案）
如搜索结果不匹配，请 
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“证明: （p∧q）→r，r∨s，s，p蕴含q 过程如下： 证…”相关的问题
第2题
证明下列各式的有效性(如有必要,可用间接证明法)(1)(R→Q),RvS,S→ Q,P→QP。(2)S→ Q,SvR, R, P→Q
证明下列各式的有效性(如有必要，可用间接证明法)
点击查看答案
(1)(R→
Q),RvS,S→ Q,P→Q
P。
(2)S→
Q，SvR， R， P→Q
P。
(3)(P→Q)→
(RvS)， (Q→P)v
R， R
P
Q 。
第4题
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
A. 二难推理的简单构成式
B. B.二难推理的复杂构成式
C. C.选言推理的肯定否定式
D. D.选言推理的否定肯定式
E. E.联言推理的组合式
第5题
求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的合取范式
A、(¬P∨Q)∧(P∨¬Q)∧(P∨¬R)
B、(¬P∨R)∧(P∨¬Q)∧(P∨¬R)
C、(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)
D、(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)∧(P∨¬R)
第6题
判别下列哪些是命题公式，哪些不是命题公式：
(1)(Q→P∧S)．
(2)(Q→S∧P).
(3)((￢P→Q)→(Q→P))．
(4)((P→(Q→R))→((P→Q)→(P→R)))．
(5)(QS→K)．
第7题
以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有
A、一次运用选言三段论规则
B、简化规则
C、两次运用选言三段论规则
D、肯定前件规则
