定言三段論syllogism)係演繹推理嘅基本模式之一。人從一個命題開始思考,呢個命題係叫做「小前提」或者題材、題目。當人想將其他嘢代入去小前提,呢樣嘢叫做「大前提」。大前提塞入小前提得出嘅嗰樣嘢,係叫做「結論」。

三段論描述嘅過程:大前提(原有)+小前提(外來)→結論

隨住真值嘅變化,三段論會有唔同嘅證明效果。當然,最好用晒事實嚟到論證,結論就肯定冇事。但即使判斷唔到真假,三段重係一種正當嘅邏輯模式。

(如圖所示:T=真、F=假)如果已經判斷好其中兩項嘅真假,可以按照關係,搵出其餘一個嘅真假。由於三段論嘅關係唔夠具體,有幾種情況會搵唔到真值,要靠其他方法幫手。

推論
大前提 小前提 結論
T T T
T F
F T
F F

對表可以推測到,當大前提同小前提同樣係真,先可以喺推論之中,保證結論係真。

例子

編輯

完全事實

編輯
  1. 維基人=我+...(T)
  2. 維基人=識得打字(T)
  3. 我+...=識得打字(T)

問題式

編輯
  1. 魚=會死(T)
  2. 鯨魚=魚(F)
  3. 鯨魚=會死(?,雖然呢個結論巧合下真係T,但係小前提係假,理論上係推論唔出T)

證錯式

編輯
  1. 我=你(F)
  2. 你=維基人(T)
  3. 我=維基人(?)

全錯式

編輯
  1. 我=中國人(F)
  2. 中國人=英國人(F)
  3. 我=英國人(?)

出面網頁

編輯