普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx

上传人(卖家):三亚风情 文档编号:3319315 上传时间:2022-08-19 格式:PPTX 页数:21 大小:10.55MB
下载 相关 举报
普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx_第1页
第1页 / 共21页
普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx_第2页
第2页 / 共21页
普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx_第3页
第3页 / 共21页
普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx_第4页
第4页 / 共21页
普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx_第5页
第5页 / 共21页
点击查看更多>>
资源描述

1、普 通 逻 辑课程代码 00024第七章 演绎推理(二):基于命题的推理(下)(一)联言推理1、联言推理:前提或者结论是联言判断的推理。如:(1)司马迁既是文学家,也是史学家,所以司马迁是史学家。(2)婺w源山明水秀,无缘物产富饶,所以婺源不仅山明水秀,而且物产富饶。2、联言推理的种类分解式:前提为联言判断、结论为某一支判断。如:(1)学生会干部要品学兼优,所以学生会干部要学习成绩优秀。(2)边看电视边喝茶,能减少电视辐射的危害,并能保护视力,所以边看电视边喝茶,能保护视力。分解式的推理形式为 p并且q,所以p 或 p并且q,所以q;写作 pqp,或者 pqq。合成式:前提为支判断、结论为联言

2、判断。如:(1)岳飞是军事家,岳飞是文学家,所以岳飞既是军事家,又是文学家。(2)这个厂只有20人,这个厂全年利润200万美元,所以这个厂尽管只有20人,但是全年利润200万美元。分解式的推理形式为 p,q,所以p并且q;写作 p,qpq。2、联言推理的种类(二)选言推断1、选言推断:前提或者结论包含有选言判断的推理。如:(1)那个盲人要么戴红帽子要么戴白帽子,那个盲人戴红帽子,所以那个盲人没有戴白帽子。(2)该厂成本降低或者是因为节省开支,或者是因为提高效率,该厂成本降低不是因为节省开支,所以该厂成本降低是因为提高效率。2、根据前提中所含的选言判断不同,可分为相容选言推理和不相容选言推理。3

3、、相容选言判断常见的推理形式:否定肯定式 和 析取引入式。否定肯定式的结构前提一个是相容选言判断、一个是对这个相容选言判断的一部分选言支的否定。结论是对该相容选言判断的另一部分选言支的肯定。如:(1)燕子或者是党员或者是学生干部,燕子不是党员,所以燕子是学生干部。(2)该推理得出错误的结论或者是由于前提不正确,或者是由于推理无效,该推理得出错误的结论不是由于推理无效,所以该推理得出错误的结论是由于前提不正确。其推理形式为pq,pq,或者pq,qp。3、相容选言判断常见的推理形式:否定肯定式 和 析取引入式。析取引入式的结构前提是一个判断。结论是以该判断作为选言支之一的相容选言判断。如:(1)小

4、敏是启东人,所以小敏或者是启东人或者是沿海人。(2)小赵是硕士,所以小赵或者是博士或者是硕士。其推理形式为ppq,或者qpq。4、相容选言推理的规则:(1)否定一部分选言支,就要肯定另一部分选言支。(2)肯定一部分选言支,可以退出包含该选言支的任一选言判断。(3)肯定一部分选言支,不能否定另一部分选言支。5、不相容选言判断常见的推理形式:否定肯定式 和 肯定否定式。否定肯定式的结构前提一个是不相容选言判断、一个是对这个不相容选言判断的一部分选言支的否定。结论是对该不相容选言判断的另一部分选言支的肯定。如:(1)出生于鲁西北的纯子要么是宁津人要么是夏津人,出生于鲁西北的纯子不是宁津人,所以出生于

5、鲁西北的纯子是夏津人。(2)这两个概念之间要么是矛盾关系,要么是反对关系,这两个概念之间不是反对关系,所以这两个概念之间是矛盾关系。其推理形式为pq,pq,或者pq,qp。5、不相容选言判断常见的推理形式:否定肯定式 和 肯定否定式。肯定否定式的结构前提一个是不相容选言判断、一个是对这个不相容选言判断的一部分选言支的肯定。结论是对该不相容选言判断的另一部分选言支的否定。如:(1)景阳冈上要么老虎吃了武松,要么武松打死老虎,景阳冈上武松打死了老虎,所以景阳冈上老虎没有吃了武松。(2)该推理要么是有效的,要么是无效的,该推理是有效的,所以该推理不是无效的。其推理形式为pq,pq,或者pq,qp。4

