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

付费下载

下载本文档

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

文档简介

1、第二章 命题逻辑,学习难点:复合命题的等值转换 重点掌握:复合命题推理的有效式 掌 握:复合命题的形式及其等值转换、重言式的判定方法 了 解:命题的特征、种类以及命题与判断、语句的关系。,第一节 命题概述,一、命题及其特征 1 、什么是命题 ? 命题是对事物情况的陈述。 例:( 1 )天下乌鸦一般黑。 ( 2 )权利和义务是密不可分的。 ( 3 )没有一个人不热爱自己的祖国。 (4 )国家赔偿责任的构成要件是指国家承担赔偿责任的必要条件。,第一节 命题概述,2 、命题的特征: () 必有所陈述。 ( 2 )必有真假。 ( 3 )必由两种不同的成分组成。 ( 4 )必包含形式和内容两个方面,第一

2、节 命题概述,任何命题都有形式和内容两个方面。 任何一个命题形式都由变项和常项两个部分组成, 如“有的花是红色的”,“有的鸟会飞”这两个命题所陈述的内容极为不同,但它们却具有相同的形式,都可被表示为:“有 S 是 P ”。这里“有是”等是逻辑 常项,也是逻辑联结词,起联结作用,表示被联结部分的逻辑关系。 逻辑联结词还有许多:如果那么;只有才;并非等。,第一节 命题概述,注意:逻辑学并不考虑思维的具体内容,并不研究某个特定命题的陈述是否符合客观实际。它只是从命题形式的结构方面 研究不同类型命题的真假特征,以及各种命题之间的真假关系。,第一节 命题概述,二、命题与语句 命题和语句具有密切的关系,既

3、有联系,又有区别: 1 、联系: 任何命题都是通过语句来表达的。 2 、区别: ( 1 )并非所有的语句都表达命题。 ( 2 )同一个命题可通过不同的语句来表达。 ( 3 )同一个语句可以表达不同的命题。,第一节 命题概述,三、命题与判断 命题是对事物情况的陈述,而判断是对陈述事物情况的命题的断定。 注意,命题的定义中包含的是“陈述”,而判断的定义中包含的是“断定”。因此,我们说,命题与主体相关,判断是被断定了的命题,凡判断都必须有所断定; 而命题可以是已经被断定的,也可以是未被断定的。 只有被断定了的命题才可以称为判断。,第一节 命题概述,所有的判断都是命题,但并非所有的命题都是判断。,第一

4、节 命题概述,四、命题的种类 1 、根据命题中是否包含有命题联结词和其他命题成分,将命题分为简单命题和复合命题。 2、根据陈述的是对象的性质还是对象之间的关系,将简单命题划分为性质命题和关系命题。 3、根据复合命题包含的联结词的不同,将复合命题划分为负命题、联言命题、选言命题、假言命题、等值命题。 4、根据命题中是否包含有模态词,将命题分为模态命题和非模态命题。 5、根据命题中是否包含有规范词,将命题分为规范命题和非规范命题。,第二节 复合命题及其形式,一、概述 1、复合命题 就是包含有命题联结词和其他命题成分(支命题)的命题。 、命题联结词的作用 (1)联结支命题。 (2)反映支命题之间的逻

5、辑关系即真值关系。 (3)在具体思维中还反映支命题在内容上或意义上的联系。,第二节 复合命题及其形式,注意:逻辑学不研究命题联结词所表达的命题之间在内容上或在意义方面的联系,只研究命题联结词所表达的命题之间的真值关系,只研究命题联结词和复合命题的逻辑性质。因此在逻辑学中研究的命题联结词只反映命题之间的逻辑关系即真值关系,而不反映命题之间在内容或意义上的联系,这种联结词称为真值联结词。,第二节 复合命题及其形式,3、基本的命题联结词 复合命题的性质是由命题联结词所决定的。联结词的不同,是区分各种类型复合命题的根据。命题之间存在 5 种基本的逻辑关 系即真值关系,用自然语言来表达,分别是:并非、并

