（多选题）
以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。
A一次运用选言推理的否定肯定式
B联言推理的分解式
C两次运用选言推理的否定肯定式
D充分条件推理的肯定前件式
E联言推理的组合式
正确答案
答案解析
略
相似试题
（多选题）
以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
（多选题）
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
（简答题）
试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。
（单选题）
以“只有p，才q且r”和“非P”为前提，可必然推出结论（）。
（多选题）
以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。
（多选题）
以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。
（多选题）
以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。
（单选题）
如果P，则Q，如果P则r，非q或者r，非p，这是（）结构
（单选题）
如果p，那么非q；如果p，那么非r；q或r；所以，非p。这是二难推理的（）。
