本节介绍命题逻辑。我们将研究经典命题逻辑语言的语法和模型论语义，并研究各种用于判定该语言中句子的某些属性的演算。
4.1 预备知识 4.2 语法 4.3 语义 4.4 等价和范式 4.5 霍恩子句 4.6 归结 4.7 分析表
