若有A 不是B，且（），则A 与B 是交叉关系。若所有的A 是B，且（），则A 与B 是全同关系。

逻辑形式“aRb”和“SIP”中的常项是（），变项是（）。

填空题逻辑形式“aRb”和“SIP”中的常项是（），变项是（）。

矛盾律既适用于具有（）关系的思想，也适用于具有（）关系的思想；而排中律只适用于具有（）关系的思想。

填空题矛盾律既适用于具有（）关系的思想，也适用于具有（）关系的思想；而排中律只适用于具有（）关系的思想。

若﹁p∨q 为真，q 为假，则﹁p 取值应为（）。

填空题若﹁p∨q 为真，q 为假，则﹁p 取值应为（）。