第1题：
以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。
第2题：
以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
第3题：
下列推理形式中，有效式是（ ）
第4题：
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
第5题：
试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。
第6题：
“要么P要么q，非p，q”这种结构是哪种推理？（）
第7题：
在下列选言推理形式中，无效的有（）。
第8题：
在以下二难推理中，无效式是（）
第9题：
以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。
第10题：
下列推理形式中，无效的有（）。