三段論法

三段論法（syllogism），西方邏輯的推理式，邏輯演算的一種，用形式化方法處理邏輯推理，特別是哲學、數學中所用推理，由於形式化了的推理過程與代數演算具有相似性,這類推理的正確性僅依賴於它們的形式,而與內容無關。

基本介紹

• 中文名：三段論法
• 外文名：syllogism
• 類型：邏輯演算的一種
• 套用：哲學、數學中所用推理

基本概念

由於形式化了的推理過程與代數演算具有相似性,這類推理的正確性僅依賴於它們的形式,而與內容無關。在這裡，概念、推理等被分解為最基本的元素，推理過程被表示為由開始公式出髮根據某些具體規則而做的形式變形。其目的在於成就一向前的推理，或由因以成果。所謂三段論,是指大前提，小前提和結論。邏輯學上嚴謹的反駁必須要經過這三步。　
其符式為：
大前提：凡M是P
小前提：凡S是M
結　論：凡S是P