“生产力不是生产关系”不是一个判断。

负判断的真假取决于肢判断的真假，肢判断真，则负判断为真。

选言判断的选言肢应当穷尽，否则不能保证至少有一个选言肢是真的。

不相容选言推理要求，肯定一个选言肢，就要否定其余的选言肢。

由一个假言判断为前提，直接推出结论的推理叫假言直接推理。

定义项外延与被定义项外延之间可以是包含关系。

两个前提中有一个是相容选言判断，并且根据相容选言联结项的逻辑性质推出结论的选言推理是相容选言推理。

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

不相容选言推理要求，否定一个选言肢，就要肯定其余的选言肢。

根据真值模态判断的对当关系，“可能P与可能非P”是下反对关系。