收藏 分享(赏)

第七章:演绎推理(二).doc

上传人:涵涵文库 文档编号:5533829 上传时间:2019-03-06 格式:DOC 页数:4 大小:79.50KB
下载 相关 举报
第七章:演绎推理(二).doc_第1页
第1页 / 共4页
第七章:演绎推理(二).doc_第2页
第2页 / 共4页
第七章:演绎推理(二).doc_第3页
第3页 / 共4页
第七章:演绎推理(二).doc_第4页
第4页 / 共4页
亲,该文档总共4页,全部预览完了,如果喜欢就下载吧!
资源描述

1、第七章:演绎推理(二)1、联言推理:就是前提或结论为联言判断的推理。可分为分解式和组合式。2、选言推理:就是前提中有一个时选言判断的推理。根据前提中所含的选言判断的不同,可分为:相容的选言推理和不相容的选言推理。3、假言推理:就是前提中有一个式假言判断并且根据假言判断前后件之间的关系而推出结论的推理,分三类:充分条件假言推理,必要条件假言推理,充分必要条件假言推理。(1)充分条件假言推理:是前提中有一个是充分条件假言判断的假言推理。充分假言判断前后件的关系是:p 是 q 的充分条件,q 是 p 的必要条件,即有 p 必有 q,无 q 必无p,无 p 可以有 q,也可以无 q,有 q 可以有 p

2、,也可以无 p。有两条规则:1、肯定前(1)分解式:就是前提为联言判断的联言推理。根据其逻辑性质,一个联言判断为真,其全部支判断必然真,分解式就是由前提中联言判断的真,推出其任一支判断真的联言判断。p 并且 q所以,pp 并且 q所以,qpqqP 并且 qq. .即 或或(2)组合式:就是结论为联言判断的联言推理。根据其逻辑性质,一个联言判断的全部支判断真时,该联言判断才真,组合式就是由前提中全部支判断真,推出了联言判断真的联言推理。pq所以,p 并且 qpqpq.即(1)不相容选言推理:就是前提中有一个是不相容的选言判断的选言推理。不相容选言推理规则:(1)否定一部分选言支,就要肯定另一部分

3、选言支。(2)肯定一部分选言支,就要否定另一部分选言支。(1)否定肯定式:前提中有两个判断,一个是不相容的选言判断,另一个是对这个不相容的选言判断的一部分选言支的否定,结论是对该不相容选言判断的另一部分选言支的肯定。(2)肯定否定式:前提中有两个判断,一个是不相容的选言判断,另一个是对这个不相容选言判断的一部分选言支的肯定,结论是对该不相容宣言判断的另一部分宣言支的否定。不相容选言推理有两个正确的形式:* 否定肯定式:要么 p,要么 q,非 p所以,q.pVqpq即: .* 肯定否定式:要么 p,要么 q,p所以,非 qpVqpq即:.(2)相容选言推理:就是前提中有一个是相容的选言判断的选言

4、推理。相容选言推理规则:(1)否定一部分选言支,就要肯定另一部分选言支。(2)肯定一部分选言支,不能否定另一部分选言支。相容选言推理只有一种正确形式,即否定肯定式。p 或者 q,非 p所以,q。即pVq,pq .件就要肯定后件,否定后件就要否定前件,2、否定前件不能否定后件,肯定后件不能肯定前件。有两个正确的形式:* 肯定前件式:在前提中肯定充分条件假言判断的前件,结论肯定它的后件。公式是:* 否定后件式:在前提中否定充分条件假言判断的后件,结论否定它的前件。公式是:(2)必要条件假言判断:是前提中有一个是必要条件假言判断的假言推理。前后件关系是:p 是 q 的必要条件,q 是 p 的充分条件

5、,即无 p 必无 q,有 q 必有 p,有 p 可以有 q,也可以无 q,无 q 可以有 p,也可以无 p。有两条规则:1、否定前件就要否定后件,肯定后件就要肯定前件,2、肯定前件不能肯定后件,否定后件不能否定前件。有两个正确形式:* 否定前件式:在前提中否定必要条件假言判断的前件,结论否定它的后件,其公式是:* 肯定后件式:在前提中肯定必要条件假言判断的后件,结论肯定它的前件,其公式是:(3)充分必要条件假言推理:是前提中有一个是充分必要条件假言判断的假言推理。前后件关系是:p 是 q 既充分有必要的条件,q 也是 p 既充分又必要的条件,即有 p 必有q,无 p 必无 q,有 q 必有 p

