法本无法:证明数学归纳法与反证法本身

法本无法:证明数学归纳法与反证法本身

💡 原文中文,约3000字,阅读约需7分钟。
📝

内容提要

本文讨论了数学归纳法和反证法的证明方法,涉及到逻辑思维规律中的“矛盾律”和“排中律”。数学归纳法的证明基于皮亚诺公理的第五条,反证法则是先假设命题的否定命题成立,然后推导出与已知条件矛盾的结果。

🏷️

标签

➡️

继续阅读