第6章演绎推理(2)PPT推荐.ppt
- 文档编号:15616520
- 上传时间:2022-11-08
- 格式:PPT
- 页数:37
- 大小:200.50KB
第6章演绎推理(2)PPT推荐.ppt
《第6章演绎推理(2)PPT推荐.ppt》由会员分享,可在线阅读,更多相关《第6章演绎推理(2)PPT推荐.ppt(37页珍藏版)》请在冰豆网上搜索。
所以,某甲是编剧人。
某甲既是编剧人又是导演;
所以,某甲是导演。
其形式为:
pqppqq分解式联言推理的有效性是由联言命题的逻辑性质决定的,分解式联言推理的有效性是由联言命题的逻辑性质决定的,即:
若一联言命题为真,则它的每一个联言支都真。
即:
联联言言推推理理组组合合式式的的结结论论是是一一个个联联言言命命题题,其其前前提提是是这这个个联联言言命命题题的的全部支命题。
例如全部支命题。
例如李白是唐代诗人;
杜甫是唐代诗人;
所以,李白和杜甫都是唐代诗人。
p,qpq组合式的联言推理的有效性仍在于联言命题的逻辑性质。
组合式的联言推理的有效性仍在于联言命题的逻辑性质。
若一联言命题的每一个联言支都真,则这联言命题为真。
二、相容选言推理二、相容选言推理相相容容选选言言推推理理是是根根据据相相容容选选言言命命题题的的逻逻辑辑性性质质来来进进行行的的推推理理。
在在相相容容选选言言推推理理的的两两个个前前提提中中,有有一一个个前前提提是是相相容容选选言言命命题题,另另一个前提是与这个选言前提的部分选言支相关的命题。
一个前提是与这个选言前提的部分选言支相关的命题。
相容选言推理常用的有效式为相容选言推理常用的有效式为否定肯定式:
否定肯定式:
pq,pq即在前提中否定部分选言文而在结论中肯定另一部分选言支。
即在前提中否定部分选言文而在结论中肯定另一部分选言支。
例如:
“这种商品质次或价高;
这种商品价不高;
所以,这种商品质次。
”相容选言推理应遵守以下相容选言推理应遵守以下规则:
规则:
(1)否定一部分选言支,就要肯定另一部分选言支;
)否定一部分选言支,就要肯定另一部分选言支;
(2)肯定一部分选言支,不能得出结论。
)肯定一部分选言支,不能得出结论。
根根据据相相容容选选言言推推理理的的规规则则,否否定定肯肯定定式式是是相相容容选选言言推推理的有效式,而下述形式非有效式:
理的有效式,而下述形式非有效式:
pq,pq这这叫叫做做“肯肯定定否否定定式式”,即即在在前前提提中中肯肯定定一一部部分分选选言言支支而而在结论中否定另一部分选言支的选言推理形式。
在结论中否定另一部分选言支的选言推理形式。
这种商品质次;
所以,这种商品价不高。
”相相容容选选言言推推理理的的选选言言前前提提可可以以有有两两个个选选言言支支,也也可可以以有有多多于于两两个个的的选选言言支支。
具具有有三三个个选选言言支支的的相相容容选选言言推推理理的的有有效效形形式式仍然是否定肯定式,它们有下面两种具体情况:
仍然是否定肯定式,它们有下面两种具体情况:
pqrpqrp(pq)qrr三、不相容选言推理三、不相容选言推理不不相相容容选选言言推推理理是是根根据据不不相相容容选选言言命命题题的的逻逻辑辑性性质质进进行行的的推推理理。
它它的的一一个个前前提提是是不不相相容容选选言言命命题题,另另一一个个前前提提是是与与这这个个不不相相容容选选言言命题的选言支相关的命题。
命题的选言支相关的命题。
不相容选言推理所应遵循的规则是:
(1)肯定部分选言支,就要否定另一部分选言支;
)肯定部分选言支,就要否定另一部分选言支;
(2)否定一部分选言支,就要肯定另一部分选言支。
)否定一部分选言支,就要肯定另一部分选言支。
不不相相容容选选言言推推理理的的规规则则决决定定于于不不相相容容选选言言命命题题的的逻逻辑辑性性质质。
由由于于不不相相容容选选言言命命题题为为真真的的条条件件是是两两选选言言支支有有且且仅仅有有一一个个是是真真的的,所所以以,已已知知其其中中一一个个选选言言支支为为真真,必必然然推推知知另另一一个个选选言言支支是是假假的的;
而而已已知知其其中中一一个个选选言言支支为为假假,则则必必然然推推知知另另一一个个选选言言支支是是真真。
根根据据不不相相容容选选言言推推理理的的规规则则,肯肯定定否否定定式式和和否否定定肯肯定定式式都都是是不不相相容容选选言言推理的有效式。
推理的有效式。
不相容选言推理不相容选言推理肯定否定式肯定否定式的形式是:
的形式是:
pq,pqpq,qp例如:
“要么小王出差,要么小李出差;
小王出差.所以,小李不出差。
”不相容选言推理的不相容选言推理的否定肯定式否定肯定式的一般形式则是:
的一般形式则是:
pq,pqpq,qp例如:
小王不出差.所以,小李出差。
”不不相相容容选选言言推推理理没没有有超超过过两两个个选选言言支支的的选选言言前前提提。
这这是是因因为为若若有有三三个个或或三三个个以以上上的的选选言言支支,则则至至少少有有两两个个支支的的真真假假值值是是相相同同的的,这样它事实上不是一个不相容的选言命题。
这样它事实上不是一个不相容的选言命题。
关关于于选选言言推推理理(包包括括相相容容和和不不相相容容两两种种类类型型),还还有有一一点点是是必必须须要要说说明明的的:
即即否否定定部部分分选选言言支支的的命命题题并并不不一一定定是是一一个个负负命命题题,肯肯定定一一部部分分选选言言支支的的命命题题也也不不一一定定不不可可以以是是一一个个负负命命题题。
正正确确的的理理解解应应该该是是:
若若命命题题A否否定定了了一一部部分分选选言言支支B,则则A与与B是是相相互互排排斥斥的的,即即当当A真真时时B必必假假;
若若命命题题A肯肯定定了了一一部部分分选选言言支支B,则则A与与B是是一一致致的的,当当A真真时时B必真。
必真。
“亚光造船厂或不造小船或不造渔船;
亚光造船厂不造小船;
所以,亚光造船厂造渔船。
”这是一个相容选言推理,这是一个相容选言推理,其形式是:
其形式是:
pq,pq又如:
又如:
“红队要么不退出比赛,要么遵守比赛规则;
红队遵守比赛规则;
所以,红队不退出比赛。
”这是一个不相容选言推理,它的形式是这是一个不相容选言推理,它的形式是pq,qp这这个个不不相相容容选选言言推推理理的的前前提提肯肯定定了了一一部部分分选选言言支支,按按照照规规则则,它它的的结结论论应应否否定定另另一一部部分分选选言言支支。
尽尽管管它它的的结结论论是是否否定定的的,但但并并不不构构成成对对一一部部分分选选言言支支的的否否定定。
所所以以,这个不相容选言推理是错误的。
这个不相容选言推理是错误的。
第二节第二节假言推理假言推理假假言言推推理理是是根根据据假假言言命命题题的的逻逻辑辑性性质质来来进进行行的的推推理理。
由由于于假假言言命命题题有有三三种种基基本本形形式式,假假言言推推理理亦亦相相应应地地分分为为三三种种基基本本类类型型,即充分条件假言推理、必要条件假言推理和充要条件假言推理。
即充分条件假言推理、必要条件假言推理和充要条件假言推理。
每一类型的假言推理都有四种形式,其中一些形式是有效的,一每一类型的假言推理都有四种形式,其中一些形式是有效的,一些形式是非有效的。
些形式是非有效的。
肯定前件式:
通过肯定假言命题的前件推出对其后件加以肯通过肯定假言命题的前件推出对其后件加以肯定的假言推理形式。
定的假言推理形式。
肯定后件式:
通过肯定假言命题的后件推出对其前件加以肯通过肯定假言命题的后件推出对其前件加以肯定的假言推理形式。
否定前件式:
通过否定假言命题的前件推出对其后件加以否通过否定假言命题的前件推出对其后件加以否定的假言推理形式。
否定后件式:
通过否定假言命题的后件推出对其前件加以肯通过否定假言命题的后件推出对其前件加以肯定的假言推理形式。
一、充分条件假言推理一、充分条件假言推理充充分分条条件件假假言言推推理理是是以以一一个个充充分分条条件件假假言言命命题题及及其其前前件件(或或后后件件)(或或一一个个与与其其前前件件(或或后后件件)相相关关的的命命题题)为为前前提提,并并以以与与其其后后件件(或或前前件件)(或或一一个个与与其其前前件件(或或后后件件)相相关关的的命命题题)为为结结论论的假言推理。
的假言推理。
充分条件假言推理的规则是:
(1)肯定前件就要肯定后件;
()肯定前件就要肯定后件;
(2)否定后件就要否定前件;
)否定后件就要否定前件;
(3)否定前件不能得结论;
)否定前件不能得结论;
(4)肯定后件不能得结论。
)肯定后件不能得结论。
充充分分条条件件假假言言命命题题断断定定前前件件是是后后件件的的充充分分条条件件,即即断断定定当当前前件件成成立立时时,后后件件必必成成立立;
而而当当前前件件不不成成立立时时,后后件件不不一一定定不不成成立立。
因因此此,肯肯定定前前件件就就要要肯肯定定后后件件
(1),而而否否定定前前件件不不能能得得结结论论(3)。
)。
另另一一方方面面,断断定定前前件件是是后后件件的的充充分分条条件件等等值值于于断断定定后后件件是是前前件件的的必必要要条条件件,即即断断定定当当后后件件不不成成立立时时,前前件件必必不不成成立立;
而而当当后后件件成成立立时时,前前件件不不一一定定成成立立。
因因此此,否否定定后后件件就就要要否否定定前前件件
(2),而肯定后件不能得结论(而肯定后件不能得结论(4)。
充分条件假言推理的有效式充分条件假言推理的有效式肯定前件式肯定前件式否定后件式否定后件式pqpqpqqp充分条件假言推理的非有效式充分条件假言推理的非有效式否定前件式否定前件式肯定后件式肯定后件式pqpqpqqp二、必要条件假言推理二、必要条件假言推理必必要要条条件件假假言言推推理理是是以以一一个个必必要要条条件件假假言言命命题题及及其其前前件件(或或后后件件)(或或一一个个与与其其前前件件(或或后后件件)相相关关的的命命题题)为为前前提提,并并以以与与其其后后件件(或或前前件件)(或或一一个个与与其其前前件件(或或后后件件)相相关关的的命命题题)为为结结论论的假言推理。
必要条件假言推理的规则是:
(1)否定前件就要否定后件;
()否定前件就要否定后件;
(2)肯定后件就要肯定前件;
)肯定后件就要肯定前件;
(3)肯定前件不能得结论;
)肯定前件不能得结论;
(4)否定后件不能得结论。
)否定后件不能得结论。
必必要要条条件件假假言言命命题题断断定定前前件件是是后后件件的的必必要要条条件件,即即断断定定当当前前件件不不成成立立时时,后后件件必必不不成成立立;
而而当当前前件件成成立立时时,后后件件不不一一定定成成立立。
因因此此,否否定定前前件件就就要要否否定定后后件件
(1),而而肯肯定定前前件件不不能能得得结结论论(3)。
另另一一方方面面,断断定定前前件件是是后后件件的的必必要要条条件件等等值值于于断断定定后后件件是是前前件件的的充充分分条条件件,即即断断定定当当后后件件成成立立时时,前前件件必必成成立立;
而而当当后后件件不不成成立立时时,前前件件不不一一定定不不成成立立。
因因此此,肯肯定定后后件件就就要
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 演绎 推理
![提示](https://static.bdocx.com/images/bang_tan.gif)