從能保證結論成立的前提出發，你就是在進行演繹推理。所有人都會死。蘇格拉底是人。因此，蘇格拉底會死。若前提為真且形式有效，結論必然為真。這裡沒有機率的餘地。演繹推理是邏輯、數學和形式證明的基石。

亞里斯多德是第一個有系統地演繹推理的人，他以三段論作為基本工具。三段論包含兩個前提和一個結論，其排列方式使得結論必然成立。中世紀的邏輯學家完善了這個體系，而像弗雷格和羅素這樣的現代邏輯學家則發展了符號邏輯，用符號和規則來表示演繹形式。演繹推理能夠保持真值：它不能從真前提推導出假結論。但它也不能在前提之外產生新的內容。這就是為什麼演繹推理在證明方面威力強大，但在發現方面卻有所限制。

關鍵概念

• 有效性. 結論必然由前提得出。
• Soundness. 有效形式加上真實前提。
• 三段論.兩個前提與一個結論。
• Counterexample. 一個顯示無效表單的案例。

演繹推理出現在日常推理、法律論證、電腦​​程式設計和哲學證明。當有人說“這合乎邏輯”，他們通常指的是演繹推理。