证明方法-南京大学.pdf

证明方法 离散数学─逻辑和证明 南京大学计算机科学与技术系 内容提要  引言  直接证明  反证法  分情形证明  等价性证明  存在性证明  唯一性证明  寻找反例  数学与猜想 引言  定理（Theorem ）  能够被证明为真的陈述，通常是比较重要的陈述。  证明 （Proof ）  表明陈述（定理）为真的有效论证。  定理证明中可以使用的陈述  （当前）定理的前提  已经证明的定理（推论、命题、引理）  公理（假定） 猜想（conjecture ）  术语的定义 引言  定理的陈述（举例） 2 2  如果xy ，其中x和y 是正实数，那么x y 。  如何理解 2 2  对所有正实数x和y ，如果xy ，那么x y 。 2 2  ∀x∀y ((xy ) →(x y )) //论域为正实数  如何证明  定理的陈述为：∀x (P(x)→Q(x))  先证明，对论域中的任一元素c，P(c)→Q(c)  再使用全称生成，得到∀x (P(x)→Q(x)) 直接证明  定义  整数n是偶数，如果存在一个整数k使得n=2k;整数n是奇 数，如果存在一个整数k使得n=2k+1 。  备注：一个整数要么是偶数，要么是奇数。 2  定理：若n是奇数，则n 是奇数。  任意给定一个奇数n，存在一个整数k ，n=2k+1 2 2  n =2(2k +2k)+1 2  n 是奇数 2 2  所以，对任意奇数n，n 是奇数。 ∀n (Odd(n)→Odd(n )) 反证法  反证法（举例）  若3n+2是奇数，则n是奇数。  //直接证明的设想不奏效。  假设结论不存立(¬q)  n是偶数，存在一个整数k使得n=2k  3n+2=2(3k+1)  3n+2是偶数(¬p )  因此，若3n+2是奇数，则n是奇数(p →q) 归谬法  归谬法（举例）  There is no rational number whose square is 2.  Proof 2  Extra hypothesis: (p /q) =2, and p ,q are integers which have no common factors except for 1. 2 2 2 2  Then, p =2q ⇒p is even ⇒p is even ⇒p is multiple of 4 ⇒q2 is even ⇒q is even ⇒p , q have 2 as common factor ⇒contradiction 反证法（广义）  分情形证明  分情形证明（举例）