版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、命题逻辑的相关知识及其运用 1.复合命题 表达判断的语句,称为命题。命题的基本特征是有真假。任何命题,或者真,或者假,但不能既真又假。命题的真、假二值,统称为命题的真值。真命题的真值为真,假命题的真假为假。 一个命题所包含的与自身不同的命题,称为该命题的支命题。 不包含支命题的命题,称为原子命题。如:(1)天下着雨。(2)所有的金属都是导电的。(3)有的新闻报导不是真实的。(4)圆是平面上一动点围绕一定点作等距离运动所留下的轨迹。均为原子命题。而以下均不是原子命题:(5)天下着雨,并且地上是湿的。(6)天没下雨,或者地上是湿的。(7)如果天下雨,那么地上是湿的。命题(5)至(7)称为复合命题。
2、复合命题是包含支命题的命题,并且其真值是其支命题的真值按照一定的逻辑关系地确定的。表达这种逻辑关系的语词,称为逻辑联结词,简称联结词。常用联结词包括:并非、并且、或者、要么要么、如果那么、只有才、当且仅当。通常以p、q 等小写英语字母表示原子命题, p、q 等称为命题变项。在同一设定中,同一命题变项表示同一原子命题;不同的命题变项表示不同的原子命题。如:令p表示“小张高”,q表示“小张胖”,则“小张既高又胖”的符号表达式是:p并且q 支命题可以是原子命题,也可以是复合命题。思考总经理:根据本公司目前的实力,我主张环岛绿地和宏达小区这两项工程至少上马一个,但清河桥改造工程不能上马。董事长:我不同
3、意。分别写出表达总经理和董事长意见的符号表达式:解答:令:p 表示“环岛绿地工程上马”;q 表示“宏达小区工程上马”;r 表示“清河桥改造工程上马”。则总经理的意见是:(p或者q)并且(非r)。董事长的意见是:并非(p或者q)并且(非r)在以上表达式中,括号中的支命题都是复合命题。因此,复合命题是由原子命题和联结词构成的,或者说,复合命题是原子命题和联结词的合式构成。复合命题有联言命题、选言命题、假言命题和负命题四种基本类型。下面分别讨论它们的定义、分类、一般形式、日常语言形式、符号形式和逻辑值(真值表) 先讨论联言命题。联言命题是断定支命题都真的复合命题。如:“我们不但要建设物质文明,而且要
4、建设精神文明”。一般形式为“p并且q”。其中,命题变项p和q称为联言支; “并且”是联结词。一个联言命题的联言支可以多于2个。在日常语言中,联言命题“p并且q”也表述为“不但p,而且q”、“既p又q”、“虽然p,但是q”、“不仅p,也q”,等等。有的联言命题省略了联结词,如“知无不言,言无不尽,言者无罪,闻者足戒”,就是一个省略了联结词的有4个联言支的联言命题。联言命题的符号形式是:pq。“”读作“合取”,表示“并且”。 复合命题的真值称为逻辑值,因为其真值是由构成它的原子命题的真值逻辑地确定的。联言命题断定联言支都真,因此,一个联言命题,只有在联言支都真的情况下才是真的,在其余情况下都是假的
5、。联言命题的真值可用以下的表格刻画:pq pq真 真 真真假假假真假假假假上面这样的表格称为真值表。 真值表列出了在原子支命题的每一组真值组合的情况下复合命题的真值。 “”是一种真值运算。显然,以下关于“”的运算式成立:真真= 真真假 = 假真= 假假= 假下面讨论选言命题。选言命题是断定至少有一个支命题中为真的复合命题。如:“明天我或者登长城,或者游香山”。 思考试比较以下两个选言命题:(1)老张是诗人,或者是画家。(2)老张要么是四川人,要么是湖南人。分析:命题(1)断定“老张是诗人”和“老张是画家”这两种事物情况至少有一种存在,但也可以同时存在,也就是说,“老张是诗人”和“老张是画家”是
6、相容的。 命题(2)断定“老张是四川人”和“老张是湖南人”两种事物情况至少有一种存在,但不能都存在,也就是说,“老张是四川人”和“老张是湖南人”是不相容的。依此,选言命题分为相容选言命题和不相容选言命题。 先讨论相容选言命题。相容选言命题是断定支命题中至少有一真,但也可以都真的选言命题。一般形式是“p或者q”。其中,p和q称为选言支;“或者”是联结词。选言支可以多于2个。相容选言命题的符号形式是:pq。“”读作“析取”,表示“或者”。相容选言命题断定选言支中至少有一真,也可以都真,因此,一个相容选言命题,只有在选言支都假的情况下才是假的,在其余情况下都是真的。相容选言命题的真值表如下:pq p
7、 q真 真 真真假真假真真假假假显然,以下关于“”的运算式成立:真 真 = 真 假= 假 真= 真 假 假 = 假接着讨论不相容选言命题。不相容选言命题是断定支命题中至少有一真,并且至多有一真的选言命题。一般形式为“要么p,要么q”。同样,选言支也可以多于2个。 不相容选言命题断定选言支中至少有一真,并且至多有一真。因此,不相容选言命题的真值表如下:pq 要么p,要么q真 真 假真假真假真真假假假在日常语言中,“要么,要么”只表示不相容选言命题,“或者,或者”可以表示相容,也可以表示不相容选言命题,至于实际上表示哪类选言命题,要根据具体的语境而定。如:(1)小张或者报考文科,或者报考理科。(2)今年暑假小张或者去张家界,或者去九寨沟。根据语境,可以确定,(1)只能是不相容的;(2)可以是相容的。思
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 三年期固定期限劳动合同
- 清算资产整体转让合同
- 水稻绿色高质高效栽培工程师考试试卷及答案
- 食用油压榨技师考试试卷及答案
- 森林病虫害防治工程师考试试卷及答案
- 中科软三方协议书
- 齐鲁金融合作协议书
- 龙岗回迁房买卖协议书
- 采样机检定报告技术协议书
- 道路施工技术组织措施
- 2026江苏省铁路集团有限公司春季校园招聘笔试备考题库及答案解析
- 2026年新版卫生法律法规考试题及答案
- 2026年四川省绵阳市中考化学模拟预测试卷
- 江西生物科技职业学院《公共经济学》2025-2026学年期末试卷
- 普通高考监考人员参考试题
- 医院三合理一规范培训
- T/CATCM 032-2024中药配方颗粒临床使用指南
- 加油站双重预防体系
- 《各种偷盗行为处理》课件
- 电工电气职业生涯规划书
- 2023年江苏省苏州工业园区部分单位招聘36人笔试参考题库(共500题)答案详解版
评论
0/150
提交评论