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

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

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

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

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

违反同一律就会犯偷换概念或混淆概念、偷换论题或转移论题的逻辑错误。

被定义项的外延大于定义项的外延，就犯了“定义过宽”的逻辑错误。

进行充分必要条件的假言三段论推理时，肯定前件就要肯定后件。

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

在必要条件的假言判断做前提进行假言三段论推理时，肯定前件，就要肯定后件。