如果P,则Q,如果P则r,非q或者r,非p,这是（）结构

并非（如果p，那么q）等于“非p或者q”。 并非（如果p，那么q）等于“非p或者q”（） 如果p，那么q;如果r，那么q;p或者r;q这个是二难推理中的简单构成式。() 从“如果（非p或非q）那么（r或s）和“非r且非s”出发，则可推出（） （p∨q）Þr º （pÞr）∧（qÞr）（） 如果否定p∧q而肯定p∨q，则（）。 “并非（如果p，那么q）”等值于“p非q”；“并非（只有p，才q）”等值于“p并且q”。 判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→q¬p是前提p→q，q→r，¬r的有效结论（） 设p、q、r为性质判断，p为全称判断。若p对q有差等关系，q与r有矛盾关系，则p与r一定有（）。 如果p→q，p←q都真，则必定有( ) 如果p←q取值为假，则p∧q取值为（），p∨q取值为（）。 判断证明（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为可逆矩阵, 则 r(PA)=r(A)=r(AQ)=r(PAQ) 并非可能（p或者q）等于“必然非p或者q”。 并非可能（p或者q）等于“必然非p或者q”（） If p+q=400 and p　　(1) p+r+s=600
　　(2) q+r>400 以“只有p，才q且r”和“非p”为前提，可得结论： 以下程序的输出结果是()。 main() {inta=7，b=8，*P，*q，*r; p=&a;q=&b; r=P;P=q;q=r; printf("%d，%d，%d，%an"，*P，*q，a，b); } 证明:（p∧q）→r，¬r∨s，¬s，p蕴含¬q过程如下：证明：⑴qP（附加前提）⑵¬r∨sP⑶¬sP⑷¬rT⑵⑶I⑸（p∧q）→rP⑹¬（p∧q）（） “或者P，或者Q，或者R；是P；所以不是Q，不是R。”这个推理在________时，才是正确的（）