以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。A、pB、qC、﹁pD、﹁qE、p∨q

第1题：

以“～（p∨q）←r”为一个前提，若加上另一个前提（）。

• A、“r”，则能必然推出“～p∧～q”
• B、“～p∧～q”，则能必然推出“～r”
• C、“～r”，则能必然推出“p∨q”
• D、“p∨q”，则能必然推出“～r”
• E、“r”，则能必然推出“～p”

第2题：

若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。

• A、～p
• B、～q
• C、～p∧～q
• D、～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为前提进行有效推理，另一前提可以是（）。

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

第5题：

以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。

• A、～r
• B、～q
• C、～p
• D、r→p
• E、p∧q

第6题：

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

• A、～p∧q
• B、r→p
• C、q∨r
• D、～（～p∨q）
• E、～q∧p

第7题：

以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。

• A、非P并且非q
• B、P并且q
• C、非P并且q
• D、非P或者非r

第8题：

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

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

第9题：

以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。

• A、～（p∨q），能必然推出（～r∨～s）
• B、（～r∨～s），能必然推出（p∨q）
• C、（p∨q），能必然推出～（r∧s）
• D、～（r∧s），能必然推出（～p∨～q）

第10题：

下列推理形式中，无效的有（）。

• A、（（p∨～q）∧q）→～p
• B、（（p∧q）∧r）→（p∧r）
• C、（（～p→q）∧q）→～p
• D、（（p→q）∧（r∧p））→q
• E、（p→q）∧（r→s）∧（q∨s））→（p∨r）