南京邮电大学《离散数学》考试复习重点精讲..pptVIP

《离散数学》考试复习指南 南京邮电大学 计算机学院 《离散数学》课程组 1、填空题（ 10空，20分） 2、判断题（10小题，20分） 3、简答题（5小题，40分） 4、证明题（2小题，20分） 　考试题型 命题的概念、命题的表示法 五个基本联结词的含义 命题公式与命题翻译。 命题公式的真值表（万能的真值表！） 重言式与蕴含式的证明 主析取范式/主合取范式 命题公式的推理（真值表法、直接证法、间接证法（反证法+CP规则）） 　第一章 命题逻辑 　典型例题1-1 求公式(P∨?Q)∧(Q∨R)的主析取范式 　典型例题1-2 P, Q, R (P∨?Q)∧(Q∨R) F,F,F F F,F,T T F,T,F F F,T,T F T,F,F F T,F,T T T,T,F T T,T,T T 法二：真值表如下： 所以主析取范式为： (P∧Q∧R) ∨(P∧Q∧?R) ∨(P∧?Q∧R) ∨(?P∧?Q∧R) 　典型例题1-2 谓词的概念与表示 量词的含义 谓词公式与翻译 判断谓词公式的真值 谓词演算的等价式与蕴含式证明 谓词演算的推理 　第二章 谓词逻辑 第二章 作业 符号化下列命题并推证其结论：任何人如果他喜欢步行，他就不喜欢乘汽车；每一个人或者喜欢乘汽车或者喜欢骑自行车；有的人不爱骑自行车。因而有的人不爱步行。（请假设 P(x): x喜欢步行, Q(x):