定言三段論

出自維基百科,自由嘅百科全書
跳去: 定向搵嘢

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

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

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

真值表[編輯]

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

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

對表可以推測到,當大前提設成真實,小前提同結論既真值係一樣嘅。相反,如果大前提係流料,就決定唔到結論嘅真值。

例子[編輯]

完全事實[編輯]

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

問題式[編輯]

  1. 我=本條目首位作者(T)
  2. 我=男人(F)
  3. 本條目首位作者=男人(F)

證錯式[編輯]

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

全錯式[編輯]

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

出面網頁[編輯]