以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 以p→（）和q为前提进行推理，结论是（）。 以“不必然（非p或q）”为前提进行等值推理，其结论为（）。 以“必然P”为前提，可必然推出 以“必然P”为前提，可必然地推出（）、（）、（） 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 由前提“（p∨q）→r”，再加上前提（ ）可推出r 判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→q¬p是前提p→q，q→r，¬r的有效结论（） 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。 以“不可能p”为前提，根据模态逻辑方阵，可必然推出的结论有（）。 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。 从“如果（非p或非q）那么（r或s）和“非r且非s”出发，则可推出（） 判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→qP规则⑵q→rP规则⑶p→rT⑴⑵I⑷¬r→¬pT⑶E⑸¬rP规则⑹¬pT⑷⑸I所以¬p是前提p→q，q→r，¬r的有效结论（） 以¬p→r，¬q→s,¬r∨¬s为前提进行推理，其结论应是( ) 已知p→（q∨r）为真，若要推出～p，必须加上前提（）。 “如果必然p真，则可能非p假”和“只有可能非p假才必然p真”这两个命题的()。 “并非（如果p，那么q）”等值于“p非q”；“并非（只有p，才q）”等值于“p并且q”。