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

改變充分條件假言判斷前件和后件的真值，就要把聯(lián)結(jié)項改為必要條件的假言判斷聯(lián)結(jié)項。

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

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

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

“非農(nóng)業(yè)人口都是城里人”是一個全稱否定判斷。

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

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

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

選言判斷的選言肢應當窮盡，否則不能保證至少有一個選言肢是真的。