数理逻辑

本书为给你一个关于逻辑学的直观印象，而不使用专门的术语（专门术语有专门的内容进行映射），所以不要以正式术语形式使用本书中使用过的词语。

逻辑学是一门让你说正确的话，进行正确的思考的科学，它将推理过程归约到若干公理上，只要你的论证建立在这些公理之上，你就有信心自己在做绝对正确的事。相反的，如果你发现自己的论证与这些公理冲突，那么就必然是无意义或错误的。假如你并没有进行特别的逻辑思考，那么其中出现的骇人的含糊性将抹杀一切真理存在的希望。

没有任何人希望得到这样的建言：“你应该吃饭，同时你应该不吃饭”。因为自然界不存在既有一个属性又“同时”没有这个属性的对象，人类无法理解这种情况算什么东西，故而将这类情况称为“不合逻辑”的，逻辑学将其形式化的称为“相容性”，显然，这是十分符合人类直觉的，所以像这样的规则被定义为逻辑的公理。可以先看看该公理的符号形式¬(A∧¬A)=T.