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

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

“民法”概括為“法律”是正確的。

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

負判斷的真假取決于肢判斷的真假，肢判斷真，則負判斷為真。

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

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

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

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

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