假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理,也称为假言三段论。假言推理可以分为三类:充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
一、充分条件假言推理
充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。
充分条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件不能否定后件,肯定后件不能肯定前件。
根据规则,充分条件假言推理有两个有效式:
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
声明:
(一)由于考试政策等各方面情况的不断调整与变化,本网站所提供的考试信息仅供参考,请以权威部门公布的正式信息为准。
(二)本网站在文章内容来源出处标注为其他平台的稿件均为转载稿,免费转载出于非商业性学习目的,版权归原作者所有。如您对内容、版权等问题存在异议请与本站联系,我们会及时进行处理解决。
相关推荐
2023年4月浙江自考中国近现代史纲要复习笔记:简答题第九章
11-082023年4月浙江自考“工程经济”复习资料(三)
04-012023年4月浙江自考外国文学史复习笔记:现代文学概述
12-142023年10月浙江自考《英语(一)》复习笔记(15)
06-152023年4月浙江自考心理卫生与心理辅导复习笔记:行为转变法
12-262023年10月浙江自考《行政组织理论》复习资料(7)
07-042022年浙江自考政治学概论复习笔记第九章:政党和政党制度
09-14自考辅导资料:2021年10月《马克思主义哲学原理》—阶级的起源和社会阶级结构的演变
06-162023年4月浙江自考中药鉴定学复习笔记:果实及种子类中药鉴定(4)
12-302024年4月浙江自考组织胚胎学复习资料:软骨和骨
12-09