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