6、且、或者、如果则、当且仅当。用现代逻辑引进的人工语言来表达,分别可以记作: (否定词)、 (合取词)、 (析取词)、 (蕴涵词)、 (等值词)。,第二节 复合命题及其形式,4、复合命题的真假 既与其中所包含的支命题相关,又与命题联结词相关。 如: “某甲犯了放火罪并且犯了杀人罪” ,如果该复合命题所包含的两个支命题都真,则该复合命题真;如果其中有一假,则该复合命题假。 “某甲或者犯了放火罪,或者犯了杀人罪”, 如果该复合命题所包含的两个支命题有一个为真,则该复合命题真;只有两个支命题都假时,该复合命题才假。 5、多重复合命题,第二节 复合命题及其形式,二、 负命题 1 、什么是负命题 ( 1

7、)定义 :负命题就是陈述某个命题不成立的命题。是对某个命题的否定。 例:并非罗马法不是成文法。,第二节 复合命题及其形式,( 2 )结构: 两部分 支命题:负命题中被否定的命题。也就是原命题。 联结词:并非。 (3)命题形式:并非 p 。符号化为: p (否定式),第二节 复合命题及其形式,2、负命题的真假情况 支命题真,负命题假;支 命题假,负命题真。 支命题与负命题是矛盾关系,互为真假。,第二节 复合命题及其形式,三、 联言 命题: 1、什么是联言命题 ( 1)定义 : 联言命题是陈述几种事物情况同时存在的复合命题,也叫合取命题。 ( 2)结构 : 两部分。 联言支:组成联言命题的支命题。

8、例:南拳和北腿,少林无当功,太极八卦连环掌都是中华神功。 联结词:通常用“并且”表示。表示各个联言支间具有同时并存关系。,第二节 复合命题及其形式,( 3)命题形式 : p 并且 q 。符号化为: p q (合取式),第二节 复合命题及其形式,2、联言命题的真假 联言命题是陈述几种事物情况同时存在的复合命题。由此,只有当全部联言支所陈述的情况都存在时,联 言命题才是真的。也即: 当且仅当联言支全真时,联言命题为真 。相反,只要有一个联言支为假,联言命题就必定为假。,第二节 复合命题及其形式,四、选言命题: 1 、什么是选言命题 (1)定义 :选言命题是陈述几种事物情况至少有一个存在的复合命题。

9、 ( 2 ) 结构 :两部分 选言支:是选言命题中所包含的其他命题。一个选言命题可有两个或两个以上的选言支。 选言命题的联结词:是在选言命题中表示各个选言支之间具有 或然(可能) 关系的逻辑标志。通常用“或者”表示。,第二节 复合命题及其形式,(3)命题形式: p 或者 q 。符号化为 p q ( 析取式 ),第二节 复合命题及其形式,2、选言命题的真假 一个选言命 题,只要有一个 选言支真,则此选言命题真;只有当所有的选言支都假时才假。,第二节 复合命题及其形式,五、假言命题 1 、什么是假言命题 ( 1 )定义 :是陈述某一事物情况的存在是另一事物情况存在的充分条件的复合命题。 例 1 :

10、如果某甲服毒自杀,那么胃里一定能发现残余的毒物。,第二节 复合命题及其形式,( 2 ) 结构 :两部分 假言支 :假言命题所包含的支命题。包括两个:一个作为原因的称为“ 前件 ”,通常用 p 表示;一个作为结果的称为“ 后 件 ”,通常用 q 表示。例 1 中的“某甲服毒自杀”是前件,“胃里一定能发现残余的毒物”是后件。 假言命题的命题联结词: 在假言命题中联结前件与后件并表示前件对后件具有某中条件关系的逻辑标志,通常用“如果则 ”。,第二节 复合命题及其形式,( 3 )命题形式 :如果 p ,则 q 。符号化为: p q (蕴涵式),第二节 复合命题及其形式,2、假言命题的真假情况 一个 假

11、言命题,只有当其前件为真,后件为假时为假,其余情况下都为真。,第二节 复合命题及其形式,六、等值命题 ( 1 )定义: 等值命题就是陈述两种事物情况同时存在或者同时不存在的复合命题。,第二节 复合命题及其形式,( 2 ) 结构 :两部分 等值支 :等值命题所包含的支命题。包括两个: “当且仅当”前的称为“ 前件 ”,通常用 p 表示; “当且仅当”后的称为“ 后 件 ”,通常用 q 表示。 命题联结词: p当且仅当q。符号化为: p q(等值式)。,第二节 复合命题及其形式,( 3)命题形式 : p当且仅当q 。 符号化为: p q (“ ”读做等值; p q 读做 p 等值于 q ) 相当于

