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

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

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