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

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

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

“春天來了”是一個模態(tài)判斷。

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

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

前提中至少有一個是選言判斷，并且根據(jù)選言聯(lián)結(jié)項的邏輯性質(zhì)推出結(jié)論的演繹推理是選言推理。

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

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

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