本節介紹命題邏輯。我們將研究經典命題邏輯語言的語法和模型論語義，並研究各種用於判定該語言中句子的某些屬性的演算。
4.1 預備知識 4.2 語法 4.3 語義 4.4 等價和正規化 4.5 霍恩子句 4.6 歸結 4.7 分析表
