对概念进行限制和概括的逻辑根据是属种概念之间的内涵和外延的反变关系。

定义是揭示概念外延的逻辑方法。

判断题定义是揭示概念外延的逻辑方法。

当且仅当相容选言判断的联言肢至少有一个是假的，该相容选言判断才是真的。

判断题当且仅当相容选言判断的联言肢至少有一个是假的，该相容选言判断才是真的。

当且仅当联言判断的各个联言肢是假的，该联言判断才是真的。

判断题当且仅当联言判断的各个联言肢是假的，该联言判断才是真的。