单选题以"只有P才q或r"和"非P"为前提,可必然推出的结论是()。A 非q或rB 非q或非rC 非q且非rD 非q且r
点击查看答案
多选题以“~(p∨q)←r”为一个前提,若加上另一个前提()。A“r”,则能必然推出“~p∧~q”B“~p∧~q”,则能必然推出“~r”C“~r”,则能必然推出“p∨q”D“p∨q”,则能必然推出“~r”E“r”,则能必然推出“~p”
单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A ~(p∨q),能必然推出(~r∨~s)B (~r∨~s),能必然推出(p∨q)C (p∨q),能必然推出~(r∧s)D ~(r∧s),能必然推出(~p∨~q)
单选题以~(p∧q)和q为前提进行推理,能必然得出结论()。A (p∧q)B (p∧~q)C (~p∧q)D (~p∧~q)
多选题以“~p”和“p←(q←r)”为前提,可必然推出结论()。Ap←rB~p∨rCq→pDrE~(q←r)
多选题以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。A~rB~qC~pDr→pEp∧q
多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q