以～p为一个前提进行演绎推理，如果（）。A、加上前提（p∨q），则能必然推出结论qB、加上前提（q∨～p），则能必然推出结论qC、加上前提（p→q），则能必然推出结论～qD、加上前提～q，则能必然推出结论（～q∧～p）E、加上前提（q→p），则能必然推出结论～q
以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。A、sB、﹁qC、﹁q∧sD、﹁r∧sE、（﹁q∨﹁r）∧s
以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
以～（p∧q）和q为前提进行推理，能必然得出结论（）。A、（p∧q）B、（p∧～q）C、（～p∧q）D、（～p∧～q）
以﹁p为前提进行有效推理，另一前提可以是（）。A、p←﹁qB、p→﹁qC、p∨qD、﹁p∨﹁qE、﹁p←q
以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。
以“不必然（非p或q）”为前提进行等值推理，其结论为（）。A、可能（p且非q）B、可能（非p且q）C、可能（非p或q）D、必然（p且非q）
以“不可能（p并且q）”为前提进行等值推理，其结论为（）。A、可能（非p或非q）B、必然（p且非q）C、必然（非p或非q）D、必然（如果p则q）
以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。
P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。
以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。A、pB、qC、﹁pD、﹁qE、p∨q
以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A、﹁r∨﹁sB、r∧sC、﹁p∧﹁qD、﹁p∨﹁qE、r∨s
单选题以“不必然（非p或q）”为前提进行等值推理，其结论为（）。A可能（p且非q）B可能（非p且q）C可能（非p或q）D必然（p且非q）
多选题以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。ApBqC﹁pD﹁qEp∨q
填空题以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
填空题以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。
多选题以﹁p为前提进行有效推理，另一前提可以是（）。Ap←﹁qBp→﹁qCp∨qD﹁p∨﹁qE﹁p←q
多选题以～p为一个前提进行演绎推理，如果（）。A加上前提（p∨q），则能必然推出结论qB加上前提（q∨～p），则能必然推出结论qC加上前提（p→q），则能必然推出结论～qD加上前提～q，则能必然推出结论（～q∧～p）E加上前提（q→p），则能必然推出结论～q
单选题以“不可能（p并且q）”为前提进行等值推理，其结论为（）。A可能（非p或非q）B必然（p且非q）C必然（非p或非q）D必然（如果p则q）
多选题以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A﹁r∨﹁sBr∧sC﹁p∧﹁qD﹁p∨﹁qEr∨s
多选题以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。Ap→﹁qBq→pCp∨﹁qDp↔qEp→q
填空题以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。
单选题以～（p∧q）和q为前提进行推理，能必然得出结论（）。A（p∧q）B（p∧～q）C（～p∧q）D（～p∧～q）
填空题P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。
多选题以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。AsB﹁qC﹁q∧sD﹁r∧sE（﹁q∨﹁r）∧s