只考察一类对象中的部分个体对象，根据他们分别具有或不具有某种属性，推出该类全部类对象也具有或不具有某属性的全称性结论的推理，是完全归纳推理。

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

在两个对象A与B之间，如果A对B具有R关系，B对A可能有也可能没有R关系，这种关系就是反对称关系。

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

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

“春天来了”是一个模态判断。

定义联项既有肯定的“是”，也有否定的“不是”。

特称否定判断不能进行换位的直接推理。

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

断定某一思维对象情况存在是另一思维对象情况存在的条件的复合判断是假言判断。