逻辑学第二章.ppt_第1页
逻辑学第二章.ppt_第2页
逻辑学第二章.ppt_第3页
逻辑学第二章.ppt_第4页
逻辑学第二章.ppt_第5页
已阅读5页,还剩36页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、7/17/2020,1,第二章 命题的逻辑分析,本章的教学重点和要点 命题的特征与种类 复合命题的形式表达与刻画 复合命题五种联系的逻辑性质与真值表刻画 多重复合命题语句符号化的操作方法,命题认知的逻辑考察,传统逻辑:(注重思维的过程分析) 强调:概念判断推理论证 要求:概念要明确,判断要恰当,推理要合乎逻辑,论证要具有说服力。 现代逻辑: (注重思维的结果分析) 命题逻辑(着眼于命题之间关系的分析) 谓词逻辑(着眼于命题内各构成要素间关系的分析),第一节 命题概述,一、什么是命题 1、命题的定义(例举分析) 命题是对思维对象有所陈述并且有真假值的语句。 2、命题的特征 (1)任何命题都对思维

2、对象有所陈述,不论其正确与否。 (2)任何命题都有真假值,非真即假。,1、离婚率的上升是社会文明进步的表现。 2、流动人口的增加有利于城市的发展。 3、电脑给人类带来福音。 4、外来文化对民族文化的发展来说利大于弊。 5、医学发展应有伦理界限。 6、生态危机可能毁灭人类。 7、只有年满18周岁,才有选举权。 8、自由有两个方面:否定的一面是免除束缚,肯定的 一面则是行为的自主。,命题实例考察:,1、二者的联系 命题是语句所表达的思想内容,语句是命题的物质承担者。 2、二者的区别 (1)所有命题都用语句表达,但并非所有语句都是命题。 *例析* (2)同一命题可用不同的语句来表达。 (3)同一语句

3、可以表达不同的命题。 *例析*,二、命题与语句,问题:下列语句是否表达命题? 1、这份合同是有效的吗? 2、为什麽需要政府,这种需要来源于何处? 3、平面图形的“四色猜想”是正确的。 4、2010年人类将登上火星。 5、1+101=110。 6、我喜欢贝多芬的音乐。 7、哎呀,那还得了! 8、请把门关上!,黑板是黑色的; 黑板,其色黑也。 The blackboard is black. ,某人请算命先生算他弟兄几个。算命先生说:“桃园三结义,孤独一枝” “丁公凿井”,日常思维、表达的 两种情形,表达思想的多样性,思想表达的歧义性,一、命题的分类 性质命题 简单命题 关系命题 命题 合取命题

4、析取命题 复合命题 蕴涵命题 等值命题 负命题,说明:命题的分类依据在于命题的逻辑结构,逻辑结构不同则命题种类 不同。这一分类着眼于命题断定情况的不同。,此外命题的分类还可采用另一种标准,如下:,第二节 命题的分类和命题形式,7/17/2020,9,命题的另一种分类模式: 模态命题 命题 非模态命题 应当注意的是,上述两种分类是采用两种不同的 依据的,他们各自的观察角度不同,在不同的标准依 据下,同一命题各有不同的归依。这一分类着眼于命 题对事态断定的表达形式。,7/17/2020,10,1、命题形式 命题形式指用符号表示命题时所得的符号表达式。在命题演算中,它就是真值形式;在谓词演算中,它是

5、包括全称量词和存在量词的命题形式。 命题逻辑以复合命题作为自己的研究对象,因此,这里关于命题形式的考察,主要是复合命题的形式结构。,二、命题形式和命题公式,2、命题形式的构成要素分析 复合命题形式由真值联结词和命题元变项两部分构成。 (1)真值联结词: . . . . (2)命题元变项:p. q. r (3)基本命题形式:pq pq pq pq p,例: (1) 家家乐超市的商品价不廉,并且物不美。 (2)家家乐超市的商品价不廉,或者物不美。 (3)家家乐超市的商品如果价廉,那么一定物不美。,3、命题公式 在命题逻辑中,命题形式依基本命题形式的构成依据经过合理组合,就能构成各种各样的命题公式。

