1、数理逻辑总复习1第一章 主要内容o 命题、真值、简单命题与复合命题、命题符号化o 联结词 , , , , 及复合命题符号化o 命题公式及层次o 公式的类型o 真值表及应用2第一章 基本要求o 深刻理解各联结词的逻辑关系 , 熟练地将命题符号化o 会求复合命题的真值o 深刻理解合式公式及重言式、矛盾式、可满足式等概念o 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型3第二章 主要内容o 等值式与等值演算o 基本等值式（ 16组， 24个公式）o 主析取范式与主合取范式o 联结词完备集o 消解法4第二章 基本要求o 深刻理解等值式的概念o 牢记基本等值式的名称及它们的内容o
2、熟练地应用基本等值式及置换规则进行等值演算o 理解文字、简单析取式、简单合取式、析取范式、合取范式的概念o 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系5第二章 基本要求o 熟练掌握求主范式的方法（等值演算、真值表等）o 会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值o 会将公式等值地化成指定联结词完备集中的公式o 会用命题逻辑的概念及运算解决简单的应用问题o 掌握消解规则及其性质o 会用消解算法判断公式的可满足性6第三章 主要内容o 推理的形式结构o 判断推理是否正确的方法n 真值表法 n 等值演算法n 主析取范
3、式法o 推理定律o 自然推理系统 Po 构造推理证明的方法n 直接证明法n 附加前提证明法n 归谬法 (反证法 )7第三章 基本要求o 理解并记住推理形式结构的两种形式：1. (A1A2 Ak)B2. 前提： A1, A2, , Ak 结论： Bo 熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等）o 牢记 P 系统中各条推理规则o 熟练掌握构造证明的直接证明法、附加前提证明法和归谬法o 会解决实际中的简单推理问题8第四章 主要内容o 个体词、谓词、量词o 一阶逻辑命题符号化o 一 阶语 言 L： 项 、原子公式、 合式公式o 公式的解释n 量词的辖域、指导变元、个体变项的自由出现与约束出现、闭式、解释o 公式的类型n 永真式 (逻辑有效式 )、矛盾式 (永假式 )、可满足式9第四章 基本要求o 准确地将给定命题符号化o 理解一阶语言的概念o 深刻理解一阶语言的解释o 熟练地给出公式的解释o 记住闭式的性质并能应用它o 深刻理解永真式、矛盾式、可满足式的概念, 会判断简单公式的类型10
