假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理,也称为假言三段论。假言推理可以分为三类:充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
一、充分条件假言推理
充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。
充分条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件不能否定后件,肯定后件不能肯定前件。
根据规则,充分条件假言推理有两个有效式:
1.肯定前件式,其推理形式如下:
如果p,那么q
p
所以,q
也可以符号化为:
((p®q)Ùp)®q
2.否定后件式,其推理形式如下:
如果p,那么q
非q
所以,非p
也可以符号化为:
((p®q)ÙØq)®Øp
二、必要条件假言推理
必要条件假言推理是前提中有一个是必要条件假言判断的假言推理。
必要条件假言推理有两条规则:第一,否定前件就要否定后件,肯定后件就要肯定前件;第二,肯定前件不能肯定后件,否定后件不能否定前件。
根据规则,必要条件假言推理有两个有效式:
1.否定前件式,其推理形式如下:
只有p,才q
非p
所以,非q
也可以符号化为:
((p¬q)ÙØp)®Øq
2.肯定后件式,其推理形式如下:
只有p,才q
q
所以,p
也可以符号化为:
((p¬q)Ùq)®p
三、充分必要条件假言推理
充分必要条件假言推理是前提中有一个是充分必要条件假言判断的假言推理。
充分必要条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件就要否定后件,肯定后件就要肯定前件。
根据规则,充分必要条件假言推理有四个有效式:
1.肯定前件式,其推理形式如下:
p当且仅当q
p
所以,q
也可以符号化为:
((p«q)Ùp)®q
2.否定后件式,其推理形式如下:
p当且仅当q
非q
所以,非p
也可以符号化为:
((p«q)ÙØq)®Øp
3.否定前件式,其推理形式如下:
p当且仅当q
非p
所以,非q
也可以符号化为:
((p«q)ÙØp)®Øq
4.肯定后件式,其推理形式如下:
p当且仅当q
q
所以,p
也可以符号化为:
((p«q)Ùq)®p
声明:
(一)由于考试政策等各方面情况的不断调整与变化,本网站所提供的考试信息仅供参考,请以权威部门公布的正式信息为准。
(二)本网站在文章内容来源出处标注为其他平台的稿件均为转载稿,免费转载出于非商业性学习目的,版权归原作者所有。如您对内容、版权等问题存在异议请与本站联系,我们会及时进行处理解决。
相关推荐
自考辅导资料:2021年10月《学前教育史》—幼稚师范教育的发展
06-042023年4月浙江自考英美文学选读复习笔记:Alfred Tennyson
12-092023年4月浙江自考心理学复习笔记:情绪情感及其种类
01-042023年4月浙江自考英美文学选读复习笔记:Washington Irving
12-082023年浙江自考水产繁殖育苗技术复习资料:论述题
02-272022年浙江自考心理学复习笔记:人格性质
11-032023年10月浙江自考幼儿园组织与管理复习资料:我国幼教行政管理及体制
05-162023年4月浙江自考中国文化概论复习笔记:区域地理环境与文化的多元融合
12-09自考辅导资料:2021年10月《马克思主义哲学原理》—实践是人特有的存在方式
06-112022年浙江自考广告学串讲资料汇总(1)
09-23