普通逻辑学习笔记 假言推理
《自考视频课程》名师讲解，轻松易懂，助您轻松上岸！低至199元/科！
假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理，也称为假言三段论。假言推理可以分为三类：充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
一、充分条件假言推理
充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。
充分条件假言推理有两条规则：第一，肯定前件就要肯定后件，否定后件就要否定前件；第二，否定前件不能否定后件，肯定后件不能肯定前件。
根据规则，充分条件假言推理有两个有效式：
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
以上就是关于《普通逻辑学习笔记 假言推理》的全部内容，如需了解更多学历提升、自考报名报考时间、自考报名流程、自考院校和专业查询、开考时间安排、自考课程、自考教材购买等的相关问题，可随时添加广东自考网《专业老师微信》进行在线沟通了解哦~
《广东自考网》免责声明：
1、由于考试政策等各方面情况的调整与变化，本网提供的考试信息仅供参考，最终考试信息请以省考试院及院校官方发布的信息为准。
2、本站内容部分信息均来源网络收集整理或来源出处标注为其它媒体的稿件转载，免费转载出于非商业性学习目的，版权归原作者所有，如有内容与版权问题等请与本站联系。联系邮箱：812379481@qq.com
