第七讲-命题逻辑分析课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第七讲-命题逻辑分析课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第七 命题逻辑 分析 课件
- 资源描述:
-
1、第七讲第七讲 命题逻辑(下)命题逻辑(下)目目 录录v第一节第一节 命题公式与真值函项命题公式与真值函项v第二节第二节 命题公式之间的逻辑等值关命题公式之间的逻辑等值关系系v第三节第三节 基本的有效推理式基本的有效推理式v第四节第四节 推理有效性的形式证明推理有效性的形式证明v第五节第五节 无效推理的证明无效推理的证明第一节第一节 命题公式与真值函项命题公式与真值函项v1.1 命题公式命题公式v1.2 命题公式与真值函项命题公式与真值函项1.11.1命题公式命题公式v初始符号初始符号v命题变元:命题变元:p,q,r,v命题联结词:命题联结词:, v辅助符号:辅助符号: (,(, )逻辑变元逻辑
2、变元 逻辑常元逻辑常元 辅助符号辅助符号v 第第1 1类符号是逻辑类符号是逻辑变元变元,它们是抽,它们是抽象的命题代表,如果代表真命题,变象的命题代表,如果代表真命题,变元取值为真,如果代表假命题则取值元取值为真,如果代表假命题则取值为假。因此这类符号称作以真值为定为假。因此这类符号称作以真值为定义域的变元。义域的变元。v 第第2 2类符号是逻辑类符号是逻辑常元常元,它们有确定,它们有确定的逻辑解释因而能够表达某种确定的的逻辑解释因而能够表达某种确定的真假联系。真假联系。v第第3 3类符号则是为避免歧义以构造类符号则是为避免歧义以构造合式命题公式所需要的合式命题公式所需要的辅助符号辅助符号。v
3、形成规则形成规则v1 1、所有命题变元是命题公式;、所有命题变元是命题公式;v2 2、如果、如果 是命题公式,那么是命题公式,那么是命题公式是命题公式v3 3、如果、如果 、 是命题公式,那么(是命题公式,那么(),),( )、()、()和()和()也是命)也是命题公式;题公式;v4 4、只有符合以上、只有符合以上3 3条的才是命题公式。条的才是命题公式。1.1命题公式命题公式 pqr,p q,pq r 这些都不是命题公式。这些都不是命题公式。v 从逻辑的角度看,命题公式是构造出从逻辑的角度看,命题公式是构造出来的,具体命题只是命题公式的例示,来的,具体命题只是命题公式的例示,即命题公式的一个
4、特例。即命题公式的一个特例。 如下具体如下具体命题都是命题公式命题都是命题公式“(pqpq)r r”的例的例示:示:v 如果加温到了一定限度且加压到一定限如果加温到了一定限度且加压到一定限度,那么空气可以液化。度,那么空气可以液化。v 如果考试合格并且体检合格,那么就可如果考试合格并且体检合格,那么就可以上大学。以上大学。(12007/1312007/13)1.21.2命题公式与真值函项命题公式与真值函项v 命题公式就相当于一个函数式,命题公式就相当于一个函数式,公式的值由变元的值唯一确定。公式的值由变元的值唯一确定。v 命题公式是一个以真假为定义命题公式是一个以真假为定义域,并且也以真假为值
5、域的特殊函域,并且也以真假为值域的特殊函数。真假是命题的数。真假是命题的逻辑值逻辑值,简称真,简称真值。因此,命题公式被称作值。因此,命题公式被称作真值函真值函项项。v 我们可以看到,给定个命题变元,则有我们可以看到,给定个命题变元,则有n n种真种真假取值,然后构成假取值,然后构成2 2 n n个真值函项。这些不同的真个真值函项。这些不同的真值函项分为三大类:值函项分为三大类:v 恒真式恒真式。不论其中的变元取什么样的值,函。不论其中的变元取什么样的值,函项式的值恒为真。项式的值恒为真。v 恒假式恒假式。无论其中的变元取什么样的值,函。无论其中的变元取什么样的值,函项式的值恒为假。项式的值恒
6、为假。v 协调式协调式。既不是恒真式也不是恒假式的函项。既不是恒真式也不是恒假式的函项式。显然,协调式在其变元的某些取值组合下为真,式。显然,协调式在其变元的某些取值组合下为真,在另一些取值组合下又为假。因此。协调式的真假在另一些取值组合下又为假。因此。协调式的真假由变元的真假决定。由变元的真假决定。1.21.2命题公式与真值函项命题公式与真值函项第二节第二节 命题公式之间的逻辑等值关系命题公式之间的逻辑等值关系v2.12.1、命题公式之间的逻辑等值、命题公式之间的逻辑等值v2.22.2、几个重要的重言等值式、几个重要的重言等值式v2.32.3、命题联结词的相互定义、命题联结词的相互定义v 逻
7、辑等值的公式:表达同一真值函项的逻辑等值的公式:表达同一真值函项的公式在任何情况下都具有相同的逻辑值,公式在任何情况下都具有相同的逻辑值,我们称这些公式是逻辑等值的公式。我们称这些公式是逻辑等值的公式。v真值表:判定两个公式是否逻辑等值真值表:判定两个公式是否逻辑等值v例例1 1、判定命题公式、判定命题公式“p p q q ”与与“ (pq) (pq) ”是否逻辑等值。是否逻辑等值。v例例2 2、判定命题公式、判定命题公式“(pq) r”(pq) r”与与“p(q r)”p(q r)”是否逻辑等值。是否逻辑等值。2.1、命题公式之间的逻辑等值、命题公式之间的逻辑等值v如果两个公式是等值的,那么
8、以这两个公如果两个公式是等值的,那么以这两个公式为子公式构造一个等值式:式为子公式构造一个等值式: (pp q q )( (pq) (pq))。)。v 这个等值式是恒真的,由此可推知,一这个等值式是恒真的,由此可推知,一个等值式是重言式,那么它的两个子公式个等值式是重言式,那么它的两个子公式逻辑等值。逻辑等值。v如果一个等值式是如果一个等值式是重言式重言式,那么我们就用,那么我们就用符号符号“”代替等值联结代替等值联结“”。2.1、命题公式之间的逻辑等值、命题公式之间的逻辑等值2.22.2、几个重要的重言等值式、几个重要的重言等值式v1、交换律、交换律 (pq)(q p) (pq)(q p)v
9、2、结合律、结合律 (pq )r)(p ( q r) (p q ) r)(p ( q r)v3、德摩根律、德摩根律 (pq) pq; (pq) pq。4、分配律、分配律 p(qr) (pq)(pr) p(qr) (pq) (pr)5、实质蕴涵、实质蕴涵(pq) ( p q)理解:当前件假(理解:当前件假( p p )而后件真()而后件真(q q)时时pqpq恒真。恒真。6、假言易位、假言易位 (pq) ( q p )理解:充分条件假言命题的否定后件理解:充分条件假言命题的否定后件式推理式推理2.2、几个重要的重言等值式、几个重要的重言等值式7、移出律、移出律 (pq) r p(q r)理解:假
10、言前件可以分先后出现。理解:假言前件可以分先后出现。8、实质等值、实质等值 (pq) (p q) (q p)理解:等值式分解为蕴涵和逆蕴涵。理解:等值式分解为蕴涵和逆蕴涵。9、双否律、双否律 p p 理解:二值逻辑。理解:二值逻辑。10、重言律、重言律 p p p; p p p理解:思维的重复反映理解:思维的重复反映2.2、几个重要的重言等值式、几个重要的重言等值式2.32.3、命题联结词的相互定义、命题联结词的相互定义v“ ,”、“ ,”、“ ,”v例:证明用例:证明用“ ,”构造的命题公式构造的命题公式可以定义所有五种基本命题公式。可以定义所有五种基本命题公式。 如:如: (pq) (p
11、q) (pq) (p q) (pq) ? 3.13.1、推理的有效性、推理的有效性 3.2 3.2、基本的有效推理式、基本的有效推理式第三节第三节 基本的有效推理式基本的有效推理式v(1 1) “ “如果张珊是如果张珊是中国公民并且她有选中国公民并且她有选举权举权 ,那么张珊年,那么张珊年满满1818岁。张珊是中国岁。张珊是中国公民,但是她还没满公民,但是她还没满1818岁。岁。所以所以,张珊没,张珊没有选举权。有选举权。”v(2 2)“如果张珊是如果张珊是中国公民并且她有中国公民并且她有选举权选举权 ,那么张珊,那么张珊年满年满1818岁。张珊是岁。张珊是中国公民,但是她中国公民,但是她还没
12、满还没满1818岁。张珊岁。张珊没有选举权。没有选举权。” 3.1 3.1、推理的有效性、推理的有效性(pq r)(p r) q第三节第三节 基本的有效推理式基本的有效推理式 3.1 3.1推理的有效性推理的有效性v 推理是一个包含推理是一个包含特殊词项特殊词项的命题集合,根的命题集合,根据这样的词项,我们可以区分出前提和结论。据这样的词项,我们可以区分出前提和结论。v 推理的有效性是由推理的形式决定的。它推理的有效性是由推理的形式决定的。它表现为作为前提的命题同作为结论的命题之表现为作为前提的命题同作为结论的命题之间的一种间的一种逻辑关联性逻辑关联性,这种逻辑关联取决于,这种逻辑关联取决于构
13、成推理的命题的形式结构特征。构成推理的命题的形式结构特征。(12005/14)(12005/14)v 如果如果前提真时结论必然是真的前提真时结论必然是真的,我们就称前提,我们就称前提和结论之间有和结论之间有必然的逻辑联系必然的逻辑联系。这种联系保证了。这种联系保证了推理推理决不会出现前提真而结论假决不会出现前提真而结论假的情况。因此,的情况。因此,可以由前提的真来保证结论真,由前提可靠有效可以由前提的真来保证结论真,由前提可靠有效地推演出结论的可靠。前提和结论之间具有必然地推演出结论的可靠。前提和结论之间具有必然逻辑联系的推理就是有效推理。逻辑联系的推理就是有效推理。v 如果前提和结论之间不具
14、有必然的逻辑联系,如果前提和结论之间不具有必然的逻辑联系,那么前提真时结论是否为真不能确定,即不能由那么前提真时结论是否为真不能确定,即不能由前提的真有效地推导出结论真,这样的推理就是前提的真有效地推导出结论真,这样的推理就是无效推理。无效推理。 3.1 3.1、推理的有效性、推理的有效性v推理:推理: 设命题序列设命题序列=是一个推理是一个推理形式,其中形式,其中p1,p2.pn是前提,是前提,q是结论。是结论。v 是一个有效的推理式,当且仅当,如是一个有效的推理式,当且仅当,如果果p1,p2.pn真那么真那么q一定为真。一定为真。v 是无效推理式,如果至少有一个代换是无效推理式,如果至少有
15、一个代换示例使得示例使得p1,p2.pn真但真但q假假 。v “代换示例代换示例”这里指的是命题公式。这里指的是命题公式。根据合取式的逻辑特征:根据合取式的逻辑特征:pq p(q)合取消去合取消去简记为简记为-合取引入合取引入简记为简记为+Pqpq3.2 3.2 基本的有效推理式基本的有效推理式 小张喜爱音乐,小张喜爱体育,所小张喜爱音乐,小张喜爱体育,所以,小张不但喜爱音乐,也喜爱体育。以,小张不但喜爱音乐,也喜爱体育。小张既有优点,也有缺点,小张既有优点,也有缺点,所以,小张是有优点的。所以,小张是有优点的。根据析取式的逻辑特征:根据析取式的逻辑特征:选言三段论选言三段论简记简记-p q
16、p q附加规则附加规则简记简记+ p p q或者李某是嫌疑犯,或者王某是或者李某是嫌疑犯,或者王某是嫌疑犯嫌疑犯(或者二者都是或者二者都是);李某不是嫌疑犯;李某不是嫌疑犯;所以,王某是嫌疑犯。所以,王某是嫌疑犯。发烧可由肺炎引起;发烧可由肺炎引起;所以,发烧或者可由肺炎引所以,发烧或者可由肺炎引起或者可由感冒引起。起或者可由感冒引起。(13(13上上/12)/12)3.2 3.2 基本的有效推理式基本的有效推理式 注意与注意与-的区别:是间接的(有两个前提)而不是直接的。的区别:是间接的(有两个前提)而不是直接的。根据蕴涵式的逻辑特征:根据蕴涵式的逻辑特征:分离规则(蕴涵分离规则(蕴涵消去)
17、消去)简记简记MPpq p q逆分离规则逆分离规则简记简记MTpq q p假言三段论假言三段论简记简记HSpq p qpq p p注意注意:也是间接的(需要有前件真作条件才能消去也是间接的(需要有前件真作条件才能消去) pqqr pr根据蕴涵式的逻辑特征:根据蕴涵式的逻辑特征:二难推理二难推理(CD)(pq) (rs) pr qs (pq) (rs) q s p r破坏式二难推破坏式二难推理理(DD)第四节、推理有效性的形式证明第四节、推理有效性的形式证明v4.1 、推理有效性与命题演算、推理有效性与命题演算v4.2、 有效推理的形式证明有效推理的形式证明v4.3、 等值替换规则等值替换规则v
18、4.4 、条件证明规则条件证明规则C.Pv4.5、 间接证明规则间接证明规则RAAv4.6、 证明重言式证明重言式4.1 4.1 推理有效性与命题演算推理有效性与命题演算v 对于简单的复合命题推理,我们可以直接根据这些对于简单的复合命题推理,我们可以直接根据这些基本有基本有效式效式来判定推理是否有效。但是对于复杂的推理这样就不够了。来判定推理是否有效。但是对于复杂的推理这样就不够了。 例例1 : 如果商品短缺日益严重(),那么物价会上涨();如果商品短缺日益严重(),那么物价会上涨(); 如果存在生产过剩(),那么物价不会上涨(如果存在生产过剩(),那么物价不会上涨( );); 如果存在通货膨
19、胀威胁(),那么财政控制将继续();如果存在通货膨胀威胁(),那么财政控制将继续(); 如果政府改组(),那么财政控制将取消(如果政府改组(),那么财政控制将取消( E);); 或者存在生产过剩(),或者政府改组();或者存在生产过剩(),或者政府改组(); 因此,商品短缺不会日益严重(因此,商品短缺不会日益严重( A),或者不再存在通货),或者不再存在通货膨胀威胁(膨胀威胁( D)。)。 (A B)( C B) ( D E)( F E) C F ( A D)v命题演算系统命题演算系统v建立命题演算系统有两种方法:建立命题演算系统有两种方法: 一是公理化方法,一是自然演绎方法。一是公理化方法,
20、一是自然演绎方法。v 公理化的命题演算系统是在形式语言基础公理化的命题演算系统是在形式语言基础上上增添公理增添公理和变形规则建构起来的。和变形规则建构起来的。v 自然演绎系统,自然演绎系统,没有公理没有公理,只有一系列推,只有一系列推理规则。它是引入特定前提为假设,根据推理规则。它是引入特定前提为假设,根据推理规则推演出结论而建构起来的演算系统。理规则推演出结论而建构起来的演算系统。4.1 4.1 推理有效性与命题演算推理有效性与命题演算4.24.2有效推理的形式证明有效推理的形式证明v 在命题演算系统中对推理有效性的证明在命题演算系统中对推理有效性的证明称作形式证明。现在给出自然演绎系统中称
21、作形式证明。现在给出自然演绎系统中形式证明的定义:形式证明的定义:v 形式证明的定义形式证明的定义 : 一个形式证明是一一个形式证明是一个命题公式序列个命题公式序列A1,A2,An。其中任一的。其中任一的Ai(1 i n)或者是)或者是前提前提,或者是由前面的,或者是由前面的公式根据推理规则得到的。序列的最后一公式根据推理规则得到的。序列的最后一个公式个公式An恰好是恰好是结论结论。v 自然演绎系统形式证明是建立在推理规则自然演绎系统形式证明是建立在推理规则基础之上的。基础之上的。这些规则大约可分为四部分:这些规则大约可分为四部分:v一是基本推导规则;一是基本推导规则;v二是等值替换规则;二是
22、等值替换规则;v三是条件证明规则;三是条件证明规则;v四是间接证明规则。四是间接证明规则。4.24.2有效推理的形式证明有效推理的形式证明根据合取式的逻辑特征:根据合取式的逻辑特征:pq p分解式分解式简记为简记为-组合式组合式简记为简记为+Pqpq根据析取式的逻辑特征:根据析取式的逻辑特征:选言三段论选言三段论简记简记- -P qp q附加式附加式简记简记+ P P q一、基本推导规则:一、基本推导规则: p根据蕴涵式的逻辑特征:根据蕴涵式的逻辑特征:分离式分离式简记简记MP()pq p q逆分离式逆分离式简记简记MTpq q p二难推理二难推理CD(pq) (rs) pr qs假言三段论假
23、言三段论简记简记HSpq qr pr一、基本推导规则一、基本推导规则:(pq) (rs) q s p r破坏式二难推理破坏式二难推理DD显然,也有假言联言的构成式和破坏式推理。显然,也有假言联言的构成式和破坏式推理。v例例1 1 如果商品短缺日益严重,那么物价会上涨。如果商品短缺日益严重,那么物价会上涨。如果存在生产过剩,那么物价不会上涨。如果存在通如果存在生产过剩,那么物价不会上涨。如果存在通货膨胀威胁,那么财政控制将继续。如果政府改组,货膨胀威胁,那么财政控制将继续。如果政府改组,那么财政控制将取消。或者存在生产过剩,或者政府那么财政控制将取消。或者存在生产过剩,或者政府改组。因此,商品短
24、缺不会日益严重,或者不再存在改组。因此,商品短缺不会日益严重,或者不再存在通货膨胀威胁。通货膨胀威胁。v 首先将该推理形式化,在此基础上建立该推理有效首先将该推理形式化,在此基础上建立该推理有效性的形式证明。性的形式证明。v 解:设解:设“商品短缺日益严重商品短缺日益严重”为为A A,“物价会上涨物价会上涨”为为B B,“存在生产过剩存在生产过剩”为为C C,“存在通货膨胀威胁存在通货膨胀威胁”为为D D,“财政控制将继续财政控制将继续”为为E E,“政府改组政府改组”为为F F。 (A B)( C B) ( D E)( F E) C F ( A D) (A BA B)( C C B B) (
25、 D ED E)( F F E E) (C F) (C F) ( AA D D) A B P C B P D E P F E P C F P / A D(C B)(F E) + B E CD(A B)(D E) + A D DD 要善于观察要善于观察,从,从结论去倒推:看到结论去倒推:看到 A和和 D可从对可从对 和和 的的否定推出,而否定否定推出,而否定 和和 必须必须有有 B 和和 E ,其,其又可从对和的肯定得出,再看到又可从对和的肯定得出,再看到 C F刚好是刚好是 和和的前提,可以构成二难推理的前提,可以构成二难推理CD,推出,推出 又是对又是对 和和 的后件的否定,可以构成破坏式二
展开阅读全文