复合判断及其推理

《复合判断及其推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章复合判断及其推理第四节假言判断及其推理教学目的通过本节的学习，使学生掌握假言判断的种类和逻辑性质，了解假言判断的结构，理解假言判断的逻辑值，掌握假言推理的规则。要求学生能够分析一个假言判断的种类、结构和逻辑性质，并能根据假言推理的规则分析一个假言推理是否正确。教学重点1、假言判断的种类和逻辑性质。2、假言判断的逻辑值。3、假言推理的规则。教学难点1、假言判断的种类和逻辑性质。2、假言推理的规则及有效式。参考资料1、《普通逻辑学习指导书》王道君主编2、《逻辑思维智慧导引训练》薛锡岑主编一、假言判断（一）什么是假言

2、判断假言判断是断定一种事物情况的存在或不存在是另一种事物情况存在或不存在的条件的判断。条件例如：①如果某人是凶手，那么他就有作案时间。②只有知法，才能守法。③当且仅当三角形的三条边相等，它的三内角才相等。假言判断的结构假言肢假言联结项前件后件pq（二）假言判断的种类及其逻辑值⒈充分条件假言判断充分条件假言判断是断定一种事物情况为另一种事物情况的充分条件的假言判断。条件后果Pq有p一定有q，没p不一定没q；有q不一定有p,没q一定没p。例如：①如果犯抢劫罪，就应受到刑罚处罚。②如果一个数能被8整除，那么它就能被2整除。

3、从结构来看，充分条件假言判断是由假言肢和充分条件假言联结项构成的。充分条件假言联结项通常用“如果……那么……”来表示充分条件假言判断的一般逻辑形式为：如果p，那么q。p→q有前件一定有后件，没有后件一定没有前件。充分条件假言判断的逻辑值取决于假言肢的真假和充分条件假言判断的逻辑性质。pq10101001p→q1110前真后假则假⒉必要条件假言判断必要条件假言判断是断定一种事物情况为另一种事物情况的必要条件的假言判断。条件后果Pq有p不一定有q，没p一定没q；有q一定有p,没q不一定没p。例如：①只有年满十八周岁，才有

4、选举权。②只有充分发展生产力，才能提高综合国力。从结构来看，必要条件假言判断是由假言肢和必要条件假言联结项构成的。必要条件假言联结项通常用“只有……才……”来表示必要条件假言判断的一般逻辑形式为：只有p，才q。p←q必要条件假言判断的逻辑值取决于假言肢的真假和必要条件假言判断的逻辑性质。没有前件一定没有后件，有后件一定有前件。pq10101001p←q1011前假后真则假⒊充分必要条件假言判断充分必要条件假言判断简称充要条件假言判断，是断定一种事物情况为另一种事物情况的充分必要条件的假言判断。充要条件假言判断的一般逻

5、辑形式为：当且仅当p，才q。pq→←有前件一定有后件，没有前件一定没有后件。有后件一定有前件，没有后件一定没有前件。实际上，p和q是互为充要条件的。p→qq←pp←qq→p例如：①当且仅当国家存在，法律才存在。②当且仅当一个人犯罪，才应受刑罚处罚。充要条件假言判断的逻辑值取决于充要条件假言判断的逻辑性质和假言肢的真假。pq10101001p←→q1010一假一真则假二、假言推理假言推理是以至少一个假言判断为前提，依据假言判断的逻辑性质推出一个假言判断或直言判断为结论的推理。按照前提中是否还有性质判断即直言判断，假言推

6、理可以分为假言直言推理和纯假言推理两类。（一）假言直言推理假言直言推理是以一个假言判断和一个直言判断为前提，依据假言判断的逻辑性质，推出一个直言判断为结论的推理。⒈充分条件假言直言推理充分条件假言直言推理的规则：①肯定前件就要肯定后件，否定后件就要否定前件；②否定前件不能否定后件，肯定后件不能肯定前件。（1）肯定前件式p→q；∴q。（（p→q）∧p）→q。p；→（2）否定后件式p→q；q；p。∴→（（p→q）∧q)→p。例如：①如果磨擦，就会产生热；拉锯发生磨擦，所以，拉锯会产生热。没有产生热；所以，没有发生磨擦。②

7、如果两个角是对顶角，则两角相等；这两个角是对顶角；所以，这两个角相等。⒉必要条件假言直言推理←必要条件假言直言推理的规则：②肯定前件不能肯定后件，否定后件不能否定前件。①否定前件就要否定后件，肯定后件就要肯定前件；（1）否定前件式p←q；q。p；∴（2）肯定后件式p←q；q；p。∴例如：①只有懂得教育学，才能做一名合格的教师；孔某不懂教育学；所以，孔某不能做一名合格的教师。李某是一名合格的教师；所以，李某懂得教育学。李某懂得教育学；所以，李某是一名合格的教师。李某的行为不是违法行为；所以，李某的行为不构成犯罪。②只有

8、违法行为，才能构成犯罪；所以，李某的行为是违法行为。李某的行为构成犯罪；⒊充要条件假言直言推理←→充要条件假言直言推理的规则：①肯定前件就要肯定后件，否定前件就要否定后件；②肯定后件就要肯定前件，否定后件就要否定前件。（1）肯定前件式p←→q；∴q。p；（2）否定前件式p←→q；q。p；∴（3）肯定后件式p←→q；q；p。∴（4）否定后件式p←