• 2022-05-26
    以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
    A: A选言推理的肯定否定式
    B: B联言推理的分解式
    C: C选言推理的否定肯定式
    D: D充分条件推理的肯定前件式
    E: E充分条件推理的否定后件式
  • C,D

    内容

    • 0

      以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。 A: A二难推理的简单构成式 B: B二难推理的复杂构成式 C: C选言推理的肯定否定式 D: D选言推理的否定肯定式 E: E联言推理的组合式

    • 1

      【单选题】【(p → q)∧p】→q 上述推理是: A、充分条件假言推理肯定前件式 B、充分条件假言推理否定后件式 C、充分条件假言推理否定前件式 D、充分条件假言推理肯定后件式 A. A B. B C. C D. D

    • 2

      在不相容选言推理过程中,能够使用的推理形式是() ①否定肯定式 ②肯定否定式 ③肯定前件式 ④否定后件式 A: ①② B: ③④ C: ①③ D: ②④

    • 3

      关于选言推理的有效式是 A: 相容选言推理的肯定否定式 B: 相容选言推理的否定肯定式 C: 不相容选言推理的肯定否定式 D: 不相容选言推理的否定肯定式

    • 4

      【(p→q)∧(r→q))∧(p∨r)】→q是( ) A: 二难推理的简单构成式 B: 联言推理的合成式 C: 不相容选言推理的肯定否定式 D: 模态推理的形式