




已阅读5页,还剩7页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
命题及符号化,一、命题及相关概念,命题:称能判断真假但不能既真又假的陈述句为命题。,注:1.命题是陈述句,2.可判断性,3.真值唯一 真、假、正确、错误、T、F,例1.判断下列语句是否为命题,1.中国人民是伟大的 7.天气多好啊!,2.雪是黑的 8.我正在说谎,3. 1+101=110 9.我学英语或日语,4.别的星球上有生物 10.如果天气好,那么我要去旅游,5.全体立正 11.x大于y,6.明天是否开会 12. 3+2-5,命题的表示:,命题的符号化:,原子(简单)命题:,例2.将下面这段话出现的原子命题符号化,并指出其真值,并写出这段话,分子(复合)命题:,是有理数是不对的,2是素偶数;2或4是素数。如果2是素数,,那么3也是素数,2是素数当且仅当3也是素数。,二、命题联接词,1.否定式和否定联接词,定义1.设,为命题,复合命题“非,(或”,的否定)称为,的否定式,记作,真值表:,自然语言:不、不是、否、非等,真值表:,规定:,自然语言:和、与、并且等,注:不是一切的”和“与”与“都表示复合命题中的合取。,真值表:,规定:,自然语言:或,注:不是一切的”或”都表示复合命题中的析取。,排斥或:,真值表:,规定:,例3.将下列命题符号化,并指出其真值,1.如果3+3=6,则雪是黑的 2.如果3+3=6,则雪不是黑的,真值表:,规定:,练习:下面命题中出现的a是一个给定的正整数:,1.只要a能被4整除,则a一定能被2整除;,2. a能被4整除,仅当a能被2整除;,3.除非a能被2整除,a才能被4整除;,4.除非a能被2整除,否则a不能被4整除;,5.只有a能被2整除,a才能被4整除;,6.只有a能被4整除,a才能被2整除;,真值表:,规定:,自然语言:充分必要条件,当且仅当,.,反之,例4.将下列命题符号化,并讨论真值,1.2+3=5的充要条件是3是素数,2.若两圆面积相等,则半径相等,反之亦然,3. 3是素数当且仅当美国位于亚洲,4.当小丽心情愉快时,她唱歌,反之亦然,联接词优先
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 培训文员考试题库及答案
- 森林火灾逃生知识培训课件
- 桶装纯净水知识培训
- 2025年面试技巧与题库解析企业产品经理岗位招聘备考宝典
- 2025年大数据工程师招考笔试练习题及解析手册
- 2025年家庭照护者、健康照护师岗位专业技能资格知识考试题库与答案
- 2025年外贸业务专员高级英语面试题解析
- 2025年教育心理学教师招聘笔试模拟题及答案解析
- 湖南省衡阳市重点中学2026届化学高二第一学期期中调研模拟试题含解析
- 2025年篮球理论考试题及答案
- 壁挂炉购销合同-合同范本
- 陈腐垃圾施工方案
- 渤海大学《软件工程》2022-2023学年第一学期期末试卷
- 税务会计岗位招聘笔试题及解答(某大型国企)2024年
- ICD-10疾病编码完整版
- 消防设备设施操作讲解培训讲课文档
- 内分泌科医疗管理制度
- 临床开展十二项细胞因子检测临床意义
- FlowmasterV7中文技术手册
- 房屋承包出租合同
- 石油化学工业的发展历程与前景
评论
0/150
提交评论