劃分的子項外延必須相互排斥，就是說子項的外延之間不能有相容關系。

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

“我們的所有產(chǎn)品都是合格的”與“我們所有的產(chǎn)品都不是合格品”兩個判斷可能都是假的。

定義聯(lián)項既有肯定的“是”，也有否定的“不是”。

“生產(chǎn)力不是生產(chǎn)關系”不是一個判斷。

根據(jù)真值模態(tài)判斷的對當關系，“可能P與可能非P”是下反對關系。

具有邏輯性的推理，結論未必正確。

由一個假言判斷為前提，直接推出結論的推理叫假言直接推理。

“生物分為動物和植物”犯劃分不全的邏輯錯誤。

在必要條件的假言判斷做前提進行假言三段論推理時，肯定前件，就要肯定后件。