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

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

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

斷定某一思維對象情況存在是另一思維對象情況存在的條件的復(fù)合判斷是假言判斷。

斷定幾個選言肢中至少有一個選言肢真，并且可以同真的選言判斷是相容的選言判斷。

違反同一律就會犯偷換概念或混淆概念、偷換論題或轉(zhuǎn)移論題的邏輯錯誤。

否定一個判斷而構(gòu)成的復(fù)合判斷是負判斷。

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

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

在兩個對象A與B之間，如果A對B具有R關(guān)系，B對A可能有也可能沒有R關(guān)系，這種關(guān)系就是反對稱關(guān)系。