复合命题及其推理课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《复合命题及其推理课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 复合 命题 及其 推理 课件
- 资源描述:
-
1、第四章第四章 复合命题及其推理复合命题及其推理一、命题与推理概述一、命题与推理概述(一)(一)判断、语句和命题判断、语句和命题1.判断判断 判断是对对象有所断定的思维形式。判断是对对象有所断定的思维形式。例:例:地球是围绕太阳运行的。(断定一个事实)地球是围绕太阳运行的。(断定一个事实)真真 堪培拉是历史名城。(断定一个事实)堪培拉是历史名城。(断定一个事实)假假 如果不努力,就不能取得好成绩。如果不努力,就不能取得好成绩。(断定一个条件断定一个条件)判断的逻辑特征:(判断的逻辑特征:(i)有所断定;()有所断定;(ii)有真假。)有真假。判断的真假情况在逻辑上称为判断的判断的真假情况在逻辑上
2、称为判断的“真假值真假值”,简称简称“真值真值”。普通逻辑不研究具体判断的内容。普通逻辑不研究具体判断的内容是否符合客观实际是否符合客观实际,只研究形式上有一定联系的判只研究形式上有一定联系的判断之间的断之间的真假关系真假关系。2.判断和语句的关系判断和语句的关系 判断是语句的思想内容。判断是语句的思想内容。语句是判断的表达形式。语句是判断的表达形式。所有的判断都由语句来表达。所有的判断都由语句来表达。并非所有语句都有表达判断。并非所有语句都有表达判断。一般情况下,陈述句、反问句表达判断。一般情况下,陈述句、反问句表达判断。同一判断可以用不同的语句来表达。同一判断可以用不同的语句来表达。任何人
3、都不是天生聪明的。任何人都不是天生聪明的。没有一个人是天生聪明的。没有一个人是天生聪明的。同一语句也可表达不同的判断。同一语句也可表达不同的判断。小林在火车上画画。小林在火车上画画。3.命题命题 表达判断的语句称为命题。表达判断的语句称为命题。判断和命题不是同一个东西判断和命题不是同一个东西,二者的关系为:判断是二者的关系为:判断是一种思想一种思想,而命题则是表达判断的语句。与判断一样,而命题则是表达判断的语句。与判断一样,命题也有真假。命题也有真假。由于研究判断总是通过研究命题来进行的,因此由于研究判断总是通过研究命题来进行的,因此后后面对面对“判断判断”和和“命题命题”不再作严格区分。不再
4、作严格区分。命题形式:命题形式:所有的鸟都会飞。所有的鸟都会飞。所有所有S是是P 有的人永远是正确的。有的人永远是正确的。有有S是是P 小李或者学过英语或者学过法语。小李或者学过英语或者学过法语。p或者或者q 如果天下雨,那么地湿。如果天下雨,那么地湿。如果如果p那么那么q 简单命题和复合命题简单命题和复合命题:(注:不含模态词)(注:不含模态词)不包含和自身不同命题的命题称为不包含和自身不同命题的命题称为简单命题简单命题。例:曹丕和曹植是兄弟。例:曹丕和曹植是兄弟。包含和自身不同命题的命题称为包含和自身不同命题的命题称为复合命题复合命题。例:如果物体摩擦,那么物体生热。例:如果物体摩擦,那么
5、物体生热。复合命题的特点:复合命题的特点:(1)复合命题由一个或一个以上的简单命题所组成。)复合命题由一个或一个以上的简单命题所组成。组成复合命题的命题称作它的支命题。组成复合命题的命题称作它的支命题。(2)支命题通过)支命题通过“联结词联结词”联结。不同的联结词显联结。不同的联结词显示出不同的逻辑性质。示出不同的逻辑性质。(3)复合命题的真假是由支命题的真假来确定的。)复合命题的真假是由支命题的真假来确定的。(二)关于推理(二)关于推理1.什么是推理什么是推理 推理就是从一个或者若干个命题得出其它命题的思推理就是从一个或者若干个命题得出其它命题的思维过程。推理所依据的命题叫做前提,通过推理所
6、维过程。推理所依据的命题叫做前提,通过推理所得到的命题叫做结论。得到的命题叫做结论。(命题序列)(命题序列)2.推理的种类推理的种类 演绎推理:演绎推理:必然性推理,即前提真能够确保结论真。必然性推理,即前提真能够确保结论真。所有金属都导电,铜是金属,所以铜导电。所有金属都导电,铜是金属,所以铜导电。李琳或者是教师或者是医生,李琳不是教师,所以李琳或者是教师或者是医生,李琳不是教师,所以李琳是医生。李琳是医生。非演绎推理:非演绎推理:或然性推理,即前提只对结论提供一或然性推理,即前提只对结论提供一定的支持关系,前提真结论不一定真。定的支持关系,前提真结论不一定真。从我记事的第一天起,太阳从东方
7、升起,从我记事的第一天起,太阳从东方升起,第二天,太阳从东方升起,第二天,太阳从东方升起,第三天,太阳从东方升起,第三天,太阳从东方升起,一直到今天,太阳从东方升起,一直到今天,太阳从东方升起,所以,太阳总是从东方升起。所以,太阳总是从东方升起。(归纳推理)(归纳推理)我国河北省昌黎县和法国的波尔多地区在纬度位置、我国河北省昌黎县和法国的波尔多地区在纬度位置、气候等方面非常相似。气候等方面非常相似。法国的波尔多地区是世界著名的葡萄酒产区。法国的波尔多地区是世界著名的葡萄酒产区。所以,我国河北省昌黎县也能成为世界著名的葡所以,我国河北省昌黎县也能成为世界著名的葡萄酒产区。萄酒产区。(类比推理)(
8、类比推理)3.推理的形式结构推理的形式结构“推理的形式结构推理的形式结构”简称简称“推理形式推理形式”,是指在,是指在一个推理中抽掉各个命题的具体内容之后所保留一个推理中抽掉各个命题的具体内容之后所保留下来的那个模式或框架,或者说,是多个推理中下来的那个模式或框架,或者说,是多个推理中表达不同思维内容的各个命题之间所共同具有的表达不同思维内容的各个命题之间所共同具有的联系方式,由逻辑常项和逻辑变项构成,其中逻联系方式,由逻辑常项和逻辑变项构成,其中逻辑常项代表推理中的结构要素辑常项代表推理中的结构要素,常项的不同决定了常项的不同决定了推理形式的不同;变项代表推理中的内容要素,推理形式的不同;变
9、项代表推理中的内容要素,用不同的具体命题替换相同的变项,就得到不同用不同的具体命题替换相同的变项,就得到不同的具体推理。的具体推理。例:例:所有所有S是是P,a是是S,所以,所以a是是P。p或者或者q,并非,并非p,所以,所以q。4.演绎推理的性质及其形式的有效性问题演绎推理的性质及其形式的有效性问题 (1)演绎推理的性质及其推出真结论的条件)演绎推理的性质及其推出真结论的条件 必然性推理,前提蕴涵结论必然性推理,前提蕴涵结论 前提真实、形式有效前提真实、形式有效(正确正确)(2)“推理的逻辑性推理的逻辑性”的含义的含义 “有效式有效式”的含义的含义如果对某一演绎推理形如果对某一演绎推理形式代
10、入任何真实的前提都不会得出假结论,那么式代入任何真实的前提都不会得出假结论,那么这个推理形式就是有效式,否则就是无效式。这个推理形式就是有效式,否则就是无效式。合乎逻辑合乎逻辑 形式有效形式有效 合乎逻辑合乎逻辑 能必然推出真结论能必然推出真结论 演绎推理本身并不要求前提为真!演绎推理本身并不要求前提为真!例:例:凡是案犯都有作案时间。凡是案犯都有作案时间。(很可能)甲是案犯,(很可能)甲是案犯,所以,甲(应该)有作案时间。所以,甲(应该)有作案时间。上述推理是合乎逻辑的。上述推理是合乎逻辑的。(3)演绎绎推理形式有效性的判定 如果对某一演绎推理形式代入任何真实的前如果对某一演绎推理形式代入任
11、何真实的前提都不会出现假结论,那么这个推理形式就是提都不会出现假结论,那么这个推理形式就是有有效式效式,否则就是无效式。,否则就是无效式。普通逻辑根据前提命题的逻辑性质制定出相普通逻辑根据前提命题的逻辑性质制定出相应的应的推理规则推理规则。凡是合乎规则的就是有效式,否凡是合乎规则的就是有效式,否则就是无效式。则就是无效式。合乎逻辑形式有效合乎规则合乎逻辑形式有效合乎规则 二、联言命题及其推理二、联言命题及其推理1.什么是联言命题什么是联言命题 (1)定义:联言命题就是反映几种事物情况同时存)定义:联言命题就是反映几种事物情况同时存在的命题。在的命题。(2)逻辑形式:)逻辑形式:p并且并且q。(
12、3)符号表示:)符号表示:pq(读作(读作“p合取合取 q”)。)。(4)组成:)组成:联言支联言支p、q;联结词联结词“并且并且”(“”)。)。例:例:这件衣服物美价廉。这件衣服物美价廉。郭沫若既是文学家又是历史学家。郭沫若既是文学家又是历史学家。杜甫和李白都是诗人。杜甫和李白都是诗人。2.联言命题真值的确定联言命题真值的确定 一个联言命题是真的,当且仅当,全部联一个联言命题是真的,当且仅当,全部联言支都是真的。言支都是真的。真值表:真值表:pqp qTTTTFFFTFFFF3.联言推理联言推理(1)什么是联言推理什么是联言推理 联言推理就是前提或者结论为联言命题的推理。联言推理就是前提或者
13、结论为联言命题的推理。(2)联言推理有效式联言推理有效式 分解式分解式 前提为联言命题的联言推理形式,叫做联言推理前提为联言命题的联言推理形式,叫做联言推理分解式。分解式。其推理形式为:其推理形式为:p并且并且q,所以,所以,p。组合式组合式 结论为联言命题的联言推理形式,叫做联言推理结论为联言命题的联言推理形式,叫做联言推理组合式。组合式。其推理形式为:其推理形式为:p,q,所以,所以,p并且并且q。三、选言命题及其推理三、选言命题及其推理(一)相容选言命题及其推理(一)相容选言命题及其推理1.什么是相容选言命题什么是相容选言命题2.(1)定义:相容选言命题就是反映几种可能事)定义:相容选言
14、命题就是反映几种可能事物情况至少有一种存在,也可以同时存在的命题。物情况至少有一种存在,也可以同时存在的命题。(2)逻辑形式:)逻辑形式:p或者或者q。(3)符号表示:)符号表示:pq(读作(读作“p析取析取 q”)。)。(4)组成:)组成:选言支选言支p、q;联结词联结词“或者或者”(“”)。)。例:例:小李或者学过法语或者学过英语。小李或者学过法语或者学过英语。李琳或者是医生或者是教师。李琳或者是医生或者是教师。2.相容选言命题真值的确定相容选言命题真值的确定 一个相容选言命题是真的,当且仅当,至少一个相容选言命题是真的,当且仅当,至少有一个选言支是真的。有一个选言支是真的。真值表:真值表
15、:pqpqTTTTFTFTTFFF3.相容选言推理相容选言推理 (1)定义:前提中有一个是相容选言命题的选言)定义:前提中有一个是相容选言命题的选言推理,叫做相容选言推理。推理,叫做相容选言推理。(2)规则:)规则:否定一部分选言支,就要肯定另一部分选言支。否定一部分选言支,就要肯定另一部分选言支。肯定一部分选言支,不能否定另一部分选言支。肯定一部分选言支,不能否定另一部分选言支。(3)相容选言推理有效式)相容选言推理有效式否定肯定式否定肯定式:p或者或者q,非,非p,所以,所以,q。例:例:李琳或者是教师或者是医生,李琳不是教师,李琳或者是教师或者是医生,李琳不是教师,所以李琳是医生。所以李
16、琳是医生。(二)不相容选言命题及其推理(二)不相容选言命题及其推理1.什么是不相容选言命题什么是不相容选言命题 (1)定义:反映几种事物情况有且只有一种存在)定义:反映几种事物情况有且只有一种存在的选言命题,叫做不相容选言命题。的选言命题,叫做不相容选言命题。(2)逻辑形式:要么)逻辑形式:要么p要么要么q。(3)符号表示:)符号表示:p q(读作(读作“p不相容析取不相容析取q”)。(4)组成:选言支)组成:选言支p,q;联结词联结词“要么要么要么要么”(“”)。)。例:例:要么改革开放,要么闭关锁国。要么改革开放,要么闭关锁国。要么东风压倒西风,要么西风压倒东风。要么东风压倒西风,要么西风
17、压倒东风。定居国外的中国人,要么保留中国国籍,要么定居国外的中国人,要么保留中国国籍,要么取得外国国籍。取得外国国籍。2.不相容选言命题真值的确定不相容选言命题真值的确定 一个不相容选一个不相容选 言命题是真的,当且仅当,言命题是真的,当且仅当,有且只有一个选言支是真的。有且只有一个选言支是真的。真值表:真值表:pqp qTTFTFTFTTFFF3.不相容选言推理不相容选言推理 (1)定义:前提中有一个是不相容选言命题的选)定义:前提中有一个是不相容选言命题的选 言推理,叫做不相容选言推理。言推理,叫做不相容选言推理。(2)规则:)规则:否定一部分选言支,就要肯定另一部分选言支。否定一部分选言
18、支,就要肯定另一部分选言支。肯定一部分选言支,就要否定另一部分选言支。肯定一部分选言支,就要否定另一部分选言支。(3)不相容选言推理有效式:)不相容选言推理有效式:否定肯定式否定肯定式要么要么p要么要么q,非,非p,所以,所以q。肯定否定式肯定否定式要么要么p要么要么q,p,所以非,所以非q。例:例:这次旅游,要么去三亚,要么去桂林,去桂林这次旅游,要么去三亚,要么去桂林,去桂林旅游,所以,不去三亚旅游。旅游,所以,不去三亚旅游。四、假言命题及其推理四、假言命题及其推理(一)什么是假言命题(一)什么是假言命题 反映某一事物情况是另一事物情况的条件的命题,反映某一事物情况是另一事物情况的条件的命
19、题,叫做假言命题。假言命题又叫条件命题。叫做假言命题。假言命题又叫条件命题。条件关系的种类:条件关系的种类:(1)充分条件)充分条件 有事物情况有事物情况A和和B,如果有,如果有A就有就有B,没有,没有A不一定不一定没有没有B。A就是就是B的充分条件。的充分条件。(2)必要条件)必要条件 有事物情况有事物情况A和和B,如果没有,如果没有A就没有就没有B,有,有A不一不一定有定有B。A就是就是B的必要条件。的必要条件。(3)充分必要条件)充分必要条件 有事物情况有事物情况A和和B,如果有,如果有A就有就有B,没有,没有A就没就没有有B。A就是就是B的充分必要条件。的充分必要条件。思考:思考:下面
20、的下面的p是是q的什么条件?的什么条件?1 p:物体摩擦;:物体摩擦;q:物体发热。:物体发热。2 p:年满十八周岁;:年满十八周岁;q:有选举权。:有选举权。3 p:某数能被:某数能被2整除;整除;q:某数是偶数。:某数是偶数。与此相对应,假言命题也有三种:充分条件假与此相对应,假言命题也有三种:充分条件假言命题、必要条件假言命题、充分必要条件假言命题、必要条件假言命题、充分必要条件假言命题。言命题。(二)充分条件假言命题及其推理(二)充分条件假言命题及其推理1.什么是充分条件假言命题什么是充分条件假言命题 (1)定义:反映事物情况之间具有充分条件关系)定义:反映事物情况之间具有充分条件关系
21、的假言命题,叫做充分条件假言命题。的假言命题,叫做充分条件假言命题。(2)逻辑形式:如果)逻辑形式:如果p那么那么q。(3)符号表示:)符号表示:pq(读作(读作“p蕴涵蕴涵q”)。)。(4)组成:)组成:前件前件(p),),后件后件(q););联结词联结词“如果如果那么那么”(“”)。)。例:例:如果双手摩擦,那么双手发热。如果双手摩擦,那么双手发热。只要我们团结奋斗,胜利就会到来。只要我们团结奋斗,胜利就会到来。骄傲,就会落后。骄傲,就会落后。2.充分条件假言命题真值的确定充分条件假言命题真值的确定 一个充分条件假言命题是真的,当且仅当,一个充分条件假言命题是真的,当且仅当,不会出现前件真
22、而后件假这一种情况。不会出现前件真而后件假这一种情况。真值表:真值表:pqpqTTTTFFFTTFFT3.充分条件假言推理充分条件假言推理 (1)定义:前提中有一个是充分条件假言命题的)定义:前提中有一个是充分条件假言命题的假言推理,叫做充分条件假言推理。假言推理,叫做充分条件假言推理。(2)规则:)规则:肯定前件,就要肯定后件;否定后件,就要否定肯定前件,就要肯定后件;否定后件,就要否定前件。前件。肯定后件,不能肯定前件;否定前件,不能否定肯定后件,不能肯定前件;否定前件,不能否定后件。后件。(3)充分条件假言推理有效式:)充分条件假言推理有效式:肯定前件式肯定前件式如果如果p那么那么q,p
23、,所以,所以,q。否定后件式否定后件式如果如果p那么那么q,非,非q,所以,非,所以,非p。例例1:如果我们要促进社会主义现代化建设的发展,如果我们要促进社会主义现代化建设的发展,那么,我们就要大力发展教育事业;我们要促进那么,我们就要大力发展教育事业;我们要促进社会主义现代化建设的发展,所以,我们要大力社会主义现代化建设的发展,所以,我们要大力发展教育事业。发展教育事业。例例2:如果这份经济合同是有效的,那么它是经双如果这份经济合同是有效的,那么它是经双方同意的;这份经济合同并没有经双方同意,所方同意的;这份经济合同并没有经双方同意,所以,这份经济合同无效。以,这份经济合同无效。例例3:如果
24、降落的物体不受外力影响,那么它不会如果降落的物体不受外力影响,那么它不会改变降落的方向;这个物体受到了外力的影响,改变降落的方向;这个物体受到了外力的影响,所以,他会改变降落的方向。所以,他会改变降落的方向。例例4:如果王某是走私犯,那么他应受法律制裁;如果王某是走私犯,那么他应受法律制裁;经查明,王某确实受到了法律制裁,所以,王某经查明,王某确实受到了法律制裁,所以,王某是走私犯是走私犯。(三)必要条件假言命题及其推理(三)必要条件假言命题及其推理1.什么是必要条件假言命题什么是必要条件假言命题 (1)定义:反映事物情况之间具有必要条件关系)定义:反映事物情况之间具有必要条件关系的假言命题,
25、叫做必要条件假言命题。的假言命题,叫做必要条件假言命题。(2)逻辑形式:只有)逻辑形式:只有p才才q。(3)符号表示:)符号表示:pq(读作(读作“p逆蕴涵逆蕴涵q”)(4)组成:前件()组成:前件(p),后件(),后件(q););联结词联结词“只有只有才才”(“”)。)。例:例:只有大力发展生产力,才能改善人民的生活。只有大力发展生产力,才能改善人民的生活。没有调查就没有发言权。没有调查就没有发言权。除非我们万众一心,否则不能取得抗震救灾斗除非我们万众一心,否则不能取得抗震救灾斗争的伟大胜利。争的伟大胜利。2.必要条件假言命题真值的确定必要条件假言命题真值的确定 一个必要条件假言命题是真的,
展开阅读全文