12、( p q )( p q ),第二节 复合命题及其形式,2、等值命题的真假情况 只有当前后件同真同假时,真;否则,假。,第二节 复合命题及其形式,七、 多重复合命题 1、什么是多重复合命题 ( 1)定义:支命题中至少有一个是复合命题的命题。 多重复合命题是由简单命题和命题联结词经过有限次的联结逐层构成的, 是复合命题的有限次的组合。,第二节 复合命题及其形式,( 2)分析步骤:分析一个多重复合命题的结构时,第一是要知道这个命题的整体是哪一种复合命题;第二是判明这个命题的各支命题 是什么复合命题。 例:刑法第九条最后一句“如果本法不认为是犯罪或者处刑较轻的,适用本法。” 从整体上看,该命题是假言

13、命题;再进一步,其前件由选言命题构成。用符号表示为: (pq)r。,第二节 复合命题及其形式,2 、排斥选言命题 ( 1 ) 定义:排斥选言命题是断定选言支中有一个并且只有一个为真的选言命题。 如:现场上的头发要么是拔下的,要么是割下的,要么是脱落的。 景阳岗上的武松要么打死老虎,要么被老虎吃掉。 结构式 :要么 p 要么 q ,第二节 复合命题及其形式,( 2 )排斥选言命题的真假 根据排斥选言命题的逻辑性质或特征是几种情况不可能同时存在,因此,它所包含的选言支不能同时为真,也不能同时为假。因 此,一个排斥选言命题是真的, 有且只能有一个选言支真。如果有两个以上的选言支真,或所有的选言支为假

14、,则该排斥选言命题为假 。,第二节 复合命题及其形式,3 、必要条件假言命题 ( 1 )定义 :必要条件假言命题就是陈述一事物情况是另一事物情况存在的必要条件的假言命题。 所谓必要条件是指:设有 p 和 q 分别为两个事物情况。如果没有 p ,就必然没有 q ;而有 p ,却未必有 q (即可能有 q , 也可能没有 q )。这样, p 就是 q 的必要条件,第二节 复合命题及其形式,( )命题形式: 必要条件假言命题的语言表达形式很多:“必须才能”、“除非才能”、“只有才”等。 例:只有某人使用暴力,才有可能构成抢劫罪。 除非掌握犯罪构成理论,才能正确区分罪与非罪。 逻辑学用“只有 p ,才

15、 q ”作为代表形式。符号化为: qp,第二节 复合命题及其形式,( 3 )必要条件假言命题的真假 一个必要条件假言命题,惟有前件假,后件真时,此命题才为假;其余情况下都为真。,第三节复合命题的重言等值式,一、复合命题公式的分类 1、重言式 : 永真式 一个复合命题公式是永真式,当且仅当无论其中所包括的命题变项取何值,它总为真。 如: p p ,无论p取何值,都永远为真,因而是永真式。,第三节复合命题的重言等值式,2、矛盾式:永假式 一个复合命题公式是永假式,当且仅当无论其中所包括的命题变项取何值,它总为假。 如: p p ,无论p取何值,都永远为假,因而是永假式。,第三节复合命题的重言等值式

16、,3、协调式:可真可假的公式。 一个复合命题公式是协调式,当且仅当它对于其中出现的命题变项的某些真值赋值,为真;而对于另 一些真值赋值,它为假。 如: pq ,当p真、q也真时,为真;p、q只要有一个为假,则为假,第三节复合命题的重言等值式,二、常用的重言等值式 ( 1 ) p q q p 例:“如果某人去过现场,他就是作案人”,等值于“如果某人不是作案人,他一定没有去过现场。” ( 2 ) p q p q 例:“证人或签名,或盖章”,等值于“如果证人不签名,他就盖章”。 p q ( p q ) 例:“ 某犯确有悔改又有立功表现”,等值于“并非如果某犯确有悔改,而无立功表现”,第三节复合命题的

