《离散数学》复习提纲(2018).pdfVIP

《离散数学》期末复习大纲 一、 数理逻辑 [复习知识点] 1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价 ），复合命题 2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足）， 公式的基本等值式 3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式 4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法） 5、命题逻辑的推理理论 6、谓词、量词、个体词（一阶逻辑3要素）、个体域、变元（约束出现与自由出 现） 7、命题符号化、谓词公