以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。A、p→﹁qB、q→pC、p∨﹁qD、p↔qE、p→q

第1题：

以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。

第2题：

以﹁p为前提进行有效推理，另一前提可以是（）。

• A、p←﹁q
• B、p→﹁q
• C、p∨q
• D、﹁p∨﹁q
• E、﹁p←q

第3题：

以～p为一个前提进行演绎推理，如果（）。

• A、加上前提（p∨q），则能必然推出结论q
• B、加上前提（q∨～p），则能必然推出结论q
• C、加上前提（p→q），则能必然推出结论～q
• D、加上前提～q，则能必然推出结论（～q∧～p）
• E、加上前提（q→p），则能必然推出结论～q

第4题：

以“不可能（p并且q）”为前提进行等值推理，其结论为（）。

• A、可能（非p或非q）
• B、必然（p且非q）
• C、必然（非p或非q）
• D、必然（如果p则q）

第5题：

以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。

第6题：

以～（p∧q）和q为前提进行推理，能必然得出结论（）。

• A、（p∧q）
• B、（p∧～q）
• C、（～p∧q）
• D、（～p∧～q）

第7题：

以p→（）和q为前提进行推理，结论是（）。

第8题：

以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

• A、s
• B、﹁q
• C、﹁q∧s
• D、﹁r∧s
• E、（﹁q∨﹁r）∧s

第9题：

以“不必然（非p或q）”为前提进行等值推理，其结论为（）。

• A、可能（p且非q）
• B、可能（非p且q）
• C、可能（非p或q）
• D、必然（p且非q）

第10题：

以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。