第5章推理与证明技术.pdfVIP

1.1 本章学 一般掌握 了解 2 3 熟练掌握不同 证明定理的方 证明方法的证 法 明原理、不同 的应用场景 2021/6/10 5.2 证明定理的方法 在定理证明中，如果将证明中的已知看成是命题逻 辑中的前提，将证明的结果看成是命题逻辑中的结 论，则大多数定理都是一个蕴涵关系。 要证明逻辑关系PQ，只需证明蕴涵式P→Q为永 真 。 2021/6/10 5.2.1 基本证明技术 1、直接证明 2 例5.2.1 证明：若n是奇数，那么n 是奇数。 证明 假定这个蕴涵式的前件为真，即假定n为奇 数，则n ＝2k+1 ，其中k是整数。于是有： 2 2 2 2 n ＝(2k+1) =4k +2k+1=2(2k +k)+1 2 所以n 是奇数。 2021/6/10 2 、间接证明 因为P→Q 等价于 Q→ P。 通过证明 Q→ P来证明P→Q的方式称为间接证 明。 2021/6/10 例5.2.2 2 设n是一个整数，证明：如果n 是奇数，那么n是奇 数。 证明 假设n是偶数，则n ＝2k ，这里k是一个整数。 于是有： 2 2 2 2 n ＝(2k) =4k =2(2k ) 2 所以n 是偶数。 2 因而证明了若n是偶数，则n 是偶数，它是已知 命题的逆否式。因此，证明了所给 题。 2021/6/10 例5.2.3 用间接证明方法证明：若3n+2是奇数，则n是奇数。 证明 假设n是偶数，则n ＝2k ，这里k是一个整数。 于是有： 3n+2 ＝6k+2=2(3k+1) 所以3n+2是偶数。 它是已知命题的逆否式。因此，证明了所给 题。 2021/6/10 例5.2.4 证明不存在有理数P/q其平方为2 ，即证明 2 是无 理数。 2 证明 对某两个整数P和q ，假设(P/q) =2成立，并 且P和q没有公因子。如果原来选择的P 、q具有公 因子，则可以用与它相等的无公因子的P 、q来取 代它。 2 2 2 于是P =2q ，所以P 是偶数，这就推出P是偶 数，因为一个奇数的平方是奇数。 因此存在某个整数n使