“非农业人口都是城里人”是一个全称否定判断。

在两个对象A与B之间，如果A对B具有R关系，B对A可能有也可能没有R关系，这种关系就是反对称关系。

选言判断的选言肢应当穷尽，否则不能保证至少有一个选言肢是真的。

“民法”概括为“法律”是正确的。

“生产力不是生产关系”不是一个判断。

断定某一思维对象情况存在是另一思维对象情况存在的条件的复合判断是假言判断。

定义项外延与被定义项外延之间可以是包含关系。

划分的子项外延必须相互排斥，就是说子项的外延之间不能有相容关系。

在必要条件的假言判断做前提进行假言三段论推理时，肯定前件，就要肯定后件。

两个前提中有一个是相容选言判断，并且根据相容选言联结项的逻辑性质推出结论的选言推理是相容选言推理。