# 演绎推理

> 从一般性的前提出发，推导出个别结论。

- ID: m03374
- 分类: structure
- 领域: 逻辑学

## 定义

从一般性的前提出发，推导出个别结论。如果前提正确且逻辑有效，结论必然正确。如三段论。脚手架作用：必然性推导。用于验证。大前提（所有人都死）-> 小前提（苏格拉底是人）-> 结论（苏格拉底会死）。确保你的大前提是真理，剩下的就是数学般的必然。

## 机制

从一般性前提必然推出特殊性结论的推理，若前提真且形式有效，结论必真；是数学与形式逻辑的核心，与归纳、溯因并列。

## 练习

确立清晰前提（定义、公理、已知）；套用有效推理规则（如假言推理、三段论）；保证形式有效；检验前提本身是否可靠。

## 脚手架用法

必然性推导。用于验证。大前提（所有人都死）-> 小前提（苏格拉底是人）-> 结论（苏格拉底会死）。确保你的大前提是真理，剩下的就是数学般的必然。

[阅读网页](https://thinkingmodels.site/entries/detail/m03374)