1.直接证明
假定 p 为真,通过使用公理或已证明的定理以及正确的推理规则证明 q 也为真,以此证明蕴含式 p → q 为真。这种证明方法为直接证明法。
例1 用直接证明法证明“若 p 是偶数,则 p 2 是偶数”。
证明:假定 p 是偶数为真,设 p =2 k ( k 为整数)。由此可得, p 2 =2(2 k 2 )。因此, p 2 是偶数(它是一个整数的2 倍)。
2.间接证明
因为蕴含式 p → q 与其逆否命题¬ q →¬ p 等价,因此可以通过证明¬ q →¬ p 来证明蕴含式 p → q 为真。这种证明方法为间接证明法。
例2 用间接证明法证明“若 p 2 是偶数,则 p 是偶数”。
证明:假定此蕴含式后件为假,即假定 p 是奇数。则对某个整数 k 来说有 p =2 k +1。由此可得 p 2 =4 k 2 +4 k +1=2(2 k 2 +2 k )+1,因此, p 2 是奇数(它是一个整数的2 倍加1)。因为对这个蕴含式后件的否定蕴含着前件为假,因此该蕴含式为真。