17、重言等值式,( 4 ) (p q) (p q) (q p) ( 5 ) (p q) (p q) ( p q) ( 6 ) (p q) p q 例:“并非如果天下雨,校运动会就会延期”,等值于“虽然天下了雨,但校运动会不延期”。 ( 7 ) (p q) p q 例: “并非甲或乙都在哲学系”,等值于“甲不在哲学系并且乙不在哲学系”。,第三节复合命题的重言等值式,( 8 ) (p q) p q 例: “并非甲和乙都在哲学系”,等值于“或者甲不在哲学系,或者乙不在哲学系”。 ( 9 ) (p q) ( p q ) ( p q) ( 10 )(p q) (p q) ( p q) 例: “并非当且仅当秋

18、高气爽,才放风筝”,等值于“虽然秋高气爽但没放风筝,或者虽然还不到秋高气爽却放了风筝”。,第三节复合命题的重言等值式,三、重言式判定的方法 1、真值表法。 2、归谬赋值法。 3、表列法。,第四节 复合命题推理的有效式,一、双重否定推理 双重否定推理是根据否定词或负命题的逻辑性质进行的复合命题推理。 两种有效的推理形式: 1 、双否销去式: 非非 p ,所以 p 。符号化: p p 例:并非 18 岁以上的公民不是成年人,所以, 18 岁以上的公民都是成年人。 2 、双否引入式: p ,所以非非 p 。符号化: p p 例:有人出庭作证,所以,并非没有人出庭作证。,第四节 复合命题推理的有效式,

19、三、联言推理 联言推理是前提或结论为联言命题,且根据联言命题的逻辑性质进行的推理。 联言命题的逻辑性质:联言支必须全真。 联言推理的基本形式:分解式;合成式。,第四节 复合命题推理的有效式,1 、分解式联言推理 ( 1 )定义:是以联言命题为前提,以该命题的某一支命题为结论的联言推理。 ( 2 )形式: P q P (或 q),第四节 复合命题推理的有效式,2 、合成式联言推理 ( 1 )定义:是以联言命题的全部联言支为前提,以这些支命题组成的联言命题为结论的联言推理。 ( 2 )形式: P q P q,第四节 复合命题推理的有效式,四、选言推理 选言推理是前提中有一个选言命题,并根据选言命题

20、的逻辑性质进行的推理。,第四节 复合命题推理的有效式,有两种有效的推理形式: 1 、否定肯定式 ( P q) P q,第四节 复合命题推理的有效式,2 、附加式 P q 所以, P 或 q。 所以, P 或 q。 形式化为: P P q ;q P q 如:“你听错了,所以,你听错了或者我说错了”。 这种形式在日常生活种很少用到,所以,传统逻辑不讲,但在现代逻辑中是一种不可缺少的基本有效式。,第四节 复合命题推理的有效式,五、 假言推理 假言推理是前提中有一个假言命题,并根据假言命题的逻辑性质进行的推理。 假言推理的基本有效式有 2 种:,第四节 复合命题推理的有效式,1 、肯定前件式: ( P

21、 q) P q,第四节 复合命题推理的有效式,例: 如果发烧,那么就是生病了, 发烧, 所以,就是生病了。 例:如果某甲犯贪污罪,那么,某甲应是国家工作人员, 某甲犯贪污罪, 所以,某甲是国家工作人员。,第四节 复合命题推理的有效式,2、否定后件式:( P q) q P,第四节 复合命题推理的有效式,例: 如果发烧,那么就是生病了, 没有生病, 所以,没有发烧。,第四节 复合命题推理的有效式,所以,根据肯定前件式和否定后件式,充分条件假言推理 规则如下: 肯定前件,就要肯定后件。(肯定前件式) 否定前件,不能否定后件。 否定后件,就要否定前件。(否定后件式) 肯定后件,不能肯定前件。,第四节

22、复合命题推理的有效式,3 、假言推理常见错误: ( 1 )否定前件的错误: 指由肯定一个假言命题并否定该假言命题的前件,得出否定该假言命题后件的结论。其无效式为: 如果 p 则 q , 非 p 所以,非 q. 可从真值表来说明这一点。非 p , q 可真可假。,第四节 复合命题推理的有效式,例如:如果某甲是盗窃犯则某甲应受到法律制裁,而某甲不是盗窃犯,所以,某甲不应该受到法律制裁。,第四节 复合命题推理的有效式,( 2 )肯定后件的错误: 指由肯定一个假言命题并否定该假言命题的后件,得出肯定 该假言命题前件的结论。其无效式为: 如果 p 则 q , q 所以, p 可从真值表来说明这一点。 q

