數學證明與數學/邏輯原理

如引言中所述，這不是對邏輯的闡述。一方面，這本身就是一本書。另一方面，我們的目標是為您提供進行數學運算所需的資訊，而您無需瞭解其內部機制。如果您將邏輯視為一輛汽車，我們只需要知道如何操作方向盤、油門和剎車；我們不需要了解內燃機的原理或汽油的來源。

為此，我們將避免使用邏輯符號，但我們會介紹符號，以便您在遇到它們時知道它們的含義。我們將接受邏輯推演的規則是有效的，並將證明它們有效留給邏輯學家。大多數人都是直覺上正確的。實際上，確實需要學習很多規則，但我們會隨著使用而介紹它們，這樣它們就不會一下子都湧向您。