招生咨询08:00-24:00
微信公众号
咨询老师
假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理，也称为假言三段论。假言推理可以分为三类：充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
一、充分条件假言推理
充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。
充分条件假言推理有两条规则：第一，肯定前件就要肯定后件，否定后件就要否定前件；第二，否定前件不能否定后件，肯定后件不能肯定前件。
根据规则，充分条件假言推理有两个有效式：
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年山东自考政策资讯、自考报名流程、准考证打印方法、成绩查询时间以及领取历年真题资料、个人专属备考方案等相关信息！
（添加“山东自考网”招生老师微信，在线咨询报名报考等相关问题）
《山东自考网》免责声明：
（一）由于考试政策等各方面情况的不断调整与变化，本网站所提供的考试信息仅供参考，请以省考试院及院校官方发布公布的正式信息为准。
（二）本站文章内容信息来源出处标注为其他平台的稿件均为转载稿，免费转载出于非商业性学习目的，版权归原作者所有。如您对内容、版权等问题存在异议请与本站联系，我们会及时进行处理解决，联系邮箱：812379481@qq.com。
第2集：自考报名都...
第3集：自考的报名...
第5集：报考自考是...
第1集：自考是什么...
第9集：大专在读学...
