以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
A: 一次运用选言推理的否定肯定式
B: 联言推理的分解式
C: 两次运用选言推理的否定肯定式
D: 充分条件推理的肯定前件式
E: 联言推理的组合式
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联言推理的组合式
- 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。 A: 选言推理的肯定否定式 B: 联言推理的分解式 C: 选言推理的否定肯定式 D: 充分条件推理的肯定前件式 E: 充分条件推理的否定后件式
- 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。 A: A选言推理的肯定否定式 B: B联言推理的分解式 C: C选言推理的否定肯定式 D: D充分条件推理的肯定前件式 E: E充分条件推理的否定后件式
- 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有 A: 选言推理的肯定否定式 B: 联言推理的分解式 C: 选言推理的否定肯定式 D: 假言推理的肯定前件式 E: 假言推理的否定后件式
- 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。 A: 二难推理的简单构成式 B: 二难推理的复杂构成式 C: 选言推理的肯定否定式 D: 选言推理的否定肯定式 E: 联言推理的组合式