第一、二章：什么是证明、良序原理

第一章：什么是证明

命题：命题是一个或真或假的语句（表述)。

谓词：谓词( predicate)相当于真假性取决于一个或多个变量值的命题。

逻辑推理

逻辑推理：逻辑推理( logical deduction )，或推理规则( inference rule )，是指基于已被证明过的命题来证明新的命题。

其他推理规则：

证明蕴含

方法1：

方法2：

证明当且仅当：

数学证明的优秀实践

**陈述你的计划。**优秀的证明开头部分通常有一句解释概括性的话。例如,“我们使用案例分析法”或者“我们采用反证法证明”

**保持线性流程。**有时候，证明就好比数学马赛克，各种独立推理胡乱堆砌。这样不好。论证的步骤应当以可理解的方式有序进行。

**证明是一篇论文，而不是计算。**刚开始很多学生都像求积分那样写证明，一长串的表达式，没有解释，让人十分难以理解。这很糟糕。优秀的证明往往更像是一篇带公式的论文。请使用完整的句子。

**避免过度使用符号。**你的读者可能擅于理解文字，而不太理解那些晦涩的数学符号。请尽量使用文字。
**修改、简化。**读者会感激你的。

**仔细地介绍符号。**有时候，引入变量、采用特殊符号，或者定义新术语，能够极大地简化证明。但需要慎重，因为读者要记住所有这些新知识。记住，请先定义这些新变量、术语或符号的含义，不要一上来就用啊!

**将长证明结构化。**长的框架通常可以分解成较小的过程构成的层级系统。长证明也是这样。如果证明过程需要用到一些说起来简单但证明起来不容易的事实，可以将它们抽出来作为初步的引理。此外，如果反复重复同样的论据，可以将这个论据作为一般性引理，然后反复引用即可。

**警惕“显然”。**如果证明需要用到熟悉或确实显而易见的事实，可以说这些事实是“显然”的,不必证明。但是请记住，你觉得显然的东西，对读者来说可能不是-—通常都不是———显然的。

最重要的是，不要使用“明显”或“显而易见”这样的字眼，去强迫读者接受你证明不了的东西。而且，在别人的证明中看到这些字眼都要引起注意。

**结束。**当我们论证了所有基本事实以后,不要立刻停止,不要让读者自己去得出“显然的”结论。而是要总结一下，解释为什么原命题成立。

第二章 良序原理

**良序原理：**非负整数集中的每个非空子集都有一个最小元素。

良序证明模板：

例子：

**良序集合：**如果一个集合的任意非空子集都有一个最小元素,我们称这个集合是良序的( well ordered )。根据良序定理可知，非负整数集合是良序的，其实还有很多集合也是良序的，比如每一个有限集,还比如集合rN,其中元素为rn，r为正实数,n ∈ N。