离散数学 半开卷纸上建议整理.docVIP

PAGE PAGE 1 半开卷纸上建议整理 说明：复习资料上的证明题和计算题的第1,3,5抄在纸上，其它的例题也可以抄在纸上作为参考，其次抄一些定理和公式。 数理逻辑部分 一、命题公式的翻译 第一类是直接由原子命题或者它的非构成 1、将语句“他是学生．”翻译成命题公式． 答案：设P：他是学生，则命题公式为： P 2、将语句“今天没有人来．” 翻译成命题公式． 答案：设 P：今天有人来，则命题公式为：? P 第二类是复合命题 3、将语句“他去旅游，仅当他有时间．”翻译成命题公式． 答案：设 P：他去旅游，Q：他有时间， 则命题符号化为P ?Q 解析：只要他去旅游了，就说明他肯定有时间 二、谓词公式的翻译（不考解答题，要考可能考选择题或填空题） 1、只要是全称量词?，则两个命题函数间一定是? 2、只要是存在量词?，则两个命题函数间一定是? 例1、将语句“所有人都去工作．”翻译成谓词公式． 答案：设P(x)：x是人，Q(x)：x去工作， 则谓词公式为　　(?x)(P(x)?Q(x))． 例2、将语句“有人去上课．” 翻译成谓词公式． 答案：设P(x)：x是人，Q(x)：x去上课， 则谓词公式为(?x)(P(x) ?Q(x))　 三、全称量词和存在量词的实例化 1、设个体域D＝{1, 2, 3}， P(x)为“x小于2”，则谓词公式(?x)P(x) 的真值为 假 则谓词公式(?x)P(x) 的真值为 真 (?x)P(x) ? (1小于2) ?(2小于2) ?( 3小于2),真值为假。 (?x)P(x) ? (1小于2) ∨(2小于2) ∨( 3小于2),真值为真。 四、等价公式和真值表 重要等值式： （1）双重否定律 ??A?A （2）交换律 AúB?BúA, AùB?BùA （3）分配律 Aú(BùC)?(AúB)ù(AúC) Aù(BúC)? (AùB)ú(AùC) （4）德摩根律 ?(AúB)??A?ùB ?(AùB)??A?úB （5）零律Aú1?1, Aù0?0 （6）同一律 Aú0?A, Aù1?A （7）排中律 A?úA?1 （8）矛盾律 A?ùA?0 （9）蕴涵等值式A?B??AúB 五、重言式、矛盾式和可满足式 重言式或永真式：对命题中变元的所有指派，命题公式都为真。 矛盾式或永假式：对命题中变元的所有指派，命题公式都为假。 可满足式：对命题中变元的所有指派，命题公式有真有假。 六、范式 析取范式和主析取范式 析取范式如（┐P ∧ Q) ∨ R，（┐P ∧ Q) ∨ （Q ∧ R）这样的形式就行了，只要最外面的项与项之间是∨，且里面的项之间是∧，就行了。 但主析取范式一定是由各极小项组成，也就是说最外面的项与项之间是∨，每一小项中必须出现所有变元，且是∧，如(┐P∧Q∧R) ∨(P∧┐Q∧R) ∨(P∧Q∧┐R) 合取范式和主合取范式 合取范式如（┐P ∨ Q) ∧R，（┐P ∨ Q) ∧（Q ∨ R）这样的形式就行了，只要最外面的项与项之间是∧，且里面的项之间是∨，就行了。 但主合取范式一定是由各极大项组成，也就是说最外面的项与项之间是∧，每一小项中必须出现所有变元，且是∨，如(┐P∨Q∨R) ∧(P∨┐Q∨R) ∧(P∨Q∨┐R) 七、自由变元和约束变元 考辖域、约束出现和自由出现的概念 集合论部分 一、?是元素和集合之间的关系，而?是集合和集合之间的关系。 例1．若集合A＝{ a，{a}，{1，2}}，成立的是{a，{a}}?A，a?A，{a}?A，{a}?A 二、幂集 定义：若集合A为{a,b}，它的子集有?、{a}、{b}、{a,b}，则它的幂集为{?,{a},{b},{a,b}}，是所有子集为元素的集合。 A是n元集，则幂集P(A )有2 n个元素。如在上述集合中元素个数为2，其幂集的元素个数,22＝4， 三、集合的运算 并A∪B = { x | x?A ú x?B } 交A∩B = { x | x?A ù x?B } 相对补A-B = { x | x?A ù x?B } 对称差A?B = (A-B) ∪(B-A) = (A∪B)-(A∩B) 绝对补 ~A = E-A= { x | x?A } 四、二元关系的概念 二元关系通俗的讲就是从二个集合中分别取出一个元素，构成的有序对的集合。 例1：设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系，则R的有序对集合为{2, 2，2, 3，3, 2}，3, 3}　． 这二个集合也可以是同一个集合，这样的话，有序对的两个元素都从该集合中取。 例2．设集合A={1, 2, 3}，R是A上的