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

进行充分必要条件的假言三段论推理时，肯定前件就要肯定后件。

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

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

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

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

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