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

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

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

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

只考察一類對象中的部分個體對象，根據他們分別具有或不具有某種屬性，推出該類全部類對象也具有或不具有某屬性的全稱性結論的推理，是完全歸納推理。

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

“生物分為動物和植物”犯劃分不全的邏輯錯誤。

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

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

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