设p、q、r为性质判断，p为全称判断。若p对q有差等关系，q与r有矛盾关系，则p与r一定有（）。

“并非p←q”的等值判断是（） “只有p才q”与“如果q则p”这两个判断形式，它们含有（） “要么p，要么q”与“或者p，或者q”这两个判断形式，它们含有（） “如果q，则p”与“只有q，才p”这两个判断形式，它们含有（） “或者q，或者p”与“要么q，要么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假时，下列复合判断为真的有（）。 设P,Q为两个逻辑变量，对于表达式（（P⊕Q）∨Q）∧¬（（P∧Q）∧P∨Q），以下P、Q的值代入使表达式值为真的是（设1为真，0为假）（） 若p∧q取值为真，p∨q取值为（），则p→q取值为（）。 若p→q取值为假，则p∧q取值为（），p∨q取值为（） ﹁（P∨Q）?（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P） 若p→q，q∧r，﹁q，p∨s都真，可以得出( ) 与“p←q”相等值的判断是( ) 与“p→ q”相等值的判断是( ) 若“p∧q”与“p→q”均真，则（）