以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
A: A二难推理的简单构成式
B: B二难推理的复杂构成式
C: C选言推理的肯定否定式
D: D选言推理的否定肯定式
E: E联言推理的组合式
A: A二难推理的简单构成式
B: B二难推理的复杂构成式
C: C选言推理的肯定否定式
D: D选言推理的否定肯定式
E: E联言推理的组合式
举一反三
- 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。 A: A二难推理的简单构成式 B: B二难推理的复杂构成式 C: C选言推理的肯定否定式 D: D选言推理的否定肯定式 E: E联言推理的组合式
- 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 A: 一次运用选言推理的否定肯定式 B: 联言推理的分解式 C: 两次运用选言推理的否定肯定式 D: 充分条件推理的肯定前件式 E: 联言推理的组合式
- 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 A: A一次运用选言推理的否定肯定式 B: B联言推理的分解式 C: C两次运用选言推理的否定肯定式 D: D充分条件推理的肯定前件式 E: E联言推理的组合式
- 【(p→q)∧(r→q))∧(p∨r)】→q是( ) A: 二难推理的简单构成式 B: 联言推理的合成式 C: 不相容选言推理的肯定否定式 D: 模态推理的形式
- 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有 A: 选言推理的肯定否定式 B: 联言推理的分解式 C: 选言推理的否定肯定式 D: 假言推理的肯定前件式 E: 假言推理的否定后件式