普通逻辑学习笔记 假言推理
编辑整理：陕西自考网 发表时间：2018-05-23 12:27:59 字体大小：【大 中 小】
【添加招生老师微信】
《自考视频课程》名师讲解，轻松易懂，助您轻松上岸！低至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
转载请注明：文章转载自（http://www.sxzk.sx.cn）
《陕西自考网》免责声明：
1、由于各方面情况的调整与变化，本网提供的考试信息仅供参考，考试信息以省考试院及院校官方发布的信息为准。
2、本网信息来源为其他媒体的稿件转载，免费转载出于非商业性学习目的，版权归原作者所有，如有内容与版权问题等请与本站联系。联系邮箱：812379481@qq.com。