6、复杂的命题公式还要用到括号,括号内的公式是命题公式中的一个独立单位。 值得注意的是,单独一个命 题元变项符号亦称为命题公式。,真假值是命题的特征。命题逻辑是二值逻辑,它要求命题在真假两个值的可能中,必须取一个作为自己的值。但真假概念在命题逻辑的基本理论中却包含着以下四种不同的意义: 1、事实真假 2、逻辑真假 3、确定真假 4、可能真假,三、命题逻辑中真假概念的不同界说,命题形式的逻辑性质客观上是指真值联结词的逻辑性 质。每一种真值联结词的逻辑性质可通过真值表进行刻画 表现。 一、pq 的逻辑性质 1. 合取命题 合取命题是断定事物的若干种情况同时存在的命题。 如:“文艺创作既要讲思想性,又要

7、讲艺术性”就断定了 “文艺创作要讲思想性”和“文艺创作要讲艺术性”这两种情况 同时存在。,第三节 命题形式的逻辑性质和真值表,7/17/2020,16,2. 合取命题的日常表达与逻辑表达 合取命题所包含的肢命题称为合取肢。在现 代汉语中表达合取命题逻辑联结词的通常有: 和,“既又,不但而且,“ 一方面另一方面“,”虽然但是“等 等。 如果取“并且”作为联言命题的典型联结词, 用“p”、“q”等来表示联言肢,那么联言命题的形式可 表示为: p并且q 逻辑上则表示为:pq(读作p合取q)。,7/17/2020,17,3. pq的逻辑性质 用真值表刻画如下: p q pq T T T T F F F

8、 T F F F F 说明:表中的T表示真, F表示假(下 同)。,7/17/2020,18,4.注意事项: ,1.析取命题 析取命题是断定事物若干种可能情况的命题。 如: “一个物体要么是固体,要么是液体,要么是气体。” 2.析取命题的结构分析 析取命题也是由两个以上的肢命题所组成的。包含在 析取命题里的肢命题称为析取肢。如前例中,“一个物体是 固体”、“一个物体是液体”、“一个物体是气体”这三个命题 就是前一个析取命题的三个析取肢。,二、pq 的逻辑性质,3.析取命题的种类 析取命题可分为相容析取命题和不相容析取命题。 相容的析取命题断定事物若干种可能情况中至少有一种情况存在的命题就是相容

9、的析取命题。如:“艺术作品质量差,也许由于内容不好,也许由于形式不好。”就表达了相容的析取命题,所断定的事物的若干可能情况是可以并存的。“内容不好”和“形式不好”也可共同导致“艺术作品质量差”这一结果。表达相容的选言命题的逻辑联结词的通常有“或或”、“可能也可能”、“也许也许”等。我们通常用如下形式来表示相容的析取命题: p或者q逻辑上则表示为:pq(读作p析取q)。,4. pq 的逻辑性质 用真值表刻画如下: p q pq T T T T F T F T T F F F,不相容的析取命题不相容的析取命题是断定事物若干可能情况中有而且只有一种情况存在的命题。如:“一个三角形,要么是钝角三角形,

10、要么是锐角三角形,要么是直角三角形”“不是老虎吃掉武松,就是武松打死老虎” 就都表达了不相容的析取命题。它们分别断定的关于事物的几种可能情况是不能并存的。表达不相容的析取命题的联结词有“或或”,“二者不可得兼”、“要么要么”、“不是就是”等。我们通常用如下形式来表示不相容的选言命题: 要么p,要么q,要么p要么q 的逻辑性质 用真值表刻画如下: p q 要么p要么q T T F T F T F T T F F F,1.蕴涵命题 蕴涵命题是指前件是后件的充分条件的复合命题。 例如:“如果你骄傲自满,那么你就要落后。” 这就是一个蕴涵命题。因为,在这种命题中,前件“你骄 傲自满“,就是后件“你要落

11、后”的充分条件。因为一个人只要他 有骄傲自满的思想存在,他就必然要落后。但是,如果一个人 没有骄傲自满的思想,他是否会落后呢?在这一命题中则未作断 定。,三、pq 的逻辑性质,2.蕴涵命题的日常表达和逻辑表达 蕴涵命题联结词的语言标志通常是:“如果那么”、“只 要就”、“若必”等等。 蕴涵命题的逻辑公式是: 如果p,那么q 逻辑上则表示为: pq(读作“p蕴涵q”) p是q的充分条件是指: 有P必有q,但无P未必无q(因而无q必无P,有q未必有P)。,7/17/2020,26,3. pq的逻辑性质 用真值表刻画如下: p q pq T T T T F F F T T F F T,1.等值命题如

