直接证明法
做法 证明“若A为真, 则B为真”
理由 “若A为真, 则B为真” “AB为真”
例1 若n是奇数, 则n2也是奇数.
证 存在kN, n=2k+1. 于是,
n2 = (2k+1)2
= 2(2k2+2k)+1
得证n2是奇数.
间接证明法
做法 证明“ ¬B ¬A”为真
理由 “AB为真” “ ¬B ¬A为真”
例2 若n2是奇数, 则n也是奇数.
证 用间接证明法. 只要证:若n是偶数, 则n2也是偶数.
假设n是偶数, 则存在kN, n=2k. 于是,
n2 = (2k)2
= 2(2k2)
得证n2是偶数.
归谬法(反证法) 先假设,然后证假设是矛盾的。所以原来的就是对的
做法 假设A真并且¬B真, 推出矛盾, 即证明:A¬B0
理由 A¬B0为真
A¬B为假
A为假或 B为真
AB为真
例3 若A-B=A, 则AB=
证 用归谬法, 假设AB, 则存在x,使得
xAB xAxB xA-BxB (A-B=A)