以~p为一个前提进行演绎推理,如果()。
A: 加上前提(p∨q),则能必然推出结论q
B: 加上前提(q∨~p),则能必然推出结论q
C: 加上前提(p→q),则能必然推出结论~q
D: 加上前提~q,则能必然推出结论(~q∧~p)
E: 加上前提(q→p),则能必然推出结论~q
A: 加上前提(p∨q),则能必然推出结论q
B: 加上前提(q∨~p),则能必然推出结论q
C: 加上前提(p→q),则能必然推出结论~q
D: 加上前提~q,则能必然推出结论(~q∧~p)
E: 加上前提(q→p),则能必然推出结论~q
举一反三
- 以“~(p∨q)←r”为一个前提,若加上另一个前提()。 A: “r”,则能必然推出“~p∧~q” B: “~p∧~q”,则能必然推出“~r” C: “~r”,则能必然推出“p∨q” D: “p∨q”,则能必然推出“~r” E: “r”,则能必然推出“~p”
- 【多选题】以 (~p→q)为大前提 A. 若加上小前提~ P,则能推出~q B. 若加上小前提~ P,则能推出q C. 若加上小前提 q,则能推出~p D. 若加上小前提 q,则能推出p E. 若加上小前提~ q,则能推出p
- 以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
- 以¬p为一前提,应增补( )或( )为另一前提,可必然推出结论q。 A: q↔p B: q→¬ p C: ¬ p→ q D: pV¬ q E: pVq
- 以“(p→q)→r”和“~r”为前提,可必然推出结论()。 A: ~p∧q B: r→p C: q∨r D: ~(~p∨q) E: ~q∧p