第五讲命题逻辑上课件.ppt

《第五讲命题逻辑上课件.ppt》由会员分享，可在线阅读，更多相关《第五讲命题逻辑上课件.ppt（42页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第五讲命题逻辑上第1页，此课件共42页哦第一节第一节 基本的有效推理式基本的有效推理式问题问题问题问题：下列推理是否有效？：下列推理是否有效？：下列推理是否有效？：下列推理是否有效？（1 1）如果张珊是中国公民并且她有选举权，那么她年满18岁。岁。（2）张珊是中国公民，但是她还没满18岁。所以，张珊没有选举权。一个推理的有效性是有其一个推理的有效性是有其一个推理的有效性是有其一个推理的有效性是有其形式决定的形式决定的形式决定的形式决定的(p q)r p r q第2页，此课件共42页哦（1）如果这种商品价格低廉并且品质优良，那么它就能够畅销。（2）该商品确实价格低廉，但是它不畅销。所以，这种商品

2、品质不优良。(p q)r p r q第3页，此课件共42页哦内容各异的种种具体推理则只是推理形式的代换实例，简称为例示。一个具体推理是某个推理形式的代换例示，那么代换必须是处处进行。所谓代换处处进行是指，用一个具体命题对一个变元进行代换，对该变元的每一处出现都必须用这同一个命题来代换。第4页，此课件共42页哦什么是一个有效的推理？如果前提真时结论必然是真的，我们就称前提和结论之间有必然的逻辑联系。前提和结论之间具有必然逻辑联系的推理就是有效推理。第5页，此课件共42页哦什么是无效推理？如果前提和结论之间不具有必然的逻辑联系，那么前提真时结论是否为真不能确定，即不能由前提的真有效地推导出结论真，

3、这样的推理就是无效推理。第6页，此课件共42页哦有效推理的定义有效推理的定义 设命题序列=p1，p2，pn，q是一个推理形式，其中p1，p2，pn是前提，q是结论。是一个有效的推理式，当且仅当，的每一代换实例都使得：如果p1，p2，pn真那么q真。是无效推理式，如果至少有一个的代换实例使得：p1，p2，pn真但q假。第7页，此课件共42页哦如何判定一个推理是无（有）效式？(p q)r p q r（1）如果李司是中国公民并且他有选举选，那么他年满18岁。（2）李司是中国公民，但是他没有选举权。所以，李司还没满18岁。第8页，此课件共42页哦22 基本的有效推理式基本的有效推理式1简化式（简记简化

4、式（简记为为-）p q p组合式（简记为组合式（简记为+）p q p q第9页，此课件共42页哦“菊花可以观赏。菊花可以入药。所以，菊花既可观赏又可入药。”“当事人订立的合同既有书面形式又有口头形式。所以，当事人订立的合同有书面形式。”第10页，此课件共42页哦2选言三段论选言三段论（简记（简记-）pq p q附加式（简记附加式（简记+）p pq第11页，此课件共42页哦（1）拍卖的物品是委托人所有的或者是委托人依法可以处分的。（2）该拍卖物品不是委托人所有的。所以，该拍卖物品是委托人依法可以处分的。”第12页，此课件共42页哦3 分离式（简记分离式（简记MP）p q p q（1）如果是犯罪嫌

5、疑人，那么必有犯罪动机。（2）王武是犯罪嫌疑人。所以，王武有犯罪动机。第13页，此课件共42页哦逆分离式（简逆分离式（简记记MT）p q q p（1）如果天在下雨，那么地是湿的。（2）外面的地不是湿的。所以，天没有下雨。第14页，此课件共42页哦假言三段论假言三段论（简记（简记HS）p q q r p r（1）如果这种商品定价过高，那么将使企业丧失部分销售市场。（2）如果企业丧失了这部分销售市场，那么企业销售额将受到严重影响。所以，如果这种商品定价过高，那么企业销售额将受到严重影响。第15页，此课件共42页哦如下推理式是无效的：p q p q p q q p第16页，此课件共42页哦4.二难推

6、理（简记二难推理（简记CD）(pq)(rs)pr qs第17页，此课件共42页哦二难推理的破坏式：(pq)(rs)qs pr第18页，此课件共42页哦“半费之讼”说明，要推出正确的结论，首先要求推理形式是有效的，形式无效的推理其结论一定不正确。但是，形式有效的推理结论是否正确还有赖于前提，如果前提象关于学费的契约那样是有问题的，结论也不一定正确。第19页，此课件共42页哦总结:我们讨论了八个基本的有效推理式。显然，构成推理式的基本命题公式的逻辑特征决定了这八个推理式的有效性。第20页，此课件共42页哦第二节第二节 推理有效性的形式证明推理有效性的形式证明21 推理有效性与推理有效性与命题演算命

7、题演算逻辑研究的目的是判定一个推理是否逻辑研究的目的是判定一个推理是否有效及分析其根据，有了以上八个基有效及分析其根据，有了以上八个基本的有效推理式之后，我们就能判定本的有效推理式之后，我们就能判定一个由复合命题构成的推理是否有效一个由复合命题构成的推理是否有效了。了。第21页，此课件共42页哦对于简单的由复合命题推理，我们可以直接根据这些基本有效式来判定推理是否有效。（1）如果是犯罪嫌疑人，那么必有犯罪动机。（2）王武有犯罪动机。所以，王武是犯罪嫌疑人。第22页，此课件共42页哦（1 1）如果商品短缺日益严重，那么物价会上涨。）如果商品短缺日益严重，那么物价会上涨。（2 2）如果存在生产过剩

