以“不可能p”为前提，根据模态逻辑方阵，可必然推出的结论有（）。A.必然非pB.必然pC.不可能非pD.可能pE.并非必然p
以～p为一个前提进行演绎推理，如果（）。A、加上前提（p∨q），则能必然推出结论qB、加上前提（q∨～p），则能必然推出结论qC、加上前提（p→q），则能必然推出结论～qD、加上前提～q，则能必然推出结论（～q∧～p）E、加上前提（q→p），则能必然推出结论～q
以SAP为前提进行换位法推理推出的正确结论是（）。
以“必然P”为前提，可必然地推出（）、（）、（）。
以“（p→q）→r”和“～r”为前提，可必然推出结论（）。A、～p∧qB、r→pC、q∨rD、～（～p∨q）E、～q∧p
以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。A、非q或rB、非q或非rC、非q且非rD、非q且r
以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。A、非P并且非qB、P并且qC、非P并且qD、非P或者非r
以“只有p才q”和“p并且q”作前提，能必然推出的结论是（）。A、非p并且qB、p并且非qC、非p或者非qD、p或者q
以（～p→q）为大前提（）。A、若加上小前提～p，则能推出～qB、若加上小前提～p，则能推出q C、若加上小前提q，则能推出～pD、若加上小前提q，则能推出pE、若加上小前提～q，则能推出p
以“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
以“如果甲队战胜乙队，那么，甲队夺得冠军”为前提进行假言三段论推理，可推出的结论是（）。A、并非甲队夺得冠军B、并非甲队战胜乙队C、甲队夺得冠军D、乙队夺得冠军E、甲队战胜乙队
多选题以（～p→q）为大前提（）。A若加上小前提～p，则能推出～qB若加上小前提～p，则能推出qC若加上小前提q，则能推出～pD若加上小前提q，则能推出pE若加上小前提～q，则能推出p
多选题以“（p→q）→r”和“～r”为前提，可必然推出结论（）。A～p∧qBr→pCq∨rD～（～p∨q）E～q∧p
填空题以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。
多选题以“如果甲队战胜乙队，那么，甲队夺得冠军”为前提进行假言三段论推理，可推出的结论是（）。A并非甲队夺得冠军B并非甲队战胜乙队C甲队夺得冠军D乙队夺得冠军E甲队战胜乙队
填空题以SAP为前提进行换位法推理推出的正确结论是（）。
单选题以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。A非q或rB非q或非rC非q且非rD非q且r
多选题以“并非可能p”为前提，可推出的结论是（）。A可能pB可能非pC必然pD必然非pE并非必然非p
单选题以“只有p才q”和“p并且q”作前提，能必然推出的结论是（）。A非p并且qBp并且非qC非p或者非qDp或者q
单选题以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。A非P并且非qBP并且qC非P并且qD非P或者非r
填空题以“必然P”为前提，可必然地推出（）、（）、（）。
多选题以“～p”和“p←（q←r）”为前提，可必然推出结论（）。Ap←rB～p∨rCq→pDrE～（q←r）