第一章命题与命题公式.docx
《第一章命题与命题公式.docx》由会员分享,可在线阅读,更多相关《第一章命题与命题公式.docx(12页珍藏版)》请在第一文库网上搜索。
1、第一章命题与命题公式第01讲命题与命题联结词(一)1.1 命题与命题联结词选择题考点1.1.1 命题与命题的表示推理:由一个或几个已知的前提,推导出一个未知结论的思维过程。真值:表达这些前提的陈述句是否成立的一个属性。当陈述句成立时,其真值为真,表示为T(TrUe)。例:地球是行星。当陈述句不成立时,其真值为假,表示为F(Fa1Se)。例:2是无理数。命题:具有唯一真值的陈述句称作命作,也称为语句。*疑问句、句叹句、祈使句等都不能构成命题。真值为真的命题一真血题真值为假的命题一假命题例:判断下列句子中哪些构成命题。8不是素数;雪是黑的;到2049年世界人口将超过90亿;喜马拉雅山好高啊!Xx+
2、1=2X总结:.判断命题的两个条件语句本身是个陈述句;它有唯一的真值。命题的表示命题可用大小写英文字母或字母加数字的形式来表示。例:P或p;P1或Ch命题为真时,其真值用T或“1”表示。命题为假时,其真值用“F”或“0”表示。例:P:所有的素数都是奇数。真值为FQ:6是一个合数。真值为T【单选题】下列句子不是命题的是()。A.中华人民共和国的首都是北京B.张三是学生C.雪是黑色的D.太好了正确答案D答案解析D选项不是陈述句,故不是命题。参见教材PI8。1.1.2 复合命题与联结词原子命题/简单命题:不能再分解的命的。例:张三是学生。8不是素数。复合命题:由原子命题通过联结词联结而成的命题。例:
3、如果今年有假期,我将去欧洲旅游。尽管我在减肥,但是我还是想吃饭。【单选题】下列语句是原子命题的为()。A.xyxyB.请给我来点掌声吧C.小明既爱唱歌又爱跳舞D.火星上有生物正确答案D答案解析JA、B选项不符合命题要求;C选项为复合命题,故选D。参见教材P19。数理逻辑中常用的联结词1 .否定设P为命题,P的否定是一个复合命题,记作注。符号褥作否定联结词。命题r)读作“非p”。例:P:今天是星期五。-P:今天不是星期五。*真值表:复合命题的真值依命题中所含各原子命题的真值来确定,可用一张表来表示,这样的表称为真值表。若P为,P为F;若P为尸,贝卜P为7。的定义PPTFFT2 .合取设RQ为两个
4、命题,尸和Q的合取是一个复合命题,记作PAQ。符号称为合取联结词。(表示:P例:P:2是偶数。Qi2是素数。P/Q:2既是偶数,也是素数。【注意】1 .有时表示并列的“与”“和”不对应于合取。例:“我与王强是同学”中的“与”连接的是并列的主语,而非两个原子命题。2 .复合命题中PAQ中的两个原子命题可以互换位置,即PAQ与QP的含义是相同的,真值表也一样。3 .复合命题所含的多个原子命题之间可以没有逻辑关联性。4 .“合取”可将两个互为否定的命题联结在一起,例:PA-Po的定义举例这套家具是明代的这套家具是檀木的这套家具是明代的,并且是檀木的TT9TF?FT?FF9当且仅当尸、Q同时为T时/A
5、Q为工,其余情况PAQ为八的定义PQPAQTTTTFFFTFFFF5 .析取2Sr例:王小林是运动会的跳高或100米短跑的冠军。设P:王小林是运动会的跳高冠军。Q.王小林是运动会的100米短跑冠军。*此命题表达的是王小林或者是跳高冠军,或者是短跑冠军,也有可能是两个项目的冠军。可用PVQ表示。一一“同或”例:王小林今天或者去美国,或者去欧洲。设P:王小林今天去美国。Q:王小林今天去欧洲。*此命题表示的是王小林只能去一个地方。不可用PVQ表示。一一“异或”同或:“或”表示的是“相容”的含义,即两者并不互相排斥,可能同时成立。可以用V表示。异或:“或”表示的是“异或,即复合命题中的两个原子命题不会
6、同时成立,它们之间具有排斥性。可表示为(PAP)VCPAQ)OV的定义一一举例这套家具是明代的这套家具是檀木的这套家具是明代的,或者是檀木的TT?TE2FT9FF9当且仅当P、Q同时为尸时,PVQ的真值为凡其余情况PVQ的真值为T。V的定义PQPVQTTTTFTFTTFFF第02讲命题与命题联结词(二)4 .条件财Q为两仝血题,一呻Q组成或条件命题是一个复合命题一记作2。符号一称为条件联结词。读作:“如果P,那么Q”或“若P则Q”。P:前件或前提;Q:后件或结论。*条件命题前后件不可互换位置。例:P:我考试通过。Q:我拿到合格证书。P-Q:如果我考试通过,就能拿到合格证书。一的定义举例太阳落山
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第一章 命题 公式