离散数学复习课.pptxVIP

离散数学复习课第1页/共32页知识点1 命题逻辑的基本概念一、内容提要 1、命题与连接词 命题与真值：命题，命题的真值，真命题，假命题，简单命题（或原子命题），复合命题。 命题与真值的符号化：用逻辑变量P、Q、R表示命题；用 1 代表真，0 代表假。第2页/共32页 常用联结词及其符号化：否定词?，合取词∧，析取词∨，蕴含词→，等值词?。 基本复合命题： 否定式：?P 合取式：P∧Q 析取式：P∨Q 蕴含式：P→Q 等价式：P?Q 复合命题：基本复合命题，以及多次使用联结词复合而成的命题。如：异或(?P∧Q)∨(P∧? Q)第3页/共32页 2、命题公式及其赋值 命题常项与命题变项 命题公式与赋值：合式公式（命题公式或公式），公式的层次，公式的赋值，真值表。 命题公式的类型：永真式（重言式），永假式（矛盾式），可满足式。 判断公式类型的方法：真值表法。第4页/共32页二、基本要求1、分清简单命题与复合命题。2、理解 5 种常用联结词的含义，并能准确地应用它们将命题符号化，能由简单命题的真值迅速求出复合命题的真值。3、深刻理解命题公式的赋值、永真式、永假式、可满足式等概念。4、熟练地写出给定命题公式的真值表，并能利用真值表判断出公式的类型，或求公式成真（假）赋值。第5页/共32页三、主要题型1、命题符号化。2、求复合命题的真值与命题公式的赋值。3、判断公式的类型。4、复合命题符号化。第6页/共32页知识点2 命题逻辑的等值演算一、内容提要 1、等值式与基本等值式 等值式：若P?Q为永真式，则称P与Q是等值的，记为 。 基本的等值式：P11表，共24 个。 等值演算：由已知等值式推演出新的等值式的过程。第7页/共32页 置换规则： 永真式与矛盾式的判别方法： 2、析取范式与合取范式 概念：文字，简单析取式，简单合取式，最小项，最大项，析取范式，合取范式，主析取范式，主合取范式。 主要定理：在命题逻辑中，任何公式都存在着唯一的主析取范式和主合取范式。第8页/共32页 主析取范式的求解方法与步骤：等值演算法，真值表法，由主合取范式求主析取范式。 主合取范式的求解方法与步骤：等值演算法，真值表法，由主析取范式求主合取范式。 主范式的用途：（1）求公式的成真（假）的赋值；（2）判断公式的类型；（3）判断两个公式是否等值；（4）解决实际问题。第9页/共32页二、基本要求1、理解等值式的定义，知道公式之间的等值关系具有自反性、对称性、传递性。2、牢记基本等值式的名称及它们的内容。3、熟练地应用基本等值式及置换规则进行等值演算。4、了解文字、简单析取式、简单合取式、析取范式、合取范式等概念。第10页/共32页5、深刻理解最小项、最大项的定义，名称、下脚标与成真赋值的关系，主析取范式与主合取范式。6、熟练掌握求主析（合）取范式的方法。7、会用主范式求公式的成真（假）赋值、判断公式类型、判断两个公式是否等值。第11页/共32页三、主要题型1、用等值演算法证明永真式和永假式。2、用等值演算法证明等值式。3、通过求主范式判断公式的类型。4、用主范式判断两个公式是否等值。5、用等值演算方法求解实际问题。*第12页/共32页知识点3 命题逻辑的推理理论一、内容提要 1、推理的形式结构 推理，证明与推理规则： 判断推理是否正确的方法：真值表法，等值演算法，主析取范式法。 常用的推理定律（规则）：P25，8个。第13页/共32页 2、自然推理系统P（1）前提引入规则；（2）结论引入规则；（3）置换规则；（4）推理定律。第14页/共32页 3、在自然推理系统P中构造证明 直接证明法：由前题出发，应用推理规则，推出结论。 附加前提法 反证法（归谬法） 第15页/共32页二、基本要求1、理解并记住推理形式结构的以下两种形式： (1) (2) 前提： 结论：2、熟练掌握判断推理是否正确的不同方法。3、牢记 P 系统中各条推理规则的内容及名称。4、熟练掌握在 P 系统中构造证明的三种方法。5、能解决实际问题。第16页/共32页三、主要题型1、用等值演算法判断推理是否正确。2、用主析取范式判断推理是否正确。3、在自然系统 P 中证明推理。4、在自然系统 P 中，构造用自然语言描述的推理。第17页/共32页知识点4 一阶逻辑的基本概念一、内容提要 1、一阶逻辑命题符号化 个体词：个体，个体常量，个体变量，个体域。 谓词：一元谓词（表示事物性质），n元谓词（表示事物之间的关系）。 量词及其分类：量词，全称量词，存在量词。 命题符号化：第18页/共32页 2、一阶逻辑公式及解释 一阶语言：字母表，项，原子公式，合式公式。 公式的解释及分类：量词的辖域，自由出现，约束出现，自由变元，约束变元，解释，公式的类型；永真式，永假式，可满足式。第19