10-3-1数理逻辑-命题1.pptVIP

1、课程意义： 离散数学是现代数学的一个分支 随计算机的发展而出现的分支 研究方法与以实数连续性为基础的微积分形成鲜明对照 3、 主要内容 学习的主要内容： 1）数理逻辑－ （命题逻辑）1,2,3章 (一阶逻辑) 4，5章 2）集合论 6，7，8，9 章 3）代数结构 10、11章 4）图论 14，15，16 章 参考书： 离散数学及其应用 傅彦编 电子出版社 离散数学 左孝凌等编 上海科技文献出版社 4、 学习方法 （1）概念的基本术语，领会准确清晰 （2）定理的条件结论明确 （3）演绎，推理，严谨 （4）听课认真 、作业自己完成、有问题及时问。 （5）期末考试 （考勤、作业40％，期末考试成绩60％） 答疑时间：周一下午3点－6点 地点：二层219房间 例1、 判断下列句子是否为命题， (1) 4是素数． (2) 是无理数． (3) x大于 y (4) 充分大的偶数可表示为两个素数之和(哥德巴赫猜想)． (5) 2009年元旦是晴天． (6) n大于3 吗? (7) 请不要吸烟! (8) 这朵花真美丽啊! (9) 我正在说假话． （10）火星上有生物 例2 判断下例是否为复合命题 1、张辉与王丽都是三好生． 2、张辉与王丽是同学． 3、8是偶数的充要条件是8能被3 整除。 4、他是山东人或东北人。 否定联接词定义： 设P为命题，规定“P是不对的” 称为对P的否定 记为 ┐P。 规定 ┐P为真当且仅当P为假 如 p: 6是素数 ┐ p: 6 不是素数 合取联接词定义： 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词。 规定p∧q为真当且仅当p与q同时为真。 例3 将下列命题符号化． (1)吴颖既用功又聪明． (2)吴颖不仅用功而且聪明． p：吴颖用功． q：吴颖聪明． （1）、(2) 均可表示为 p ∧ q (3)吴颖虽然聪明，但不用功． p ∧ ┓q (4)张辉与王丽都是三好生． r：张辉是三好生． s：王丽是三好生． r ∧ s (5)张辉与王丽是同学． t：张辉与王丽是同学． 析取联接词定义： 设Ｐ，Ｑ为命题，称“Ｐ或Ｑ”为Ｐ，Ｑ的的析取，记作Ｐ∨Ｑ 　　规定：ＰＶＱ为假，当且仅当Ｐ、Ｑ同时为假 例4 将下列命题符号化． (1)张晓静爱唱歌或爱听音乐． p:张晓静爱唱歌 q:张晓静爱听音乐 相容或：可用∨表示为 p ∨ q (2)张晓静是江西人或安徽人． 排斥或：可表示为 （ p ∧┓ q） ∨ （ ┓p ∧ q） (3)张晓静只能挑选202或203房间． 排斥或 ４．蕴涵联结词 “→” （１）定义：设Ｐ，Ｑ为命题，称“如果Ｐ，则Ｑ”为Ｐ，Ｑ的蕴涵式（条件命题），记作Ｐ→ Q。 规定：Ｐ→ Q真值为假，当且仅当P为真时Q为假， 并称P为Ｐ→ Q的前提（前件），Q为Ｐ→ Q 的结论（后件）。 例5 将下列命题符号化，并指出各复合命题的真值： (1)如果3+3 = 6，则雪是白色的． (2)如果3+3 ≠ 6，则雪是白色的． (3)如果3+3 = 6，则雪不是白色的． (4)如果3+3≠6，则雪不是白色的． 令p：3+3= 6 （p 的真值为1） q：雪是白色的（q的真值为1） 两个命题虽无逻辑上的内在联系，但可用蕴涵式表示 （1）表示为p → q （2）表示为 ┓p → q （3）表示为 p → ┓q （4）表示为 ┓ p → ┓ q 真值为 1 1 0 1 以下命题中出现的a是给定的一个正整数： 令 r：a能被4整除． S: a能被2整除． (5)只要a能被4整除，则a一定能被2整除． (6)a被4整除，仅当a能被2整除． (7)除非a能被2整除，a才能被4整除． (8)除非a能被2整除，否则a不能被4整除． (9)只有a能被2整除，a才能被4整除． (10)只有