假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理,也称为假言三段论。假言推理可以分为三类:充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
一、充分条件假言推理
充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。
充分条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件不能否定后件,肯定后件不能肯定前件。
根据规则,充分条件假言推理有两个有效式:
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-28自考辅导资料:2019年10月《美学》知识点-审美形态与文化
09-172023年4月浙江自考英美文学选读复习笔记:Alfred Tennyson
12-092023年4月浙江自考英语国家概况复习资料十二
01-122023年4月浙江自考中外教育简史复习笔记:英国近代教育制度
12-082023年4月浙江自考英美文学选读复习笔记:Washington Irving
12-082023年10月浙江自考“外国文学史”复习笔记(第三章)
09-122023年4月浙江自考微机原理与接口技术复习笔记:从8086至Pentium Ⅲ
12-292022年浙江自考心理学复习笔记:人格性质
11-032023年浙江自考公务员制度串讲资料:国家公务员制度导引
03-02