知识/定理
亚里士多德《工具论》：三段论、矛盾律、排中律；「第一原理 → 推论」的演绎结构。
公式
三段论：人必死（$M\!\to\!P$），苏格拉底是人（$S\!\to\!M$）⇒ 苏格拉底必死（$S\!\to\!P$）。
证明思路
从不证自明的公理出发，依固定推理规则推出结论——这正是数学证明的骨架。
应用/例子
《几何原本》即亚里士多德逻辑学的数学化范本。
意义/影响
为「证明」提供逻辑地基；两千年的逻辑标准，直至布尔代数与数理逻辑才被形式化超越。
DOXA · 数学编年史 · 知识详情
约前350 ｜ 亚里士多德 ｜ 逻辑 ｜ 概念
亚里士多德《工具论》：三段论、矛盾律、排中律；「第一原理 → 推论」的演绎结构。
三段论：人必死（$M\!\to\!P$），苏格拉底是人（$S\!\to\!M$）⇒ 苏格拉底必死（$S\!\to\!P$）。
从不证自明的公理出发，依固定推理规则推出结论——这正是数学证明的骨架。
《几何原本》即亚里士多德逻辑学的数学化范本。
为「证明」提供逻辑地基；两千年的逻辑标准，直至布尔代数与数理逻辑才被形式化超越。