《假言命题及推理》PPT课件.ppt

《假言命题及推理》PPT课件.ppt

ID:52473970

大小:293.32 KB

页数:21页

时间:2020-04-08

《假言命题及推理》PPT课件.ppt_第1页
《假言命题及推理》PPT课件.ppt_第2页
《假言命题及推理》PPT课件.ppt_第3页
《假言命题及推理》PPT课件.ppt_第4页
《假言命题及推理》PPT课件.ppt_第5页
资源描述:

《《假言命题及推理》PPT课件.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、假言命题及其推理海管1103班郏颖引入1.要想皮肤好,早晚用大宝。2.大家好,才是真的好。3.给我一个支点,我可以撬动整个地球。一、假言命题的定义、构成、连接词二、假言推理三、假言命题及其推理的分类定义假言命题是断定事物情况之间条件关系的命题,也成为条件命题。例子(1)如果在淀粉溶液里加碘酒,那么淀粉溶液会变蓝。(2)如果骄傲自满,学习就要落后。(3)只有年满18岁,才有选举权。(4)只要而且只有社会分裂为阶级时,国家才会出现。构成前件+后件表示条件的肢命题称为假言命题的前件。表示依赖该条件而成立的命题称为

2、假言命题的后件。注:前件、后件的判断不可以根据前后位置判断。例:砍头不要紧,只要主义真。(前件)联结词假言命题的联结词叫做“假言联结词”。如:如果……就……只有……才……要……就要……假言推理定义前提中包含有假言命题,并且依据假言命题的逻辑性质来进行推演的推理就是假言推理。分类根据假言联结词所表示的前后件之间不同的条件关系,可把假言命题分为三种:(1)充分条件假言命题(2)必要条件假言命题(3)充分必要条件假言命题根据假言命题的类型,假言推理也可相应的分为三种:(1)充分条件假言推理(2)必要条件假言推理(

3、3)充分必要条件假言推理一、充分条件假言命题及其推理(一)充分条件假言命题含义充分条件的假言命题是指前件是后件的充分条件的假言命题。所谓前件是后件的充分条件是指:只要存在前件所断定的事物情况,就一定会出现后件所断定的情况。用p表示前件,用q表示后件则充分条件的假言命题的命题形式可表示为:如果p,那么q符号为:p→q(读作“p蕴涵q”)逻辑特征:p真,q未必真p假,q未必假充分条件假言命题的真假判断:对于充分条件假言命题来说,其真假并非简单地取决于其前后件本身的真假,而取决于它的前后件之间是否确定存在充分条件

4、的关系。例:1.如果天气好,那么我去接你。2.如果马克思主义害怕批评,那么马克思主义就不是真理了。真值表pqp→qTTTTFFFTTFFT(二)充分条件假言推理含义充分条件假言推理是以充分条件假言命题作为前提而构成的假言推理。a.前件肯定式(有效)他患了肺炎,所以他发烧。b.否定后件式(有效)他没发烧,所以他没患肺炎。c.否定前件式(无效)他没患肺炎,所以他不发烧。d.肯定后件式(无效)他发烧了,所以他患了肺炎。二、必要假言命题及其推理(一)必要假言命题1.含义必要条件假言命题是指前件是后件的必要条件的假言

5、命题。所谓前件是后件的必要条件是指:如果不存在前件所断定的事物情况,就不会有后件所断定的事物情况。例:1.只有深入生活,才能深刻的反映生活。2.不具备一定的专业知识,就不能做好工作。必要条件假言命题选取“只有……才……”作为联结词的代表,并用反蕴涵符号“←”来表示。必要条件假言命题的逻辑形式可表示为:“只有p,才q”或“p←q”(读作“p反蕴涵q”)逻辑特征:p真,q未必真p假,q必然假真值表pqp←qTTTTFTFTFFFT(二)必要条件假言推理含义必要条件假言推理是以必要条件假言命题作为前提而构成的假言

6、推理。a.否定前件式(有效)他精神不正常,所以他不可能充当证人。b.肯定后件式(有效)他可以充当证人,他精神正常。c.肯定前件式(无效)他精神正常,他可以充当证人。d.否定后件式(无效)他不可以充当证人,所以他精神不正常。一、充分必要条件假言命题及其推理(一)充分必要条件假言命题含义充分必要条件的假言命题是指前件是后件的充分必要条件的假言命题。所谓前件是后件的充分必要条件是指:只要存在前件所断定的事物情况,就一定会出现后件所断定的情况,反之亦然。例:人不犯我,我不犯人;人若犯我,我必犯人。充分必要条件假言命

7、题选取“当且仅当……则……”作为联结词的代表,并用等值符号“←→”来表示。充分必要条件假言命题的逻辑形式可表示为:“当且仅当p,则q”或“p←→q”(读作“p等值于q”)逻辑特征:p真,q必然真p假,q必然假真值表pqp←→qTTTTFFFFTFTF(二)充分必要条件假言推理含义充分必要条件假言推理是以充分必要条件假言命题作为前提而构成的假言推理。a.肯定前件式(有效)一个三角形是等边三角形,则这个三角形是等角三角形。b.肯定后件式(有效)一个三角形是等角三角形,则这个三角形是等边三角形。c.肯定前件式(有

8、效)一个三角形不是等边三角形,则这个三角形不是等角三角形。d.否定后件式(有效)一个三角形不是等角三角形,则这个三角形不是等边三角形。

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。