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

以“p∨q→r”和“﹁r”为前提，能有效推出的结论是（） 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是(　　　) 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。 以“只有p，才q且r”和“非P”为前提，可必然推出结论（）。 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 以“凡正确的推理都是前提和推理形式都正确的推理”这个命题作前提进行演绎推理，不能必然推出的结论是（）。 下列说法是否正确：“要保证结论是真命题，就必须同时保证：（1）推理所用的是有效推理形式，（2）前提是真命题。” 以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。 以p→（）和q为前提进行推理，结论是（）。 演绎推理是以一个为前提，推出一个作为结论的判断的推理形式（） 判定下列推理形式是否为有效推理形式： ( p ∨ q ) ( p → r ) ( q → r ) ———————— r 归纳推理是以（）为前提而推出结论的推理，它的结论具有（） 10.判定下列推理形式是否为有效推理形式：( p ∨ q )( p → r )( q → r )————————r 以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。 以“不可能（p并且q）”为前提进行等值推理，其结论为（）。 以“不必然（非p或q）”为前提进行等值推理，其结论为（）。 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。 由前提“（p∨q）→r”，再加上前提（ ）可推出r 用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q（x）:x为有理数;R（x）:x为实数;Z（x）:x为整数;前提:∀x（Q（x）→R（x））,∃x（Q（x）∧Z（x））;结论:∃x（R（x）∧Z（x））。（1）∃x（Q（x）∧Z（x））P（2）Q（c）∧Z（c）ES（1）（3）∀x（Q（x）→R（x））P（4）Q（c）→R（c）US（3）（5）Q（c）T（2）I 以“只有p，才q且r”和“非p”为前提，可得结论：