离散数学习题课chap2命题逻辑.pdf

习题课－命题逻辑(1) （命题的相关概念，命题符号化，真值表，公式类型） 习题课－命题逻辑(2) （命题公式等值，范式） 习题课－命题逻辑(3) （推理） 1 习题课－命题逻辑(1) 主要内容 命题、真值、简单命题与复合命题、命题 符号化 联结词¬, ∧, ∨, →, ↔及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 2 习题课-命题逻辑(1) 基本要求 深刻理解各联结词的逻辑关系, 熟练地将 命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可 满足式等概念 熟练地求公式的真值表，并用它求公式的 成真赋值与成假赋值及判断公式类型 3 练习1 判断下列语句是否为命题： 1. 十是一个整数. 是 2. 北京是一个村庄. 是 3. 请勿吸烟! 否 4. 雪是黑色的. 是 5. 今天是7号. 是 6. 1+101=110. 是 7. 您吃饭了吗? 否 8. 我学英语或法语. 是 9. 如果天气好,我就去散步. 是 10. 我不给所有自己替自己理发的人理发，但却给 所有自己不替自己理发的人理发。 否 4 练习2 (1) 豆沙包是由面粉和红小豆做成的. 简单命题 (2) 苹果树和梨树都是落叶乔木. 合取式 (3) 王小红或李大明是物理组成员. 析取式 (4) 王小红或李大明中的一人是物理组成员. 排斥或 设p : 交通阻塞，q: 他迟到 (5) 由于交通阻塞，他迟到了.