6、、不相容选言推理的规则:(1)否定一部分选言支,就要肯定另一部分选言支。(2)肯定一部分选言支,就要否定另一部分选言支。(三)假言推理1、充分条件假言推理:是前提中有一个是充分条件假言判断的假言推理。2、充分条件假言推理有两种推理形式:肯定前件式、否定后件式。充分条件假言推理的规则(1)肯定前件就要肯定后件(2)肯定后件就要否定前件(3)否定前件不能否定后件(4)肯定后件不能肯定前件肯定前件式:在前提中肯定充分条件假言判断的前件,结论肯定它的后件。如:如果语嫣姓王,那么她一定知道她的姓氏是中国人口最多的姓氏之一,语嫣姓王,所以语嫣一定知道她的姓氏是中国人口最多的姓氏之一。其推理形式为 如果p,

7、那么q,p,所以q。写作pq,pq。否定后件式:在前提中否定充分条件假言判断的后件,结论否定它的前件。如:如果你到过广州,那么你一定知道华立科技学院,你不知道华立科技学院,所以你们到过广州。其推理形式为 如果p,那么q,并非q,所以并非q。写作pq,qp。3、必要条件假言推理:前提中有一个是必要条件假言判断的假言推理。4、必要条件假言推理有两种推理形式:肯定后件式、否定前件式。必要条件假言推理的规则(1)否定前件就要否定后件(2)肯定后件就要肯定前件(3)肯定前件不能肯定后件(4)否定后件不能否定前件否定前件式:在前提中否定必要条件假言判断的前件,结论否定它的后件。如:这套涂料只有是镇雄木漆,

8、才配得上这上好的家具,这套涂料不是镇雄木漆,所以这套涂料配不上这上号的家具。其推理形式为 只有p,才q,并非p,所以并非q。写作pq,pq。肯定后件式:在前提中肯定必要条件假言判断的后件,结论肯定它的前件。如:韦光辉只有是平南人,才会那样的竹芒木编工艺,韦光辉会那样的竹芒木编工艺,所以韦光辉是平南人。其推理形式为 只有p,才q,q,所以p。写作pq,qp。5、充分必要条件假言推理:前提中有一个充分必要条件假言判断的假言推理。6、充分必要条件假言推理有四种推理形式:肯定前件式、否定前件式、肯定后件式、否定后件式 充分必要条件假言推理的规则(1)肯定前件就要肯定后件(2)否定前件就要否定后件(3)

9、肯定后件就要肯定前件(4)否定后件就要否定前件肯定前件式:在前提中肯定充分必要条件假言判断的前件,结论肯定它的后件。如:这个四边形是菱形,当且仅当它的四边相等,这个四边形是菱形,所以这个四边形四边相等。其推理形式为 p,当且仅当q,p,所以q。写作pq,pq。否定前件式:在前提中否定充分必要条件假言判断的前件,结论否定它的后件。如:李娜若曾从台城视角鸟瞰玄武湖,当且仅当她曾登上鸡鸣寺塔,李娜未曾从台城视角鸟瞰玄武湖,所以李娜没曾登上鸡鸣寺塔。其推理形式为 p,当且仅当q,并非p,所以并非q。写作pq,pq。肯定后件式:在前提中肯定充分必要条件假言判断的后件,结论肯定它的前件。如:6是偶数,当且仅当6能被2整除,6能被2整除,所以6是偶数。其推理形式为 p,当且仅当q,q,所以p。写作pq,qp。否定后件式:在前提中否定充分必要条件假言判断的后件,结论否定它的前件。如:5是偶数,当且仅当5能被2整除,5不能被2整除,所以5不是偶数。其推理形式为 p,当且仅当q,并非q,所以并非p。写作pq,qp。

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 办公、行业 > 各类PPT课件(模板)
版权提示 | 免责声明

1,本文(普通逻辑第7章演绎推理(二):基于命题的推理(下)课件.pptx)为本站会员(三亚风情)主动上传,163文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。
2,用户下载本文档,所消耗的文币(积分)将全额增加到上传者的账号。
3, 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(发送邮件至3464097650@qq.com或直接QQ联系客服),我们立即给予删除!


侵权处理QQ:3464097650--上传资料QQ:3464097650

【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。


163文库-Www.163Wenku.Com |网站地图|