6、,无 q 必无 p。有两条规则:1、肯定前件就要肯定后件,否定后件就要否定前件。2、否定前件就要否定后件,肯定后件就要肯定前件。有四个正确形式:* 肯定前件式:在前提中肯定充分必要条件假言判断的前件,结论肯定它的后件,其公式是:* 否定后件式:在前提中否定充分必要条件假言判断的后件,结论否定它的前件。其公式是:如果 p,那么 q所以 q即p qpq.如果 p,那么 q非 q所以,非 pp qqp只有 p,才 q非 p所以,非 q即p qpq只有 p,才 qq所以,pp qqpp 当且仅当 qp所以,qp qpq. 即p 当且仅当 q非 q所以,非 pp qqp即即* 否定前件式:在前提中否定充

7、分必要条件假言判断的前件,结论否定它的后件。其公式是:* 肯定后件式:在前提中肯定充分必要条件假言判断的后件,结论肯定它的前件。其公式是:4、二难推理:是假言推理的一部分,它的前提中有两个假言判断和一个只有两个选言支的选言判断。常用于诡辩中。有四种形式:1、简单构成式,2、简单破坏式,3、复杂构成式,4、复杂破坏式。(1)简单构成式特征:两个假言前提的前件不同后件相同,选言前提的选言支分别是两个假言前提的那两个不同的前件,结论是两个假言前提的那个相同的后件,其公式是:(2)简单破坏式特征:两个假言前提的前件相同后件不同,选言前提的选言支分别是两个假言前提的那两个不同的后件的否定,结论是两个假言

8、前提的那个相同的前件的否定,其公式是:(3)复杂构成式特征:两个假言前提的前后件都不相同,选言前提的选言支分别是两个假言前提的那两个不同的前件,结论是两个假言前提的那两个不同的后件的析取,其公式是:(3)复杂破坏式特征:两个假言前提的前后件都不相同,选言前提的选言支,分别是两个假言前提的那两个不同后件的否定,结论是两个假言前提的那两个不同前件否定的析取,其公式是:. p 当且仅当 q非 p所以,非 qp qpq. p 当且仅当 qq所以,pp qqp. q如果 p,那么 q如果 r,那么 q或者 p 或者 r所以,qp qr qpVr即即即简单构成式使用了充分条件假言推理的肯定前件式,其结论是

9、一个简单判断。. p如果 p,那么 q如果 p,那么 r非 p 或者非 r所以,非 pp qp rqVr即简单破坏式使用了充分条件假言推理的否定后件式,其结论也是一个简单判断。. qVs如果 p,那么 q如果 r,那么 sp 或者 r所以,q 或者 sp qr spVr即复杂构成式使用了充分条件假言推理的肯定前件式,其结论是一个选言判断。. pVr如果 p,那么 q如果 r,那么 s非 q 或者非 s所以,非 p 或者非 rp qr sqVs即 复杂破坏式使用了充分条件假言推理的否定后件式,其结论是一个选言判断。5、二难推理应遵守三条要求:1、前提种的假言判断,其浅见须是后件的充分条件,2、前

10、提种的选言判断,其选言支应是穷尽的,3、推理过程要符合充分条件假言推理和选言推理的规则。6、破斥错误二难推理的方法:有两种,一是揭露前提虚假,二是揭露其违反推理规则。其次还有一种二难推理特有的破斥方法,即构造一个与对方的二难推理相反的二难推理,从而使对方的二难推理不能成立。这种方法可以简称为“以二难破二难” 。7、模态推理:是以模态判断为前提或结论的推理。(1)根据模态方阵的模态推理:“必然 p”、 “必然非 p”、 “可能 p”、 “可能非 p”之间,有真假制约的关系,即模态方阵所显示的“反对关系” 、 “矛盾关系” 、 “差等关系” 、 “下反对关系” 。可根据此方阵来进行模态判断之间的演

11、绎推理。(2)根据模态判断与性质判断之间的关系进行模态推理: (3)根据包含复合判断的模态判断之间等值关系进行的模态推理:包含复合判断的模态判断之间存在等值关系, “必然(p 并且 q) ”等值于“必然 p 并且必然 q”、 “可能(p 或q) ”等值于“可能 p 或者可能 q” 、 “不可能(p 并且非 q) ”等值于“必然(如果 p。那么 q ) ”等。可进行下列模态推理。必然 p所以,可能 p必然非 p所以,可能非 p必然 p所以,不可能非 p可能非 p所以不必然 p必然非 p所以,不可能 p可能 p所以,不必然非 p必然 p所以, pp所以,可能 p必然非 p所以,非 p非 p所以,可能非 p必然 (p 并且 q)所以,必然 p 并且必然 q可能(p 或者 q)所以,可能 p 或者可能 q不可能(p 并且非 q)所以,必然(如果 p,那么q)p

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

当前位置:首页 > 实用文档 > 事务文书

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报