第一章命题逻辑(Logic) – Class 3 反证法; 归谬法（ Proof by.PDF

第一章 命題邏輯 (Logic) – Class 3 基礎數學概念 (Essential Mathematical Concepts) 反證法; 歸謬法 （Proof by Contradiction ） 逆返命題 (Contrapositive) 給定一條件語句 p → q 。 ~ q → ~ p 稱為 p → q 的逆返命題。 例子 ：考慮條件語句〝若 n 是一整數， 則 n 是一有理數。〞 逆返命題： 〝若n 不是一有理數， 則 n 不是一整數。〞 定理 ：證明 p → q ≡ ~ q → ~ p 根據上述定理，證明 p → q 時，可考慮證明其逆返命題 ~ q → ~ p 。 此乃反證法 (proof by contradiction) 背後的點子。 反證法的定義 甚麼是反證法呢？ 我們說反證法是這樣一種方法，它從否定命題的結論入手，並把對命題 結論的否定作為推理的巳知條件，進行正確的邏輯推理使之得到或與巳知條件、巳知公理、 定理、法則、巳證明為正確的命題等相矛盾，或自相矛盾的結果，從而使命題獲得證明。 方法 ： 要證明 p 為真時，可利用矛盾式作證明。 方法步驟如下。 1. 假設 ~ p 成立。 2. 利用 ~ p 進行推理導出矛盾式存在，否定假設。 3. p 是重言式。 例一 ：證明 2 是無理數。 例二 ：證明log10 3 是無理數。 反證法的特徵 分析上述定義，可以看到反證法有如下特徵 ： 1. 反證法，開宗明義第一步，總是對所證命題結論的否定 (注意是對命題結論的否定， 而是對巳知條件的否定)。 這是反證法最顯著的特點之一。 沒有對命題結論的正確 否定，就根本不是反證法。 2. 〝對命題結論的否定〞，我們通常稱為〝反設〞。 把〝反設〞作為巳知條件，並把此 條件運用於推理中，這是反證法的又一特點。 反之，如果不以〝反設〞作巳知條件， 而是作為〝反設〞無關的推理，那麽這樣的證明方法就不能叫做反證法。 3. 從〝反設〞開始，利用正確的推理方法導出矛盾，這是學習反證法的一個難點。 〝正 確的推理〞這是每一種證明方法都需要的， 〝必須導出矛盾〞卻是反證法特有的。 4. 反證法在利用〝反設〞進行推理的過程中，每一步都在設法導出使〝反設〞成立的必 要條件， 而不是去尋求使〝反設〞成立的充分條件。 如果通過推理能夠導出一個矛 盾，即是說使〝反設〞成立的必要條件不可能存在，那麼〝反設〞不可能成立，從而 只有原結論成立，命題就獲得證明。 5. 從〝反設〞和巳知條件出發進行推導， 往哪個方向進行，並無定律，要視乎具體情 況而定，思維較寬廣。 反證法這一特點，使得學習和掌握反證法增加了一些困難， 但同時也使得反證法在培養和發展思維能力的過程中，點出其獨特的吸引力。 6. 在反證法的推導過程中，只要求導出一個矛盾即可。 可以導出與定義、法則、公理 相矛盾，或與巳知條件相矛盾的結果，可以導出〝自相矛盾〞結果， 並無定框， 這 對於推導來說具有一定的方便。 正確進行〝反設〞 〝反設〞－ 即對命題結論的否定， 是應用反證法的第一步， 也是重要的一步。 〝反設〞 不正確， 推理的前提就是錯誤的， 其證明當然也就錯了， 達不到我們希望的目的。 因 此對結論的正確否定， 是反證法證明過程中最基本而不可忽視的一環。 例子 ：對下列命題的結論進行否定： (1) 若 ∠A 、 ∠B 互為對頂角， 則 ∠A = ∠B 。 (2) 證明： 3 是無理數。 (3) 設 a 是整數， 若 a2 是奇數， 則 a 亦是奇數。 (4) 設 a 是實數， 且 a |a| ，則 a 是負數。 (