以“如果以¬p∧¬ q,那么r“,与“¬ r”为前提,可必然推出结论( )。
A: p∧q
B: ¬p∧¬q
C: pVq
D: ¬pV¬q
A: p∧q
B: ¬p∧¬q
C: pVq
D: ¬pV¬q
C
举一反三
- 以“如果p或q,那么r”和“非r”为前提,可必然推出结论 ( ) A: ¬p∧¬q B: p¬∧q C: ¬p∧q D: ¬p∨¬q
- 以“(p→q)→r”和“~r”为前提,可必然推出结论()。 A: ~p∧q B: r→p C: q∨r D: ~(~p∨q) E: ~q∧p
- 以¬p为一前提,应增补( )或( )为另一前提,可必然推出结论q。 A: q↔p B: q→¬ p C: ¬ p→ q D: pV¬ q E: pVq
- 以“~p”和“p←(q←r)”为前提,可必然推出结论()。 A: p←r B: ~p∨r C: q→p D: r E: ~(q←r)
- 以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。 A: ~r B: ~q C: ~p D: r→p E: p∧q
内容
- 0
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。 A: p B: ~s C: ~r∧p D: ~r E: s→q
- 1
以“~(p∨q)←r”为一个前提,若加上另一个前提()。 A: “r”,则能必然推出“~p∧~q” B: “~p∧~q”,则能必然推出“~r” C: “~r”,则能必然推出“p∨q” D: “p∨q”,则能必然推出“~r” E: “r”,则能必然推出“~p”
- 2
以“-p∨-q←-r”为前提,再加上前提( )或( )可推出 r。 A: q B: p→-q C: p∨q D: p∧q E: -(-p∨-q)
- 3
以“如果p那么q”和“并非(q并且非r)”为前提进行演绎推理,能必然推出的结论是。 A: 如果p那么q,并且如果q那么r B: 如果q那么p C: 如果r那么p D: 如果非p那么非r
- 4
以~p为一个前提进行演绎推理,如果()。 A: 加上前提(p∨q),则能必然推出结论q B: 加上前提(q∨~p),则能必然推出结论q C: 加上前提(p→q),则能必然推出结论~q D: 加上前提~q,则能必然推出结论(~q∧~p) E: 加上前提(q→p),则能必然推出结论~q