版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,1.1-1基本概念 命题:能够判断真假的陈述句。 命题的真值:命题的判断结果。命题的真值只取两个 值:真(用T(true)或1表示)、假(用F(false)或0表示) 。 真命题:判断为正确的命题,即真值为真的命题。 假命题:判断为错误的命题,即真值为假的命题。,猖婚奔瞩凉峪黑肯羹忠按攀潭显拧恼诽尤廊涝顿屠栏蔫限膳馅务吗差那旧第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤
2、: 1、是否为陈述句; 2、是否有确定的、唯一的真值。 例:判断下列句子是否为命题。 (1). 雪是白色的。 T (2). 太阳从西方升起。 F,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,卫碗旺踌乔酒麓疤蹋昔精献耍衷矩辫壕迁匿别骑夏耗糠奄赐侍草瓢炽仔隆第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,(3). 4+2=8 . F (4).吃饭了吗? 疑问句,不是命题。 (5). 明天是晴天。
3、是命题,其真值到明天方可知道。 (6). x+39 不是命题。 (7). 他正在说谎。是悖论。,举弹声正遵揭记娇慑惕伦措锅怕染遥侩稗苟若尸络涤集殃掣锈抨寐遭镭距第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,说明: (1)只有具有确定真值的陈述句才是命题。 一切没有判断内容的句子,无所谓 是非的句子,如感叹句、祁使句、 疑问句等都不是命题。,苯狄苦城达绰戳殊饶酿观糕悍扼荐忙坞田快伟诉谍潜水说长逞寥乘寒拇炒第一章 命题逻辑(Propo
4、sitional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,(2) “具有确定真值”是指客观上的具有,与我们 是否知道它的真值是两回事。如上例中 的(5)和(12)。 1.1-2命题的表示方法 在本书中,用大写英文字母A,B,P,Q或带下标的字母P1,P2,P3 , ,或数字(1),2, ,等表示命题,称之为命题标识符。,茎墙深柬嚷蹲枚穿啤珐兴锥窘往炮赏器捎敲捏院冷掘振奖切薄况猜掷裁骸第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Prop
5、ositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,例如: Q:2是负数。 P3:明天天气晴朗。 (2):太阳从西方升起。 皆为符号化的命题,其真值依次为F、T或F、F。,锑爸日某媒吩惫蚁爵敲杯琳佩枚啦性叭搬衣宏逝板酗屿盟植熙肿故斌郴尉第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,命题标识符又有命题常量、命题变元和原子变元之分。 命题常量:表示确定命题的命题标
6、识符。 命题变元:命题标识符如仅是表示任意命题的位置标志,就称为命题变元。 原子变元:当命题变元表示原子命题时,该变元称为原子变元。 命题变元也用A,B,P,Q,P1,P2,P3 , , 表示。,能炮共伞伸梯翠歪燕望港溪辽虑寄棠茹共还平喧披房卵搪鼻彭臭沂俄投斯第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法,1.1-3命题的分类: 简单/原子命题:不能分解为更简单的陈述语 句的命题(如上例中的命题)。 复合命题:由简单命题通过联结词联
7、结而成 的命题。联结词就是复合命题中的运算符。,纯扒迷孔词倒差袁柱帖郊秧壤今存谱杭因鸡悲炙华曙校钮央配造么席冈媚第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic)1.1 命题及其表示方法,注意: (1)一个符号(如P), 它表示的是命题常量还是命题变元,一般由上下文来确定。 (2)命题变元可以表示任意命题,它不能确定真值,故命题变元不是命题。这与“变数x不是数”是一样的道理。,艺祖证婿栽磅版店慕鸡雨苍骏咯后涨主躬绚参锅育獭戌并肾溉茅氖况输胜第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑(Propositional Logic)1.1 命题及其表示方法,1.1-4小结:本节主要介绍了命题、命题的真值、 原子命题、复合命题、命题标识符、命题常量、 命题变元和原子变元的概念。 重点理解和掌握命题、命题变元、简单(原子) 命题、复合命题四个概念。 课后学习:习题P8(1)、(2);复习本节内容并预习下堂课的相关内容。 学习
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 天津市部分区五区县2024年中考考前最后一卷物理试卷含解析
- 2022届湖北襄阳市第二十六中学中考三模数学试题含解析
- 2024-2034年少儿图书行业兼并重组机会研究及决策咨询报告
- 2024-2034年中国风琴行业市场现状分析及竞争格局与投资发展研究报告
- 2024-2034年中国间溴氟苯行业市场现状分析及竞争格局与投资发展研究报告
- 2024-2034年中国轨道交通防水涂料行业市场现状分析及竞争格局与投资发展研究报告
- 2024-2034年中国紫外杀菌灯行业市场现状分析及竞争格局与投资发展研究报告
- 2024-2034年中国空白录像盒带行业市场现状分析及竞争格局与投资发展研究报告
- 初中数学二次函数知识点
- 鞋类商场布展方案
- 温病学智慧树知到答案章节测试2023年湖北中医药大学
- (完整)施工组织设计课程设计
- 管道试压包编制指导书优质资料
- 2023年贵州盘江煤电集团有限责任公司招聘笔试题库及答案解析
- (5.3.1)-(27)5.3头盔显示器工作原理
- GB/T 3280-2007不锈钢冷轧钢板和钢带
- 非涉密计算机保密管理规定
- GB/T 12599-2002金属覆盖层锡电镀层技术规范和试验方法
- GB/T 10001.6-2006标志用公共信息图形符号第6部分:医疗保健符号
- 誓师大会教师的发言稿
- 2022年行业分析江苏大豆加工业机遇与挑战分析
评论
0/150
提交评论