以“不可能P”为前提,可推出()、()。

以“不可能P”为前提,可推出()、()。


相关考题:

以“不可能p”为前提,根据模态逻辑方阵,可必然推出的结论有()。A.必然非pB.必然pC.不可能非pD.可能pE.并非必然p

以MAP为大前提,MAS为小前提,可必然推出结论()。

以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q

以“必然P”为前提,可必然地推出()、()、()。

以“~(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”和“~r”为前提,可必然推出结论()。A、~p∧qB、r→pC、q∨rD、~(~p∨q)E、~q∧p

以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。A、非P并且非qB、P并且qC、非P并且qD、非P或者非r

以(~p→q)为大前提()。A、若加上小前提~p,则能推出~qB、若加上小前提~p,则能推出q C、若加上小前提q,则能推出~pD、若加上小前提q,则能推出pE、若加上小前提~q,则能推出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”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。

以“~p”和“p←(q←r)”为前提,可必然推出结论()。A、p←rB、~p∨rC、q→pD、rE、~(q←r)

以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。A、pB、~sC、~r∧pD、~rE、s→q

以SE﹁P为前提,可必然推出()和()。A、﹁PA﹁SB、﹁SIPC、﹁SO﹁PD、PE﹁SE、PO﹁S

以“并非可能p”为前提,可推出的结论是()。A、可能pB、可能非pC、必然pD、必然非pE、并非必然非p

多选题以(~p→q)为大前提()。A若加上小前提~p,则能推出~qB若加上小前提~p,则能推出qC若加上小前提q,则能推出~pD若加上小前提q,则能推出pE若加上小前提~q,则能推出p

多选题以SE﹁P为前提,可必然推出()和()。A﹁PA﹁SB﹁SIPC﹁SO﹁PDPE﹁SEPO﹁S

多选题以“(p→q)→r”和“~r”为前提,可必然推出结论()。A~p∧qBr→pCq∨rD~(~p∨q)E~q∧p

多选题以“所有P是M,所有S不是M”为前提进行三段论推理,可必然推出()。ASEPBSAPCSIPDSOPE没有S不是P

多选题以~p为一个前提进行演绎推理,如果()。A加上前提(p∨q),则能必然推出结论qB加上前提(q∨~p),则能必然推出结论qC加上前提(p→q),则能必然推出结论~qD加上前提~q,则能必然推出结论(~q∧~p)E加上前提(q→p),则能必然推出结论~q

多选题以“并非可能p”为前提,可推出的结论是()。A可能pB可能非pC必然pD必然非pE并非必然非p

单选题以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。A非P并且非qBP并且qC非P并且qD非P或者非r

填空题以“不可能P”为前提,可推出()、()。

多选题以“~(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”为前提,可必然地推出()、()、()。

多选题以“~p”和“p←(q←r)”为前提,可必然推出结论()。Ap←rB~p∨rCq→pDrE~(q←r)

多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q