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

“树木分为杨树和柳树”是二分法划分。

改变充分条件假言判断前件和后件的真值，就要把联结项改为必要条件的假言判断联结项。

不相容选言推理要求，肯定一个选言肢，就要否定其余的选言肢。

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

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

在三段论中，前提有一个是否定的，结论必然是否定的。

否定一个判断而构成的复合判断是负判断。

“春天来了”是一个模态判断。

被定义项的外延大于定义项的外延，就犯了“定义过宽”的逻辑错误。