• 2022-06-01
    以“如果以¬p∧¬ q,那么r“,与“¬ r”为前提,可必然推出结论( )。
    A: p∧q
    B: ¬p∧¬q
    C: pVq
    D: ¬pV¬q
  • C

    内容

    • 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