“非农业人口都是城里人”是一个全称否定判断。

具有逻辑性的推理，结论未必正确。

判断题具有逻辑性的推理，结论未必正确。

断定几个选言肢中至少有一个选言肢真，并且可以同真的选言判断是相容的选言判断。

判断题断定几个选言肢中至少有一个选言肢真，并且可以同真的选言判断是相容的选言判断。

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

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