离散数学-吉林大学网络教育学院.pptVIP

第二章 命题逻辑 基本要求 1.掌握命题、逻辑联结词等概 念，能够将命题符号化。 2.掌握命题公式、解释、恒真 公式、恒假公式等概念。能够 判断一命题公式是恒真、恒假 还是可满足。 3.掌握公式的等价、蕴涵等概念，熟记基本的等价式、蕴涵式，会证明更复杂的等价式、 蕴涵式。 4.掌握联结词的功能完备集的 概念，能够判别一个联结词集 合是否为联结词的功能完备集。 5.掌握演绎方法，能够使用演 绎方法进行有效推理。 6.掌握析取范式、合取范式、 极大项、极小项、主析取范式、 主合取范式的概念和性质。 掌握求各种范式的方法，能够用等价演算法和真值表法求命题公式的主析取范式、主合取范式。 第三章 谓词逻辑 ?3.1 基本要求 ?1.掌握谓词、全称量词、存在 量词等概念，学会使用它们符 号化一些命题并构成一些较复 杂的命题。 2.掌握约束变量、自由变量的 概念，能够正确使用改名规则。 3.掌握谓词公式、解释的概念，能够求出一给定公式在某一解释下的真值。 4.掌握恒真公式、恒假公式、可满足公式等概念，了解与命题逻辑判定问题可解不同的是：谓词逻辑判定问题不可解，但谓词逻辑是半可判定的。 5.掌握谓词公式的等价、蕴涵 等概念，熟记基本的等价式、 蕴涵式，会证明更复杂的等价 式、蕴涵式。 6.掌握前束范式、Skolem范式 等概念，能够将一谓词公式化 成与之等价的前束范式，并 进一步化为Slolem