由一个假言判断为前提，直接推出结论的推理叫假言直接推理。

定义联项既有肯定的“是”，也有否定的“不是”。

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

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

“南南合作就是南南合作的国家所进行的合作”，这一定义没有什么逻辑错误。

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

全称肯定判断（A）与全称否定判断（Ｅ）之间的对当关系是反对关系。

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

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

断定几个选言肢中至少有一个选言肢真，并且可以同真的选言判断是相容的选言判断。