12、:“人不犯我,我不犯人;人若犯我,我必犯人。” “当且仅当三角形三内角相等,该三角形是等边三角形”等等, 都是这种充分必要条件的假言命题。 2.等值命题的日常表达和逻辑表达 表达等值命题的联结词有:“只要而且只有,才”、“若 则,且若不则不”、“当且仅当,则”等等。我们一般将 之表示为如下形式: 当且仅当p,则q。逻辑上则表示为:pq(读作“p等值于q”)p是q的充分必要条件是指:有P必有q,无P必无q(因而有q必有P,无q必 无P)。充分必要条件假言判断标准形式是:“当且仅当P,才q”。,四、pq 的逻辑性质,3. pq 的逻辑性质 用真值表刻画如下: p q pq T T T T F F

13、F T F F F T,五、p 的逻辑性质,1、负命题通过对原命题断定情况的否定而作出的命题,就 叫做负命题。例如:“并非一切金属都是固体。”“并非有的金属不是导体。”注意:负命题与性质命题的否定命题是不同的。,2.负命题的逻辑公式 如果用p表示原命题,那么,负命即为: 并非p。 3.负命题的逻辑性质 用真值表刻画如下: p p T F F T,说明: (1)命题形式的逻辑性质是衡量复合命题和支 命题真假关系的标准,这个逻辑标准仅是一种形式 标准,在现实思维中,复合命题还要求它的所有支 命题在内容上有一定的相关性。 (2)在整个命题逻辑体系中,由这种仅以真 值解释的命题变项组成的公式在逻辑上称

14、为真值形 式。,p q pq pq pq pq p q T T T T T T T F T F F T F F F T F T F T T F F F F F T T 注意:上表信息的三点解读: (1)每一种复合命题的真假情况 (2)每一种复合命题的真假与支命题的真假有何关联 (3)在支命题真值情况相同的情况下,复合命题之间在真假取值上 有何关联。,六、真值表的阅读与命题联结关系的比较认知,1、要么,要么 p q pq 要么p,要么q T T T F T F T T F T T T F F F F 注意:从上表比较可知,“要么p,要么q”用命题公式表示即为: (pq) (pq) 或者 (p q

15、 ) ( pq),七、两种类型的日常语句的逻辑性质解读,2、只有,才 p q pq 只有p,才q T T T T T F F T F T T F F F T T 注意:从上表比较可知,只有p,才q用命题公式表示即为: pq,7/17/2020,35, 现代逻辑用函数的方法研究命题的真值形式,一个命题形式实质上就是一个定义域和值域都是真值集合的真值函数。 一个含有N个命题变元的真值函项,其变项的所有真假组合为2n种,在每种真值组合情况下,真值函数都有真假二种值,故应有22n个真值函项。,第四节 真值函项,7/17/2020,36,p f1 f2 f3 f4 T T T F F F T F T F

16、,一、含有一个变元p的真值函项有4个,记做f1f4,列表如下:,p q f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 T T T T T T T T T T F F F F F F F F T F T T T T F F F F T T T T F F F F F T T T F F T T F F T T F F T T F F F F T F T F T F T F T F T F T F T F 命题形式和公式虽然数目是无穷无尽的,但当变项的数目规定以后,真 值函项的数目却是确定的,不同的命题形式和公式可以具有相同的真值函 项。,二、含有p、q两个命题变元的真值函数有16个记做 f1f16,列表如下:,7/17/2020,38,1、能使研究者观察认识到千差万别的 命题形式具有的同一本质。 2、能使研究者将繁多的命题形式归类 认知,从而进行有价值的研究。,三、对真值函项进行研究的意义,一、什么是多重复合命题 多重复合命题就是以复合命题作为支命题的命题,它的联结词总在两个或两个以上。 二、为什么要将多重复合命题符号化 符号化主要是考虑到自然语言有以下的局限性: 1、自然语言不精确,具有严重的歧义性。 2、自然语言语法复杂,应用具有非单义的多样化情形。,第五节 多重复合命

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论