离散数学篇-数学证明书写规范

归纳法描述

归纳法证明规范

证明结构如下：
采用xx数学归纳法证明命题。
定义一个关于自然数 $n$ 的谓词 $P(n)$。
目标是证明 $P(n)$ 对所有 $n\in \mathbb{N}$ 都成立。

• 基础情形：
  证明 $P(0)$ 成立。

• 归纳步骤：
  假设 $P(n)$ 成立（归纳假设），证明 $P(n+1)$ 也成立。

根据xx归纳法原理，$P(n)$ 对所有自然数 $n\in \mathbb{N}$ 都成立。

良序原理证明规范

采用反证法结合良序原理。
假设命题不成立，构造反例集合 $C\subseteq \mathbb{N}$。

证明结构如下：

• 构造集合：
  将所有使命题不成立的自然数组成集合 $C$。

• 应用良序原理：
  由于 $C\subseteq \mathbb{N}$，按良序原理，$C$ 中存在最小元素 $c$。

• 推导矛盾：
  利用 $c$ 的“最小性”及其他已知条件，推出矛盾。

原假设不成立，命题得证。

不变性原理证明规范

证明结构如下：

1. 定义状态机：明确状态、初始状态和状态转移规则。
2. 定义不变式：找出一个在所有状态转移中都保持为真的性质 $P$。
3. 证明不变式保持性：
   • 初始情形：验证初始状态满足不变式 $P$；
   • 转移闭包性：假设某状态满足不变式，证明其所有后继状态也满足。

根据不变性原理，不变式 $P$ 对所有可达状态都成立。

结构归纳法证明规范

证明结构如下：
采用结构数学归纳法证明命题。
定义一个有关递归定义的数据类型 $R$ 的谓词 $P(r)$。
目标是证明 $P(r)$ 对所有 $r\in R$ 都成立。

• 基础情形：
  证明对每个基础情形的元素 $b\in R$ 都有 $P(b)$ 为真。

• 归纳步骤：
  假设 $P(r)\wedge P(s)$ 成立（归纳假设），证明 $P(c(r,s))$ 也成立。

根据结构归纳法原理，$P(r)$ 对所有 $r\in R$ 都成立。