已阅读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年市交通安全隐患排查整治工作专题会议上的讲话
- 2025年网络营销服务行业分析报告及未来发展趋势预测
- 2025年异苯丙法装置行业分析报告及未来发展趋势预测
- 2025年增稳器行业分析报告及未来发展趋势预测
- 2025年排水管行业分析报告及未来发展趋势预测
- 2025年圆片芯片行业分析报告及未来发展趋势预测
- 少儿军兵种知识课件
- 妊娠合并乙肝护理查房
- 2025春季学期国开电大专科《经济学基础》一平台在线形考(形考任务1至4)试题及答案
- 《社区护理》高等医学院校护理专业全套教学课件
- 全国职业技能竞赛焊工理论试题库
- 塞尔达玩家测试题及答案
- DB42∕T609-2010 湖北省主要造林树种苗木质量分级
- 成人脓毒症患者医学营养治疗要点指南解读(2025年)解读课件
- 黑龙江省新时代高中教育联合体2024-2025学年高一上学期期末联合考试地理试卷(解析版)
- 中药入库验收(中药储存与养护课件)
- 输变电工程监督检查标准化清单-质监站检查
评论
0/150
提交评论