第二章逻辑和证明（五）.pptVIP

第二章 逻辑和证明 2.5 证明定理的方法 2.5.1 直接证明 直接证明：直接证明结论 对p→q形式的结论，把p也当作前提，证明q 例1 给出定理“若n是奇数，则n2是奇数”的直接证明。 解 假定这个蕴含式的条件为真。即假定n是奇数。则n=2k+1，其中k是整数。由此得出n2 = (2k+1) 2 = 4k2+4k+1= 2(2k2+2k)+1 。因此，n2是奇数（它是一个整数的两倍再加1）。 2.5.2 间接证明 间接证明： 对p→q形式的结论，证明其等价的逆否命题 ?q→?p (p→q) ? (?q→?p) 例2 给出定理“若3n+2是奇数，则n是奇数”的间接证明。 证明： 假定这个蕴含式的后件为假：即假定n是偶数。则对某个整数k来讲有n=2k。 所以3n+2=3(2k)+2=6k+2=2(3k+1)，所以3n+2是偶数（因为它是2的倍数）。因为对这个蕴含式后件的否定蕴含着前件为假，所以原来的蕴涵式为真。 2.5.3 空证明 空证明： 对p→q形式的结论，证明p为假 F→q永真 常用于证明定理的特殊情况和数学归纳法 例3 证明命题P(0)为真，其中P(n)是命题函数“若ｎ大于１， 则n2 n”。 证明： 注意