问答题
令p表示小王上场,q表示小李上场,则甲乙丙三人的话可以分别符号化为:甲:﹁p←q乙:p......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。A....
多项选择题以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
A.一次运用选言推理的否定肯定式 B.联言推理的分解式 C.两次运用选言推理的否定肯定式 D.充分条件推理的肯定前件式 E.联言推理的组合式
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。A.p→﹁qB.q→pC.p∨﹁q...
多项选择题以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。
A.p→﹁q B.q→p C.p∨﹁q D.p↔q E.p→q
下列假言推理为有效式的有()。A.(﹁p→q)∧p├﹁qB.(p→﹁q)∧q├﹁pC.(﹁p←﹁q)∧﹁p├q...
多项选择题下列假言推理为有效式的有()。
A.(﹁p→q)∧p├﹁q B.(p→﹁q)∧q├﹁p C.(﹁p←﹁q)∧﹁p├q D.(p←﹁q)∧﹁q├p E.(p→﹁q)∧p├﹁q