标签：lock dba 变量 有用 方法 今天 帮助 语言 imp
A mathmatical proof of a proposition is a chain of logical deduetions leading to the proposition from a base of axioms.
译：命题的数学证明是从公理得出命题的一系列的逻辑推论。
命题是真假客观存在的陈述句。
definition:真假性取决于一个或多个变量的语句。如：“n是一个完全平方数”就是谓词语句，只有知道n的值，才能确定它的真假。
谓词语句通常用”定义“符号: " : = "
p(n) : = "n是一个完全平方数"。当n=4时，即p(4)命题为真；p(5)命题为假。
要想让谓词语句变成一个命题，有两种方法：
证明的原则：
- 在考虑证明的逻辑步骤时，你的草稿可以比骄混乱，但是最终的证明应当是清晰的，简明的。
- 证明通常以“证明”一词开始，以某种分隔符如■或“QED”结束。这些约定只是为了明确证明从哪里开始，哪里结束。
1.直接证明法
从条件(前介)直接推出结果(后介)
例：如果\(0\leq x \leq 2\)，则\(-x^3+4x+1>0\)
证明. 假设\(0\leq x \leq 2\)。那么x，2-x，2+x都是非负的。因此有：\[-x^3+4x+1=x(2-x)(2+x)+1>0\]
原命题得证。 ■
2. 证明逆反命题
一个命题的真假性和它的逆否命题一致，若要证明命题为真，只需证明它的逆否命题为真即可。
3. 证明当且仅当问题
“当且仅当”叙述时通常简写为“IFF”。语句“p IFF q ”等价于“P IMPLIES Q”以及“Q IMPLIES P”。因此，要证明IFF，我们需要证明两个蕴含。(即证明充分性和必要性)
4. 反证法
反证法，又称间接证明法。它首先假设某命题成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。
例：证明\(\sqrt{2}\)是无理数
证明. 我们使用反证法证明，即设 \(\sqrt{3}\) 是有理数，那么我们可以将 \(\sqrt{3}\) 写成最简分式 \(\frac{n}{m}\)。
两边同时平方，得 \(3=\frac{n^2}{m^2}\) ,有：\(3m^2 = n^2\)。
易知n是3的倍数，所以 n^2是9的倍数 。又因为 \(n^2=3m^2\) , 故 \(3m^2\) 也是 9 的倍数，即 \(m^2\) 为 3 的倍数，由证明可得 m 也为 3 的倍数。
n,m 同时为 3 的倍数，故\(\frac{n}{m}\)不可能为最简分式，与条件相矛盾 ，故 √ 3 是无理数。
原命题得证。 ■
5. 分情况讨论
将复杂的证明分解成案例，然后分别证明每一个案例，这是一种常见的，很有用的证明策略。
例：证明任意 6 个人中，总是 3 个人互相认识或互相不认识
证明. 设x是六个人中的一个。我们分情况讨论：
情况1. 剩下的5个人中至少3个和x认识
? 情况1.1：这些人相互都不认识对方。那么，这些人就是至少3个的陌生人组，定理成立。
? 情况1.2：这些人中有的见过对方。那么，这两个人和x就构成了3个认识人组，定理成立。
情况2. 剩下的5个人中至少3个和x不认识
? 情况2.1：这些人相互都认识对方。那么，这些人就是至少3个的认识人组，定理成立。
? 情况2.2：这些人中有的不认识对方。那么，这两个和x就构成了3个陌生人组，定理成立。
原命题得证。 ■
如果这篇文章对你有帮助的话，左下角给个推荐鸭，这个对我真的很重要,qiu‘qiu。
??
标签：lock dba 变量 有用 方法 今天 帮助 语言 imp
原文地址：https://www.cnblogs.com/sang-bit/p/11778670.html