8、，那么物价不会上涨。（3 3）如果存在通货膨胀威胁，那么财政控制将继续。）如果存在通货膨胀威胁，那么财政控制将继续。（4）如果政府改组，那么财政控制将取消。）如果政府改组，那么财政控制将取消。（5 5）或者存在生产过剩，或者政府改组。）或者存在生产过剩，或者政府改组。因此，商品短缺不会日益严重，或者不再存在通货膨胀，商品短缺不会日益严重，或者不再存在通货膨胀威胁。威胁。第23页，此课件共42页哦建立命题演算系统有两种方法，一是公理化方法，一是自然演绎方法。公理化的命题演算系统是在形式语言基础上增添公理和变形规则建构起来的。公理是推演的出发点，由公理根据推理规则推演出的是定理。在公理化系统中，所

9、有定理的可靠性依赖于公理是否成立和推理规则是否可靠。第24页，此课件共42页哦自然演绎系统与公理系统有何不同？自然演绎系统没有公理，只有一系列推理规则。它引入特定前提为假设，根据推理规则推演出结论而建构起来的演算系统。由于这个系统描述的推演关系比较直接而自然地反映了人们的思维过程，因而被称作自然演绎系统。在自然演绎系统中，所有定理的可靠性则只依赖于推理规则是否可靠。第25页，此课件共42页哦22 有效推理的形式证明有效推理的形式证明 在命题演算系统中对推理有效性的证明称作形式证明。形式证明的定义形式证明的定义 一个形式证明是一个命题公式序列A1，A2，An。其中的任一Ai（1in）或者是前提，

10、或者是由前面的公式根据推理规则得到的。序列的最后一个公式An恰好是结论。第26页，此课件共42页哦自然演绎系统形式证明是建立在推理规则基础之上的。这些规则大约可分为四部分：一、基本推导规则，二、等值替换规则，三、条件证明规则，四、间接证明规则。第27页，此课件共42页哦一、基本推导规则1 组合规则（+）p q pq 2 简化规则（-）pq p 第28页，此课件共42页哦3 否定消去规则（-）pq p q4 附加规则（+）p pq第29页，此课件共42页哦5 分离规则（MP）pq p q 6 逆分离规则（MT）pq q p第30页，此课件共42页哦7 假言三段论（HS）pq qr pr8 二难推

11、理（CD）(pq)(rs)pr q s第31页，此课件共42页哦如何运用规则建立形式证明？（1 1）如果商品短缺日益严重，）如果商品短缺日益严重，那么物价会上涨。那么物价会上涨。（2 2）如果存在生产过剩，那么物）如果存在生产过剩，那么物价不会上涨。价不会上涨。（3 3）如果存在通货膨胀威胁，那）如果存在通货膨胀威胁，那么财政控制将继续。么财政控制将继续。（4 4）如果政府改组，那么财政）如果政府改组，那么财政控制将取消。控制将取消。（5 5）或者存在生产过剩，或）或者存在生产过剩，或者政府改组。者政府改组。因此因此，商品短缺不会日益严重，商品短缺不会日益严重，或者不再存在通货膨胀威胁。或者不

12、再存在通货膨胀威胁。A A B P B P C C B PB P D D E P E P F F E P E P C C F P F P /A A D D（C C B B）（F F E E）+B B E E CDCD（A A B B）（D D E E）+A A D D CDCD第32页，此课件共42页哦首先将该推理形式化，在此基础上建立该推理有效性的形式证明。A A B P B P C C B PB P D D E P E P F F E P E P C C F P /F P /A A D D第33页，此课件共42页哦23 等值替换规则等值替换规则为什么要引入等值替换规则？为什么要引入等值替换

13、规则？例如：（AB）C A C第34页，此课件共42页哦 等值替换规则等值替换规则9、交换律、交换律（COM）(pq)(qp)(pq)(qp)10、结合律、结合律（Ass）(pq)r)(p(qr)(pq)r)(p(qr)第35页，此课件共42页哦11、德摩根律、德摩根律（DeM）(pq)(pq)(pq)(pq)12、分配律、分配律（Dist）(p(qr)(pq)(pr)(p(qr)(pq)(pr)第36页，此课件共42页哦13、实质蕴涵、实质蕴涵（Impl）(pq)(pq)14、假言易位、假言易位（Tran）(pq)(q p)第37页，此课件共42页哦15、移出律、移出律（Esp）(pq)r)

14、(p(qr)16、实质等值、实质等值（Equi）(pq)(pq)(qp)第38页，此课件共42页哦17 双否律双否律（DN）p p 18 重言律重言律（Taut）p (pp)p (pp)第39页，此课件共42页哦（AB）C A C解：（AB）C P A C （AB）C Impl (AB)C DeM (AC)(BC)Dist AC -AC Impl第40页，此课件共42页哦例3 如果他主张减轻农民的税负，他将赢得农民的支持。如果他主张政府增加对社会福利的投入，他将赢得工人的支持。如果他既赢得农民的支持又赢得工人的支持，他就肯定能当选。但是他没有当选。所以，或者他不主张减轻农民的税负，或者不主张政府增加对社会福利的投入。第41页，此课件共42页哦 AB P CD P（BD）E P E P AC（BD）MT BD DeM（AB）（CD）+（BA）(DC)Tran AC CD第42页，此课件共42页哦