版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1.3.1 量词量词思考:下列语句是命题吗?下列语句是命题吗?(1)与与(3),(2)与与(4)之间有什么关系?之间有什么关系?(1)x3;(2)2x+1是整数;是整数;(3)对所有的对所有的xR,x3;(4)对任意一个对任意一个xZ,2x+1是整数是整数。语句语句(1)(2)(1)(2)不能判断真假,不是命题;不能判断真假,不是命题;语句语句(3)(4)(3)(4)可以判断真假,是命题。可以判断真假,是命题。全称量词、全称命题定义:全称量词、全称命题定义:短语短语“所有的所有的”“”“任意一个任意一个”在逻辑中通常叫做全称量词,并在逻辑中通常叫做全称量词,并用符号用符号“ ”表示。表示。含有
2、全称量词的命题,叫做全称命题。含有全称量词的命题,叫做全称命题。常见的全称量词还有常见的全称量词还有“一切一切” “每一个每一个” “任给任给” “所有的所有的”等等 。 全称命题举例:全称命题举例:全称命题符号记法:全称命题符号记法:命题:对任意的nZ,2n+1是奇数; 所有的正方形都是矩形。 通常,将含有变量通常,将含有变量x的语句用的语句用p(x), q(x), r(x),表示,变量表示,变量x的取值范围用的取值范围用M表示,那么,表示,那么,( ),xMp x ,全称命题全称命题“对对M中任意一个中任意一个x,有,有p(x)成立成立 ”可用符号简记为:可用符号简记为:读作读作“对任意对
3、任意x属于属于M,有,有p(x)成立成立”。解:解:(1)假命题;)假命题;例例1 判断下列全称命题的真假:判断下列全称命题的真假:(1)所有的素数都是奇数;所有的素数都是奇数;(2) (3)对每一个无理数)对每一个无理数x,x2也是无理数。也是无理数。2,1 1;xR x 小小 结:结: 判断全称命题 xM,p(x)是真命题的方法: 判断全称命题 xM,p(x)是假命题的方法:需要对集合需要对集合M中每个元素中每个元素x,证明,证明p(x)成立成立只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得,使得p(x0)不成立即可不成立即可 (举反例)(举反例)(2)真命题;)真命题;(3
4、)假命题。)假命题。练习:练习:1 判断下列全称命题的真假:判断下列全称命题的真假:(1)每个指数函数都是单调函数;)每个指数函数都是单调函数;(2)任何实数都有算术平方根)任何实数都有算术平方根;(3)2 |xx xx 是无理数 , 是无理数。思考:下列语句是命题吗?下列语句是命题吗?(1)与与(3),(2)与与(4)之间有什么关系?之间有什么关系?(1)2x+1=3;(2)x能被能被2和和3整除;整除;(3)存在一个存在一个x0R,使,使2x+1=3;(4)至少有一个至少有一个x0Z,x能被能被2和和3整除。整除。语句语句(1)(2)(1)(2)不能判断真假,不是命题;不能判断真假,不是命
5、题;语句语句(3)(4)(3)(4)可以判断真假,是命题。可以判断真假,是命题。存在量词、特称命题定义:存在量词、特称命题定义:短语短语“存在一个存在一个”“”“至少有一个至少有一个”在逻辑中通常叫做存在量在逻辑中通常叫做存在量词,并用符号词,并用符号“ ”表示。表示。含有存在量词的命题,叫做特称命题。含有存在量词的命题,叫做特称命题。常见的存在量词还有常见的存在量词还有“有些有些”“”“有一个有一个”“对某个对某个”“”“有的有的”等等 。 特称命题举例:特称命题举例:特称命题符号记法:特称命题符号记法:命题:有的平行四边形是菱形;命题:有的平行四边形是菱形; 有一个素数不是奇数。有一个素数
6、不是奇数。 通常,将含有变量通常,将含有变量x的语句用的语句用p(x), q(x), r(x),表示,变量表示,变量x的取值范围用的取值范围用M表示,那么,表示,那么,00(),xMp x,特称命题特称命题“存在存在M中的一个中的一个x0,使,使p(x0)成立成立 ”可用符号简记为:可用符号简记为:读作读作“存在一个存在一个x0属于属于M,使,使p(x0)成立成立”。解:解:(1)假命题;)假命题; (2)假命题;)假命题; (3)真命题。)真命题。例例2 判断下列特称命题的真假:判断下列特称命题的真假:(1)有一个实数)有一个实数x0,使,使x02+2x0+3=0;(2)存在两个相交平面垂直
7、于同一条直线;)存在两个相交平面垂直于同一条直线; (3)有些整数只有两个正因数。)有些整数只有两个正因数。小小 结:结:00判断特称命题 xM,p(x )是真命题的方法:00判断特称命题 xM,p(x )是假命题的方法:需要证明集合需要证明集合M中,使中,使p(x)成立的元素成立的元素x不存在。不存在。只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得,使得p(x0) 成立即可成立即可 (举例证明)(举例证明)练练 习:习:2 判断下列特称命题的真假:判断下列特称命题的真假:(1)(2)至少有一个整数,它既不是合数,也不是素数;)至少有一个整数,它既不是合数,也不是素数;(3)20
8、0 |xx xx是无理数 ,是无理数。00,0;xR x解:解:(1)真命题;)真命题; (2)真命题;)真命题;(3)真命题。)真命题。练习练习 (1)存在这样的实数它的平方等于它本身。)存在这样的实数它的平方等于它本身。 (2)任意实数乘以)任意实数乘以-1都等于它的相反数;都等于它的相反数; (3)存在实数)存在实数x,x3x2; 3、用符号、用符号“ ”与与“ ”表达下列命题:表达下列命题:小结:2 2、全称命题的符号记法。、全称命题的符号记法。 1、全称量词、全称命题的定义。、全称量词、全称命题的定义。 3、判断全称命题真假性的方法。、判断全称命题真假性的方法。 4、存在量词、特称命
9、题的定义。、存在量词、特称命题的定义。5、特称命题的符号记法。、特称命题的符号记法。 6、判断特称命题真假性的方法。、判断特称命题真假性的方法。 同一全称命题、特称命题,由于自然语言同一全称命题、特称命题,由于自然语言的不同,可能有不同的表述方法:的不同,可能有不同的表述方法:命题命题 全称命题全称命题特称命题特称命题所有的所有的xM,p(x)成立成立对一切对一切xM,p(x)成立成立对每一个对每一个xM,p(x)成成 立立任选一个任选一个xM,p(x)成成 立立凡凡xM,都有,都有p(x)成立成立存在存在x0M,使,使p(x)成立成立至少有一个至少有一个x0M,使,使 p(x)成立成立对有些对有些x0M,使,使p(x)成成 立立对某个对某个x0M,使,使p(x)成成 立立有一个有一个x0M,使,使p(x)成成 立立,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024个人的简单借款合同
- 国际贸易协议样本
- 厂房租赁合同范例
- 特色农产品胡柚购销合同法律问题探讨
- 共同投资开设武术馆协议
- 标准入职协议书范例
- 旅行社与导游劳动合同范本
- 2023年高考地理第一次模拟考试卷-(湖南A卷)(全解全析)
- 房地产代理合同模板
- 2024年建筑渣土运输合同范文
- 企业微信指导手册管理员版
- 孙子兵法中的思维智慧智慧树知到期末考试答案2024年
- 临床试验方案偏离处理流程
- 乳腺癌一病一品
- JTT327-2016 公路桥梁伸缩装置通用技术条件
- 定量化学分析实验室的整理、整顿、清扫
- 酒精戒断综合症的护理
- 《美容营养学》课件-第八章 第二节 美胸丰胸营养与膳食
- 校车驾驶员安全教育培训
- 2024高考英语应用文写作真题手把手:2021新高考英语分析素材
- 校园普及心肺复苏课件
评论
0/150
提交评论