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

在三段論中，前提有一個是否定的，結論必然是否定的。

否定一個判斷而構成的復合判斷是負判斷。

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

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

“樹木分為楊樹和柳樹”是二分法劃分。

進行充分必要條件的假言三段論推理時，肯定前件就要肯定后件。

特稱否定判斷不能進行換位的直接推理。

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

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