离散数学导论(精品·公开课件).pptVIP

离 散 数 学 导 论 王元元 张桂芸 科学出版社 第一、二章 2、命题及其真值的判定. 3、命题公式的符号化 1、命题逻辑的五个联结词 ┐，∨，∧，?, ?及真值表. 4、命题公式的类型：（1）永真式；（2）可满足式；（3）永假式. 很显然，永真式是可满足式，非永真式未必是永假式，而当A是永真式（永假式）时, ┐A必为永假式（永真式）. 命题公式的类型可用以下方法判定： （1）真值表的方法 （2）利用已知永真式及代入、替换原理进行等价推演的方法. （3）利用主析取范式和主合取范式的方法. 5、命题公式的范式（主析取范式、主合取范式）, 求命题公式的范式的方法: （1）利用真值表的方法. （2）等价推演的方法. 例. 命题公式的范式. 设命题公式为 (1). 求出该公式的真值表. (2). 求该公式的主析取范式和主合取范式. (3). 判断该公式的类型. 解 (1).公式A的真值表为 (2).公式A的主析取范式为： 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 A r q p (3).由真值表可知，公式A为可满足式. 主合取范式为： 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 A r q p 5、谓词公式的符号化. 准确地从语句中提取谓词，表示性质的谓语用一元谓词表示，表示关系的谓语用二元或更多元数的谓词来表示，准确地使用量词和适当的逻辑联结词把原语句表示为谓词公式. 例：设N(x)：x是自然数. I(x)：x是整数. 则语句：“所有的自然数都是整数”可表示为谓词公式： 设N(x)：x是自然数. E(x)：x是奇数. 则语句：“有些自然数是奇数”可表示为谓词公式： 当个体域D是有限集合时, 利用下列等价式可以消去谓词公式中的量词 例：设个体域D={0，1}，p(0)=1，p(1)=0，确定谓词公式 的真值 解： 第四章 例：设集合A=｛1、2、3｝, 则｛1｝∈ρ (A) （√） 设集合A=｛1、2、3｝, 则 1∈ρ (A) （×） 2、集合的运算（并、交、差、补、幂集运算）及运算律. 1、元素和集合的关系为属于关系∈，集合和集合间的关系为包含关系? 第五章 1、关系及其运算. （1）集合的笛卡儿积. （2）关系的基本运算（并、交、差、补、合成）及运算律. （3）关系的基本特性（自反、反自反、对称、反对称、传递）. 例（3）设集合A=｛0, 1, 2, 3, 4｝, R, S均为A上二元关系, 且 R=｛x, y?x+y=4｝ =｛0,4，4, 0，1, 3，3, 1，2, 2｝ S=｛x, y?y –x=1｝ =｛0, 1，1, 2，2, 3，3, 4｝那么 R?S=｛4, l，1, 4，3, 2，2, 3｝ =｛x, z?x+z=5｝ S?R=｛0, 3，1, 2，2, 1，3, 0｝ =｛x, z?x+z=3｝ 例 设A=｛1, 2, 3｝以下各关系Ri (i=1, 2, …, 8)均为A上二元关系. （1）R1=｛1,1，1,3，2,2，3,3｝是自反的，而R2=｛1,3，3,1｝不是自反的，是反自反的，存在既不自反也不反自反的二元关系，例如 R3=｛1, 1｝. 显然非空集合A上的?关系是反自反的，不是自反的. 可是值得注意的是，当 A=?时（这时A上只有一个关系?）, A上空关系既是自反的,又是反自反的, 因为A=?使两者定义的前提恒假. （2）R4=｛1, 3，3, 1，1, 2，1, 1｝不是对 称的；R5=｛1, 2，2, 1｝是对称的； R6=｛1, 2，1, 3｝是反对称的. 其实R4既不是对称的，也不是反对称的. 特别有意思的是，存在既对称又反对称的二元关系，例如A上的相等关系EA. （3）R7=｛1, 2，2, 3，1, 3，3, 3｝是传递的，但R7 –｛1, 3｝便不是传递的了. 应当注意，A上的空关系?，R8＝｛1, 2｝等是传递的，因为传递性定义的前提对它们而言均为假. 2、等价关系及偏序关系 （1）等价关系的判定 判定该关系是否满足自反性、对称性、传递性. （2）序关系的判定 判定该关系是否满足自反性、反对称性、传递性. 整数集合上的等价关系：模n的相等关系（模n的同余关系）,确定由模n的相等关系确定的等价类的元素. 第六章 1、函数的概念及运算 2、特殊函数：单射、满射、双射的判定. 例：设R是集合A={