CS70学习笔记（三）L2

Proofs

Example1：
Proposition P: $\exists$ x,y,z $\in$ $\mathbb{Z}$ , $x^2+y^2=z^2$
Proposition Q: $\forall n\ge 3$ , $x^n+y^n\ne z^n$
如何证明一个命题是真是假？

Program verification (程序验证)

Program $P(x)$
Function $F(x)$
$\forall x,P(x)=F(x)$
这里老师只是简单的提了一句程序验证，程序验证是指研究程序正确性的理论，即要证明程序达到某种预定目的的任务。

Direct Proof

$\forall xP(x)\Rightarrow Q(x)$

eg1. $\forall$ a,b,c $\in \mathbb{Z}$, a | b and a | c $\Rightarrow$ a | b-c

a divides b (a|b) ,$\exists d\in \mathbb{Z}b=ad$
本质上就是$P(a,b,c)\Rightarrow Q(a,b,c)$
而P $\to$ Q，则是要将命题一步步拆解，直到得到两个相等的命题即：
$$P\Rightarrow P_1\Rightarrow P_2\Rightarrow P_3......P_n=Q$$
课上提到一个问题，$$P\Rightarrow QandQ\Rightarrow RthenP\Rightarrow R$$
注意这个任然是一个推导运算，并不是说前后两句话等价。老师上课就犯了这个错然后发现truth table有问题，应该理解为Proposition U{$P\Rightarrow QandQ\Rightarrow R$}和Proposition V{$P\Rightarrow R$},$$U\Rightarrow V$$
回到题目的证明，就是从定义得到定义过程为：$$Definition\to Simplification\to Definition$$
这里的definition就是指院命题的定义
证明过程如下：

\qquad \qquad a|b and a|c
$\Downarrow$
$\exists d_1,d_2$ $b=a{d}_{1}c=a{d}_2$ Definition
$\Downarrow \Downarrow$
\quad\quad\quad (b-c)=a($d_1-d_2$) Simplification
$\Downarrow \Downarrow$
$\therefore$ a|b-c Definition

eg2. $\forall x\in \mathbb{Z}$, x is odd $\Rightarrow x^2$ is odd

仍然是定义到定义，再去想补充细节
\qquad \qquad x is odd
$\Downarrow$
$x=2a+1$ Definition
$\Downarrow$
\qquad \qquad \quad （*）
\qquad \qquad \qquad ···

$x^2=2b+1$ Definition
$\Downarrow$
\qquad \qquad $x^2$ is odd
从(*)处往后
(*) \qquad $x^2$ =$(2a+1{)}^2$
$\Downarrow$
$x^2=4a^2+4a+1$
$\Downarrow$
令b=$2a^2+2a$, 就可以由定义证明

Contrapositive（反证法）

这里老师上课讲了lemma、Theorem 就一并先做补充

Theorem：定理。是文章中重要的数学化的论述，一般有严格的数学证明。
Proposition：命题，经过证明且interesting，但没有Theorem重要，比较常用。
Lemma：引理，通常lemma的提出是为了来逐步辅助证明Theorem，有时候可以将Theorem拆分成多个小的Lemma来逐步证明，以使得证明的思路更加清晰。很少情况下Lemma会以其自身的形式存在。
Corollary：推论，由Theorem推出来的结论，通常我们会直接说this is a corollary of Theorem A。
Property：性质，结果值得一记，但是没有Theorem深刻。
Claim：陈述，先论述然后会在后面进行论证，可以看作非正式的lemma。
Note：就是注解。
Remark：涉及到一些结论，相对而言，Note像是说明，而Remark则是非正式的定理。
Conjecture：猜测。一个未经证明的论述，但是被认为是真。
Axiom/Postulate：公理。不需要证明的论述，是所有其他Theorem的基础。

转自 https://blog.csdn.net/mnshenyan

反证法的思路其实就是逆否命题与原命题等价.
这一讲主要通过简单的数论题，来介绍一些证明方法。和以往证明不同的是，更为突出强调逻辑的运算，而非简单的证明。

2023-08-12 00:22