以“只有p，才q且r”和“非p”为前提，可得结论：

以“p∨q→r”和“﹁r”为前提，能有效推出的结论是（） 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是(　　　) 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 以¬p→r，¬q→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，那么q）”等值于“p非q”；“并非（只有p，才q）”等值于“p并且q”。 “只有p，才Q，非p单Q”是什么条件的矛盾?() “只有p，才Q，非p但Q”是什么条件的矛盾？（） 对谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提。() 若要使“只有P，才非q”与“非P并且q”均真，那么P与q的取值情况是P为（），q为（）。 “并非（只有p，才非q）”等值于（）。 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 以﹁p∧﹁q为前提，若要得出结论r，则应再补上另一前提 以p→（）和q为前提进行推理，结论是（）。 以﹁P∧﹁q为前提，若要得如结论r，则应再补上的另一前提是 以“不必然（非p或q）”为前提进行等值推理，其结论为（）。 如果P,则Q,如果P则r,非q或者r,非p,这是（）结构 如果P，则Q，如果P则r，非q或者r，非p，这是（）结构