数学证明与数学/逻辑原理

如引言中所述，这不是对逻辑的阐述。一方面，这本身就是一本书。另一方面，我们的目标是为您提供进行数学运算所需的信息，而您无需了解其内部机制。如果您将逻辑视为一辆汽车，我们只需要知道如何操作方向盘、油门和刹车；我们不需要了解内燃机的原理或汽油的来源。

为此，我们将避免使用逻辑符号，但我们会介绍符号，以便您在遇到它们时知道它们的含义。我们将接受逻辑推演的规则是有效的，并将证明它们有效留给逻辑学家。大多数人都是直觉上正确的。实际上，确实需要学习很多规则，但我们会随着使用而介绍它们，这样它们就不会一下子都涌向您。