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

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

多选题查看答案

以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。

多选题查看答案

以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。

多选题查看答案

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

填空题查看答案

以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。

多选题查看答案

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。

多选题查看答案

以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

多选题查看答案

以“只有p，才q且r”和“非P”为前提，可必然推出结论（）。

单选题查看答案

P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。

填空题查看答案