数理逻辑1 -- 命题演算1

一直对逻辑的东西很感兴趣，尤其最近做的东西和AI相关，因此下定决心系统地学习数理逻辑。这些笔记并不是严谨的描述，只是作为一些概念的快速参考，以及加入一些个人认为好玩的公式、定理和推导。

简单来说，数理逻辑系统是由一串“符号”组成的系统，基本元素是那一堆“符号”，由“符号”组成“式子”。逻辑系统并不关心“式子”是否对错，只关心“式子”是否存在，也即是假定存在某些“式子“，再确定”推导规则“（Rule of Inference）,然后按照这些规则看能推导出哪些式子，那些假定存在的式子就称为“公理”（Axiom）。换句话说，逻辑系统关心的是给定公理和推导规则后，判断某个式子是否存在。

“存在性”这个概念很重要，它无关对错。一般我们说到“公理”，“定理”，总会产生一个概念，即公理、定理是“对的”，或者某个公式是“对的”，某个公式是“错的”。如果是自然语言，则总习惯于说“某某表述是错的”，“某某表述是不全面的”。这些常识中的“对”与“错”，“全面”与“片面”翻译成逻辑系统的语言就是“存在与否”，即是给定公理与推导规则后，某某式子若存在，就可大致理解成它是“对”的。所谓的“公理”并不说是那些式子是对的，而是在某个逻辑系统中，假定那堆式子是存在的。所以，在学习逻辑系统的过程中，首先要摒弃“是非对错”观念，而谨记“存在与否”观念。

本笔记用的教材是Elliott Mendelson教授编写的Introduction to Mathematical Logic（第四版）。这本书写得非常好，内容丰富，结构紧密，例题足够多，认真啃完的话能对一阶逻辑、集合论等理论有个清晰的了解。全书分为