x本科数理逻辑命题31节.pptVIP

1、课程意义： 离散数学是现代数学的一个分支 随计算机的发展而出现的分支 研究方法与以实数连续性为基础的微积分形成鲜明对照 2.目的 （1）为后继课程的内容作必要的数学准备： 数据结构、数字逻辑（数字电路）、操作系统、编译原理的等 （2）培养抽象思维的逻辑推理能力 ---这是创新能力的主要基础 ---提高认识能力、处理问题的概括能力，解决问题的能力 均可表现为以数字 ”0” 和 ”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）期末考试 （考勤、作业30％，期末考试成绩70％） 答疑时间：周一下午3点－6点 地点：二层219房间 第一部分 数理逻辑 逻辑学：研究人的思维形式规律的科学 根据研究的对象和方法分为三类 1.辩证逻辑---认识论（马克思主义） 2.形式逻辑--- 研究人的思维逻辑的形式和规律（古希腊-亚里斯多德） 3.数理逻辑---采用数学方法来研究形式逻辑中的推理规律（符号逻辑） 数理逻辑： 1.形式逻辑：思维的形式结构--包括了概念，判断和推理之间的结构和联系 2.在数理逻辑中的表示： （1）概念：是思维的基本单位(事物的性质属性） （2）判断：对事物是否具有的属性进行肯定或者否定—用字母表示 事物之间的关系用运算定义—用运算符号（连接词）表示 （3）推理：有一个或多个判断推出另一判断的思维形式 （4）符号逻辑：引入一套符号体系的方法来从量的方向研究思维规律 主要的内容：命题逻辑、谓词逻辑、证明论，模型论，递归函数轮，公理化集合论等 我们仅学习其中的命题逻辑，谓词逻辑是其中最基本的部分 例、 判断下列句子是否为命题 (1) 太阳是圆的； (2) 北京是中国的首都； (3) x + y 0 ； (4) 充分大的偶数可表示为 两个素数之和(哥德巴赫猜想)； (5) 2100年元旦是晴天； (6) 你是要出去吗? 第一章 命题逻辑基本概念 一、命题 1、命题定义：具有真假意义的陈述句被称为命题 注1、必须是陈述句（感叹句、疑问句、祈使句均不是命题） 注2、有确定的真假值 真假意义必须二者必居其一（悖论） (7) 请把门关上； (8) 今天的天气真好啊! (9) 1+1=10 ； （10）火星上有生物； （11） 这个语句是假的； 2、命题的真值 命题若为真，称命题的真值为真（可记为 1 或 T） 命题若为假，称命题的真值为假（可记为 0 或 F） 3. 命题的符号化 命题的实质是具有真值 将命题的实质抽象出来(内容隐去）用字母表示一个具体的命题 对于内容不相关的问题均可以进行讨论（只要具有真值） 例：2既是偶数又是素数； 如果周末天气晴朗，则我们到郊外去旅游； 雪是白的当且仅当 1+1≠3； 4. 简单命题与复合命题 若命题不能分解为更简单的陈述句，称为原子（简单）命题 注：复合命题要能分解为若干具体的简单命题的组合 李丽和王丽是同学； 5. 命题变元 用一个字母表示一个具体命题（具有真值）称为命题常元 用一个字母表示一个抽象的命题（无确定的真值）称为命题变元。 例 P: 我是老师 0（f,F）, 1（t,T） 也称为常元 当p没有特指为一个命题时，p为命题变元。 6. 命题变元的赋值（命题变元的值域） 称为对命题变元赋