凡有逻辑性的必然性推理，其前提反蕴涵结论，即当其前提真则结论真假不定。

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

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

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

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

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

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