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

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

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

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

前提中至少有一個是選言判斷，并且根據選言聯結項的邏輯性質推出結論的演繹推理是選言推理。

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

兩個前提中有一個是相容選言判斷，并且根據相容選言聯結項的邏輯性質推出結論的選言推理是相容選言推理。

違反不矛盾律就會犯自相矛盾的邏輯錯誤。

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

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