离散数学-数理逻辑课件.pptVIP

离 散 数 学;教材与参考资料;课程主要内容;目的、意义和要求;学习要求;学习考查方法;第一篇 数理逻辑第1章 导 论;（1）定义;（2）方法;（3）内容;（4）分支;§1.2 数理逻辑的发展简史;起源阶段;创立阶段;完善阶段;§1.3 数理逻辑的地位和作用;第2章 命题逻辑;2.1 命题逻辑基本概念 ;§2.1.1 命题与联结词; 注意：（1） 感叹句、祈使句、疑问句都不是命题 （2）陈述句中的悖论以及判断结果不唯一确定的也不是命题;中国的首都在北京。 1+1=10 请开门！ x+y=1 明年10月1日是晴天。 本命题是假的。 李红既学英语又学日语。;（2）几个基本概念 真命题与假命题 命题变元与命题常元;例2;（1）简单命题与复合命题 （2）联结词的定义 （3）联结词的优先级;（1）简单命题与复合命题;（2）联结词的定义;合取词（ ∧ ）;例3 将下列命题符号化. ;析取词（∨）;相容或与排斥或;例4 将下列命题符号化，并指出其真值;蕴涵词（ ?）;蕴涵词的其它表述方式;例5 设p:天冷, q:小王穿羽绒服，将下列命题符号化 ;等价词（ ? ）;例6 求下列复合命题的真值：;分析找出 简单命题;分析找出 简单命题;例8 试将下列命题符号化： 如果你不看电影，那么我也不看电影 小王一边吃饭，一边看书