注：公理验证(2)是没有写的，(2)下的内容应当属于(3)

首先，用形式语言定义了“重言式”“矛盾式”“偶然式”，并了解常见的重言式

其次，理解“语义后承”与“重言式”的关系

再次，给出三条公理

最后，明白“证明”与“演绎”的关系

后面的内容开始枯燥起来了，要慢慢学了

接下来的内容主要是"演绎规则"、“演绎定理”、“可靠性和完全性”等