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