划分子项的外延之和必须等于划分母项的外延。

划分是揭示概念内涵的逻辑方法。

判断题划分是揭示概念内涵的逻辑方法。

划分的子项在外延上具有不相容关系。

判断题划分的子项在外延上具有不相容关系。

规范模态判断无所谓真假，它不存在一个真假二值的问题。

判断题规范模态判断无所谓真假，它不存在一个真假二值的问题。