• 2022-06-14
    以~p为一个前提进行演绎推理,如果()。
    A: 加上前提(p∨q),则能必然推出结论q
    B: 加上前提(q∨~p),则能必然推出结论q
    C: 加上前提(p→q),则能必然推出结论~q
    D: 加上前提~q,则能必然推出结论(~q∧~p)
    E: 加上前提(q→p),则能必然推出结论~q