问答题
做它的真值表 所以，（p∧﹁p）∨（p∧q）是协调式。
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。A.二难推理的简单构成式 B....
多项选择题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。A.sB.﹁qC.﹁q∧sD...
多项选择题以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。
A.s B.﹁q C.﹁q∧s D.﹁r∧s E.（﹁q∨﹁r）∧s
以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。A.pB.qC.﹁pD.﹁qE.p...
多项选择题以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。
A.p B.q C.﹁p D.﹁q E.p∨q
