數理邏輯

本書為給你一個關於邏輯學的直觀印象，而不使用專門的術語（專門術語有專門的內容進行映射），所以不要以正式術語形式使用本書中使用過的詞語。

邏輯學是一門讓你說正確的話，進行正確的思考的科學，它將推理過程歸約到若干公理上，只要你的論證建立在這些公理之上，你就有信心自己在做絕對正確的事。相反的，如果你發現自己的論證與這些公理衝突，那麼就必然是無意義或錯誤的。假如你並沒有進行特別的邏輯思考，那麼其中出現的駭人的含糊性將抹殺一切真理存在的希望。

沒有任何人希望得到這樣的建言：「你應該吃飯，同時你應該不吃飯」。因為自然界不存在既有一個屬性又「同時」沒有這個屬性的對象，人類無法理解這種情況算什麼東西，故而將這類情況稱為「不合邏輯」的，邏輯學將其形式化的稱為「相容性」，顯然，這是十分符合人類直覺的，所以像這樣的規則被定義為邏輯的公理。可以先看看該公理的符號形式¬(A∧¬A)=T.