离散数学课程辅导.DOC

离散数学课程辅导（2） 数理逻辑部分 第三章 命题逻辑 [知识点] 命题与联结词（否定、析取、合取、蕴涵、等价），复合命题 命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等价 析取范式、合取范式，极小（大）项，主析取范式、主合取范式 公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法） 公式的蕴涵与逻辑结果 形式演绎 本章重点内容：命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定 [疑难解析] 公式恒真性的判定 判定公式的恒真性，包括判定公式是恒真的或是恒假的。具体方法有两种，一是真值表法，对于任给一个公式，主要列出该公式的真值表，观察真值表的最后一列是否全为1（或全为0），就可以判定该公式是否恒真（或恒假），若不全为0，则为可满足的。二是推导法，即利用基本等价式推导出结果为1，或者利用恒真（恒假）判定定理：公式G是恒真的（恒假的）当且仅当等价于它的合取范式（析取范式）中，每个子句（短语）均至少包含一个原子及其否定。 这里要求的析取范式中所含有的每个短语不是极小项，一定要与求主析取范式相区别，对于合取范式也同样。 范式 求范式，包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等价式中的分配律、同一律和互补律，结果的前一步适当使用等幂律，使相同的短语（或子句）只保留一个。 另外，由已经得到的主析取（合取）范式，根据原理，参阅《离散数学学习指导书》P71例15，可以求得主合取（析取）范式。 形式演绎法 掌握形式演绎进行逻辑推理时，一是要理解并掌握14个基本蕴涵式，二是会使用三个规则：规则P、规则Q和规则D，需要进行一定的练习。 第四章 谓词逻辑 [知识点] 谓词、量词、个体词、个体域、变元（约束变元与自由变元） 谓词公式与解释，谓词公式的类型（恒真、恒假、可满足） 谓词公式的等价和蕴涵 前束范式 本章重点内容：谓词与量词、公式与解释、前束范式 [疑难解析] 谓词与量词 反复理解谓词与量词引入的意义，概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则。 公式与解释 能将一阶逻辑公式表达式中的量词消除，写成与之等价的公式，然后将解释I中的数值代入公式，求出真值。 前束范式 在充分理解掌握前束范式概念的基础上，利用改名规则、基本等价式与蕴涵式（一阶逻辑中），将给定公式中量词提到母式之前称为首标。