～（p∨q），能必然推出（～r∨～s）
（～r∨～s），能必然推出（p∨q）
（p∨q），能必然推出～（r∧s）
～（r∧s），能必然推出（～p∨～q）
第1题：
以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
第2题：
由前提"p或者q"进行选言推理，加上一个前提"q"，能得出（）的结论。
第3题：
以～p为一个前提进行演绎推理，如果（）。
第4题：
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
第5题：
以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。
第6题：
以“～（p∨q）←r”为一个前提，若加上另一个前提（）。
第7题：
以（～p→q）为大前提（）。
第8题：
以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。
第9题：
以﹁p为前提进行有效推理，另一前提可以是（）。
第10题：
以p→（）和q为前提进行推理，结论是（）。