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

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

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

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

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

归纳推理为演绎推理提供前提，归纳推理依赖演绎推理。

判断题归纳推理为演绎推理提供前提，归纳推理依赖演绎推理。