离散数学复习2013考试.docVIP

参考书 《离散数学》 　　 主 编：贲可荣 袁景凌 出版社：清华大学出版社 《离散数学》 　 　 主 编：耿素云 屈婉玲 出版社：高等教育出版社 （一）知识要点 1．数理逻辑 命题逻辑：逻辑与证明，命题和命题连接词，命题公式，命题公式的等值关系和蕴涵关系，范式，命题演算的推理理论。 谓词逻辑：谓词、个体和量词，谓词演算公式的取值。 命题公式的类型（永真，可满足，永假）？能够判断公式的真值？重言式的判定? 设p,r为真命题，q,s为假命题，则复合命题(p→q) ? (r→s)的真值？ (P→(Q→R))→((P→Q)→(P→R))是否为重言式？由真值表可得。 命题演算的基本公式（在集合论，布尔代数中都有应用？） 等幂律，交换律，结合律，同一律， 零律，分配律，吸收律，双重否定律， 排中律 ，矛盾律，德 摩根律，补交转换律 范式的表示？如何化主范式？主析取（主合取范式）的唯一性？ 谓词的符号化的几种典型形式？（记住几个典型例题） 所有的人都是会死的 有的人活100岁 没有不犯错误的人 在北京生活的不一定是北京人 2．集合论 集合：集合的基本概念，集合的运算，有序对与笛卡儿积，包含排斥原理。 集合的定义？属于和包含？注意空集的定义和性质？ 集合的运算？集合的化简？幂集？ 关系：关系及其表示，关系的性