离散数学总复习解释.pptVIP

第1章 命题逻辑 1、命题及其表示 命题的概念：能够判断真假的陈述句。 2、逻辑联结词 否定、合取、析取、条件、双条件联结词 3、命题公式与翻译 3.1 命题公式的定义 3.2 命题的符号化： 将一个文字描述的命题写成相应命题公式的形式。 1、理解命题公式的概念，能正确判断命题公式的类型。 2、掌握常见的逻辑联结词及其定义。 3、理解命题公式的归纳定义，能正确将一个文字描述的命题翻译成命题公式。 4、能正确列出命题公式的真值表，掌握等价公式的证法（等值演算法），能灵活运用等价公式解决实际逻辑问题。 5、掌握命题公式的分类。 6、掌握蕴含式的证法：真值表法、等值演算法、分析法。 7、掌握主析取范式的概念及其求法（真值表法与等值演法）。 8、推理理论：掌握构造证明法证明逻辑推理题。 3）在一起凶杀案中，公安人员掌握了如下情况： （1）甲或乙是凶手； （2）如果甲是凶手，那么作案地点不在办公室； （3）如果丙的证词真实，则办公室里有枪声； （4）只有作案地点在办公室，丙的证词才不真实。 公安人员因此得出: 如果办公室里无枪声, 那么凶手是乙不是甲. 问：此推理是否有效？ 7）.李明或王平参加这场排球賽，那么红队一定赢这场球赛，如果红队赢了这场球赛，红队将参加全校冠亚军决赛。但红队未能进入全校决赛，故此李明或王平没有参加这场排球赛。 8）.如果乙不参加篮球赛，那么甲就不参加；如