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

以“p∨q→r”和“﹁r”为前提，能有效推出的结论是（） 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是(　　　) 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 以“必然P”为前提，可必然推出 以“必然P”为前提，可必然地推出（）、（）、（） 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 由前提“（p∨q）→r”，再加上前提（ ）可推出r 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 以“不必然（非p或q）”为前提进行等值推理，其结论为（）。 判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→q¬p是前提p→q，q→r，¬r的有效结论（） 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。 以“不可能p”为前提，根据模态逻辑方阵，可必然推出的结论有（）。 从“如果（非p或非q）那么（r或s）和“非r且非s”出发，则可推出（） 以¬p→r，¬q→s,¬r∨¬s为前提进行推理，其结论应是( ) 已知p→（q∨r）为真，若要推出～p，必须加上前提（）。 “如果必然p真，则可能非p假”和“只有可能非p假才必然p真”这两个命题的()。 判断证明（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，那么q）”等值于“p非q”；“并非（只有p，才q）”等值于“p并且q”。 “只有p，才Q，非p但Q”是什么条件的矛盾？（） “只有p，才Q，非p单Q”是什么条件的矛盾?()