23、 真, p 可真可假。 例如,如果他是这起案件的作案人,则他有作案时间;事实上他有作案时间,所以,他是这起案件的作案人。,第四节 复合命题推理的有效式,六、等值推理 1 、定义:等值推理实质上就是充分必要条件假言推理。它是根据等值词的逻辑性质进行的复合命题推理。即,等值号两边的命题变项 (命题表达式)必须同真同假。 前真后必真,前假后必假。 后真前必真,后假前必假。,第四节 复合命题推理的有效式,2 、主要有两种有效的推理形式: ( 1 )肯定式 包括: 肯定前件式 : ( P q) P q 例: 当且仅当某机关是法院时,它才有审判权;某机关是法院,所以,某机关有审判权。 例:当且仅当一个三角

24、形等边,则它等角,这个三角形等边,所以,这个三角形等角。,第四节 复合命题推理的有效式,肯定后件式: ( P q) q P 例:当且仅当某机关是法院时,它才有审判权;某机关有审判权,所以,某机关是法院。,第四节 复合命题推理的有效式,( 2)否定式: 否定前件式 ( P q) P q 例: 当且仅当一个三角形等边,则它等角,这个三角形不等边,所以,这个三角形不等角。,第四节 复合命题推理的有效式,否定后件式: ( P q) q P 例: 当且仅当一个三角形等边,则它等角,这个三角形不等角, 所以,这个三角形不等边。,第四节 复合命题推理的有效式,3 、规则: 肯定前件,就要肯定后件。(肯定前件

25、式) 肯定后件,就要肯定前件。(肯定后件式) 否定前件,就要否定后件。(否定前件式) 否定后件,就要否定前件。(否定后件式),第五节 复合命题推理的其他有效式,一、排斥(不相容)选言推理 1 、定义: 排斥选言推理是前提中有一个排斥选言命题,并根据排斥选言命题的逻辑性质进行的推理。,第五节 复合命题推理的其他有效式,2 、两种有效的推理形式 ( 1 )肯定否定式:( P q) ( P q) P q,第五节 复合命题推理的其他有效式,( 2 )否定肯定式:( P q) ( P q) P q,第五节 复合命题推理的其他有效式,3 、 规则: 肯定一部分选言支,就要否定另一部分选言支。 否定一部分选

26、言支,就要肯定另一部分选言支。,第五节 复合命题推理的其他有效式,二、必要条件假言推理 1 、定义: 必要条件假言推理是前提中有一个必要条件假言命题,并根据必要条件假言命题的逻辑性质进行的推理。 必要条件假言命题的逻辑性质:前假后必假,后真前必真。,第五节 复合命题推理的其他有效式,2 、两种有效的推理形式 ( 1 )否定前件式 ( 2 ) 肯定后件式 3 、必要条件假言推理的规则: 否定前件,就要否定后件。(否定前件式) 肯定前件,不能肯定后件。 肯定后件,就要肯定前件。(肯定后件式) 否定后件,不能否定前件。,第五节 复合命题推理的其他有效式,三、假言连锁推理(纯假言推理) 假言连锁推理是

27、以两个或两个以上的假言命题为前提,并根据假言命题的逻辑性质进行的推理。 其特点是:前一个假言前提的后件是后一个假言前提的前件。,第五节 复合命题推理的其他有效式,例 1: 如果罪犯碎尸、抛尸,那么应有运尸过程; 如果有运尸过程,那么应有运尸工具; 所以,如果罪犯碎尸、抛尸,那么应有运尸工具。,第五节 复合命题推理的其他有效式,四、二难推理: 1 定义: 二难推理又叫假言选言推理,是以假言命题和选言命题为前提,并根据假言命题和选言命题的逻辑性质进行的推理。 最常见形式:是由两个充分条件假言命题和一个二支的选言命题作为前提而构成的推理。,第五节 复合命题推理的其他有效式,2、二难推理的有效推理式 根据二难推理的结论是直言命题还是选言命题,

温馨提示

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

评论

0/150

提交评论