离散数学(09)(精品·公开课件).pptVIP

第二章 集 合 2.3 归纳法和自然数 2.3.3 归纳证明 归纳定义不仅提供了定义无限集合的一种方法, 也为证明定理形成某些有效技术的基础。对于?xP(x)形式的命题, 如果其论述域S是归纳定义的集合, 则归纳法往往是有效 (2) 归纳步骤。这一步证明如果事物x,y,z,…有性质P,那么 用归纳条款指定的方法, 组合它们所得的新元素也具有性质P。 归纳定义的极小性条款保证S的所有元素仅仅应用基础和归纳条款才能构成, 因此证明了以上两步, 就足以推出?xP(x)。 现在举例说明这一方法。回顾定理1.2-1(P12): “设A和A*是对偶式。 P1, P2, …, Pn是出现于A和A*”中的所有命题变元, 于是: ┐A(p1,p2,….pn) ? A *(┐p1,┐p2,….┐pn) (1) 因为根据对偶式定义, 公式A中仅含有联结词∧、∨、┐, 因此公式A可归纳定义如下: (1) Pi(1≤i≤n)是公式; T是公式; F是公式。 (2) 若A和B是公式, 则 ┐A、(A∧B)、 (A∨B)是公式。 (3) 只有有限次运用条款(1)和(2)生成的才是公式。 定理1.2-1是建立在归纳定义的公式集合上, 因此可以用上述一般的归纳法证明。 (1)(基础步骤) A(P1, P2….) ? Pi ； ┐T ? F , (这时的A和A*仅是单个命题变元或者常元A =A*) ┐A (P1 , P2…) ? ┐Pi ； T ? ┐F A*(┐P1, ┐P2….) ? ┐Pi (1≤i≤n) 所以当A是由一个变元或常元时, 公式(1)成立。 (2) (归纳步骤) 设A1(P1,P2,…,Pn)、A2(P1,P2,…,Pn)对公式(1)成立, 即: ┐A1(P1,P2,…,Pn) ? A1* (┐P1, ┐P2,…,┐Pn) ┐A2(P1,P2,…,Pn) ? A2* (┐P1, ┐P2,…,┐Pn) 现证明: ①(A1∧A2) ②(A1∨A2) ③ ┐A1时, 公式(1)也成立。 情况 1： (A1∧A2) 记 (A1∧A2)为A。 A的对偶A *就是 (A1*∨A2*) ┐A(p1,p2,…,pn) ? ┐(A1(p1,p2,…,pn)∧ A2 (p1,p2,…,pn) ) ? ┐A1(p1,p2,…,pn) ∨┐A2(p1,p2,…,pn) ? A1*(┐p1,┐p2,…,┐pn) ∨ A2* (┐P1, P2,…,┐Pn) ? A *(┐p1,┐p2,…,┐pn) 这说明对于∧运算 (1)式成立。 情况 2: (A1∨A2) 方法与情况 1 类似, 留给读者自证。 情况 3: ┐A1 记┐A1为A ┐A(p1,p2,…,pn) ? ┐┐(A1(p1,p2,…,pn) ? ┐A1*(┐p1,┐p2,…,┐pn) ? A * (┐p1,┐p2,…,┐pn) 故对n个命题变元的一切运算情况公式(1)公式成立。 以上的归纳是将对偶式中可能的命题运算 ∧、∨、┐都进行了证明，这种归纳也叫完全归纳 法（穷举法）。 但通常的归纳证明是涉及自然数的, 自然数具有以下归纳特征: (1) (基础)0∈N。 (2) (归纳)如果n∈N, 那么n+1∈N。 (3) (极小性)如果S ? N, 且S有以下性质: (i) 0∈S ; (ii) 对每一n∈N, 如果n∈S, 那么(n+1)∈S。 那么, S=N。 这里, 极小性条款是习惯上用于自然数定义中的形式, 它叫做数学归纳法第一原理。我们适当地改变一下这个条款的形式, 就可得到以自然数为论述域的?xP(x)形式的断言的归纳证明过程。 令S={n|P(n)}是N的子集,于是极小性条款可改为“如果①P(0)为真, ②?n(P(n)→P(n+1))为真,(P(n)为真是作为假设前提)那么