




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1.1命题逻辑1.1.1命题的概念在日常生活、生产和科学研究中,经常要说到一些表示判断的语句,我们把这些语句叫做陈述语句。(5)2015年国庆是晴天。(1)中国是世界上人口最多的国家;(3)是有理数;(1)(2)陈述语句叙述的事情是真的;(3)(4)陈述语句叙述的事情是假的;(5)陈述语句叙述的事情可能在叙述的时候不能判断是真是假,但到一定的时候能判断其是真是假。(2)
;(4)
;1.1命题逻辑命题-一个能判断真假的陈述语句真命题:一个命题叙述的事情如果是真的。假命题:一个命题叙述的事情如果是假的。1.1命题逻辑例题解析解(1)x取值不确定,是一个不能确定真假的陈述句,所以不是命题.(2)此句是一个祈使句,不是陈述句,所以不是命题.(3)此句是一个陈述句,并且叙述的事情是真的,所以是命题,而且是真命题.(4)此句是一个陈述句,但叙述的事情是假的,所以是命题,而且是假命题.(5)对于该语句,若其叙述的事情为“真”,即“我正在说假话”为真,则这句话也应是假话,所以应为假命题,与假设矛盾;反之,若其叙述的事情为“假”,即“我正在说假话”为假,也就是“我正在说真话”,则这句话也应是真话,所以应为真命题,与假设矛盾.于是,这句话的真假无法确定,所以不是命题.例1判断下列语句是否是命题,为什么?若是命题,请说明是真命题还是假命题.(1);(2)不准乱扔垃圾;(3)
是的真子集;(4)4是质数;(5)我正在说假话.1.1命题逻辑总结判断一个语句是否是命题,首先要判断它是否是陈述语句,然后判断它能否辨别真假。由真推出假,又由假推出真的陈述语句“悖论”命题通常用小写字母p,q,r,……表示,,例如:p:意思是p表示命题“p:”1.1命题逻辑1.1.2逻辑联结词简单命题如果一个命题不能分解成更简单的命题,则这个命题称为简单命题(或原子命题)。复合命题由简单命题通过加了诸如“当且仅当”“且”“或”“不是”“如果……那么……”等这样的连词或否定词得到的,这些词称为联结词.用一些联结词把一些简单命题连接起来组成的新命题叫做复合命题.(1)一个整数为偶数当且仅当它能够被2整除;(2)是无理数且属于实数;(3)8或6是30的约数;(4)10不是被开方数;(5)如果10是偶数,那么5是奇数。命题的三种运算析取联结词合取联结词否定联结词1.1命题逻辑
1.合取联结词设p,q为两个命题,复合命题“p且q”(或“p与q”“p和q”)称为p与q的合取式,记为,符号称为合取联结词。例如,p:8能被2整除,q:8是有理数,则::8能被2整除且是有理数。pq000010100111p且q的真值表1.1命题逻辑例题解析例2指出下列命题的真假,并说明理由。(1)且;(2)-3<0且-3是负数;(3),且是无理数;(4)梯形是矩形,且梯形是菱形。解
(1)因为““为假,所以命题(1)为假命题。(2)因为“-3<0”为真,“-3是负数”为真,所以命题(2)为真命题。(3)因为“”为假,所以命题(3)为假.(4)因为“梯形是矩形”为假,“梯形是菱形”为假,所以命题(4)为假。1.1命题逻辑例题解析解(1)此命题可表达为“平行四边形的一组对边平行,且平行四边形的一组对边相等”,设p:平行四边形的一组对边平行,q:平行四边形的一组对边相等。则此命题可以用符号表示为。(2)此命题可表达为“x<10”且“x>6”,设p:x<10,q:x>6。则此命题可以用符号表示为。(3)此命题可表达为“5是奇数,且9是奇数”,设p:5是奇数,q:9是奇数。则此命题可以用符号表示为。例3用符号表示下列复合命题。(1)平行四边形的一组对边既平行又相等;(2);(3)5和9都是奇数;1.1命题逻辑2.析取联结词p或q的真值表设p,q为两个命题,复合命题“p或q”称为p与q的析取式,记为,符号称为析取联结词。例如,p:黄金比白银贵,q:黄金比白银便宜,则::黄金比白银贵或黄金比白银便宜。pq1111010110001.1命题逻辑例题解析例4指出下列命题的真假,并说明理由。(1)20可以被2或5整除;(2)32=4,或(-2)2=4;(3)3>2,或3=2;(4)或。解
(1)此命题可表达为“20可以被2整除,或20可以被5整除”,因为“20可以被2整除”为真,“20可以被5整除”为真,所以此命题为真。(2)因为命题“(-2)2=4”为真,所以此命题为真。(3)因为命题“3>2”为真,所以此命题为真。(4)因为命题“”为假,命题“”为假,所以此命题为假。1.1命题逻辑例题解析例5用符号表示下列复合命题。(1)实数a的绝对值等于a或-a;(2)x<3或x=5。解(1)此命题可表达为“实数a的绝对值等于a,或实数a的绝对值等于”,设p:实数a的绝对值等于a,q:实数a的绝对值等于-a,则此命题可以用符号表示为。(2)设r:x<3,s:x=5。则此命题可以用符号表示为。1.1命题逻辑3.否定联结词非p真值表设p为命题,复合命题“非p”(或“p的否定”)称为p的否定式,记为,符号称为否定联结词。例如,p:9是3的倍数,则::9不是3的倍数。p10011.1命题逻辑例题解析例6已知下列命题p,写出命题“”,并指出“”的真假。(1)p:三角形的内角和等于180°;(2)q:-5,3,8都是负数。解(1):三角形的内角和不等于180°,因为p为真,所以
为假。(2):-5,3,8不都是负数,因为q为假,所以为真。1.1命题逻辑例题解析例7写出下列陈述语句的否定形式。(1)p:方程(x+1)2=0的解是x=-1;(2)q:a,b都是1;(3)r:x>5.解(1):方程(x+1)2=0的解不是x=-1;(2):a,b不都是1;(3):x≤5.1.1命题逻辑由于陈述句q可以写成q:a是1,且b是1,所以它的否定形式为:a不是1,或b不是1.一般来说,“p且q”的否定形式是“非p或非q”,用符号表示即为:“”的否定形式是;类似地,“”的否定形式是“”。1.2条件判断1.2.1如果……,那么……联结词“如果……,那么……”可以连接简单命题p和q而构成复合命题:“如果p,那么q”.例如,设p:两个三角形相似,q:两个三角形的对应边成比例。可以用“如果……,那么……”连接成命题r:如果两个三角形相似,那么这两个三角形的对应边成比例。我们把p称为复合命题r的条件,把q称为复合命题r的结论。若命题“如果p,那么q”经过推理证明判定是真命题,即如果从条件p为真,通过推理得出q也为真,就是由p可以推出q,则记为,读作“p推出q”.换而言之,表示以p为条件、q为结论的复合命题“如果p,那么q”为真命题。当然从条件p出发,也有可能推不出结论q,即存在一个由条件判断结论的问题。1.2条件判断例题解析例1设p,q分别表示下列命题,写出复合命题r:“如果p,那么q”,并判断r的真假。(1)p:a=0且b=0,q:a2+b2=0;(2)p:x-2=0,q:(x-2)(x-5)=0;(3)p:x2=y2,q:x=y
;(4)p:x≠4,q:x2≠16。解
(1)复合命题r:如果a=0且b=0,那么a2+b2=0。如果p为真,即a=0且b=0,那么,一定有a2+b2=0,从而q为真,所以命题r为真。(2)复合命题r:如果x-2=0,那么(x-2)(x-5)=0。如果p为真,即x-2=0,则x=2,从而(x-2)(x-5)=0*(-3)=0,则q也为真,所以命题r为真。(3)复合命题r:如果x2=y2,那么x=y
。当x=1,y=-1时,x2=y2,
p为真,但是x=y不成立,从而q为假,所以命题r为假命题。(4)复合命题r:如果x≠4,那么x2≠16。当x=-4时,则p为真,但x2=(-4)2=16,即x2≠16不成立,从而q为假命题,因此命题r为假。1.2条件判断1.2.2充分条件、必要条件、充分必要条件一般地,如果从条件p为真出发,通过推理得出结论q也为真,即,我们称p是q的充分条件,同时称q是p的必要条件。如果既有,又有,记为,这时称p是q的充分必要条件,简称充要条件。1.2条件判断例题解析例2指出下列各组命题中,p是q的什么条件,q是p的什么条件?(1)p:一元二次方程的判别式Δ=b2-4ac<0,q:一元二次方程ax2+bx+c=0没有实数根;(2)p:,q:x>-3;(3)p:两个角相等,q:两个角是对顶角。1.2条件判断例题解析解
(1)由一元二次方程的求根公式知道,下述两个复合命题:①如果一元二次方程的判别式Δ=b2-4ac<0,那么一元二次方程ax2+bx+c=0没有实数根为真,即。②如果一元二次方程ax2+bx+c=0没有实数根,那么一元二次方程的判别式Δ=b2-4ac<0为真,即。因此,,即p,q互为充分必要条件。(2)如果,显然有x>-3,即。当x=5时,5大于-3,即q为真,但,即q为假,从而q不能推出p。因此,p是q的充分条件
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 汽车车载网络控制技术 试题库及答案 选择题
- 2025年上半年宣城市宣州区国投智能化科技限公司工作人员招聘易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年宜都市中路建设开发限公司公开引进急需专业技术人员易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽省马鞍山市事业单位招聘110人易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽省阜阳市住建委所属国企业招聘56人易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽省蚌埠市贫困监测信息中心选调10人易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽省芜湖县自来水厂招聘笔试易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽池州市规划勘测设计总院限公司招聘9人易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽水安建设集团股份限公司秋季校园招聘235人易考易错模拟试题(共500题)试卷后附参考答案
- 2025年上半年安徽宿州灵璧县招聘事业单位工作人员61人易考易错模拟试题(共500题)试卷后附参考答案
- YY 0790-2024血液灌流设备
- 《基于STM32的公交车智能终端设计与实现》
- DB13-T 6021.3-2024 节水型企业评价导则 第3部分:石油化工业
- 护-学-岗-签-到-簿
- 2025年日历(日程安排-可直接打印)
- 易能变频器edsv300说明书
- 人音版音乐七年级上册《父亲的草原母亲的河》课件
- 《大客户销售培训》课件
- 形象设计与化妆技巧学习通超星期末考试答案章节答案2024年
- 2024广西百色市平果市事业单位招聘工作人员历年高频难、易错点500题模拟试题附带答案详解
- 口服给药法课件
评论
0/150
提交评论