数理逻辑讲义 李 涛 哈尔滨工业大学计算机学院 数理逻辑讲义 - I - 第1 章 绪论.....................................................................................................................................1 第2 章 命题演算形式系统.............................................................................................................2 2.1 命题演算的基本概念........................................................................................................2 2.1.1 命题.........................................................................................................................2 2.1.2 命题联结词及真值表.............................................................................................2 2.1.3 命题公式及真值......................................................................................................4 2.2 范式.....................................................................................................................................7 2.2.1 基本概念.................................................................................................................7 2.2.2 范式的求解.............................................................................................................7 2.2.3 主范式.....................................................................................................................8 2.3 联结词的扩充与归约.......................................................................................................15 2.4 对偶式...............................................................................................................................17 2.5 命题演算形式系统（PC）..............................................................................................18 2.5.1 命题演算形式系统的组成....................................................................................18 2.5.2 PC 的基本定理..........................................................
