具有邏輯性的推理，結論未必正確。

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

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

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

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

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

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

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

定義項外延與被定義項外延之間可以是包含關系。

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