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

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

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

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

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

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

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