离散数学期末复习总结.docVIP

PAGE 4离散数学期末复习第一部分 数理逻辑知识体系包括命题逻辑（第一章～第三章）和谓词逻辑（第四章、第五章），主要内容如下：(一) 命题逻辑命题、命题联结词、命题如何符号化命题变元、命题公式、命题公式的真值指派永真公式、永假公式和可满足公式判别方法：(1)真值表方法(2)等值演算方法两命题公式等值（）的含义及其判别判别方法：用真值表判别是否永真命题的等值演算公式A蕴含公式B（）的含义及其判别判别方法：用真值表判别是否永真用“等值演算”的方法判是否等值于1假设前件A为真，证明后件B为真假设后件B为假，证明前件A为假范式的求取推理的形式证明方法（P规则、T规则、CP规则、基本等值式、基本蕴含式）(二) 第二章 谓词逻辑基本述语个体、谓词、量词；命题函数，个体域，全总个体域，特性谓词。谓词公式的有关概念谓词公式；量词的辖域，约束变元，自由变元；谓词公式，谓词公式的指派；永真公式，永假公式，可满足公式。谓词公式间的关系谓词公式间的等值关系（AB）；谓词公式间的蕴含关系（AB）；一些基本的等值式；一些基本的蕴含式。谓词演算的推理规则及方法在谓词演算中，命题演算的推理理论仍然成立，另外还用到与量词有关的推理规则。全称特定化规则（US）；存在特定化规则（ES）；全称一般化规则（UG）；存在一般化规则（EG）。主要内容的知识结构如下：二、模拟题用P表示