复合判断及其推理.ppt

* 第四章 复合判断及其推理 第四节 假言判断及其推理 通过本节的学习，使学生掌握假言判断的种类和逻辑性质，了解假言判断的结构，理解假言判断的逻辑值，掌握假言推理的规则。要求学生能够分析一个假言判断的种类、结构和逻辑性质，并能根据假言推理的规则分析一个假言推理是否正确。 教 学 目 的 1、假言判断的种类和逻辑性质。 2、假言判断的逻辑值。 3、假言推理的规则。 教学 重点 1、假言判断的种类和逻辑性质。 2、假言推理的规则及有效式。 教学 难点 1、《普通逻辑学习指导书》王道君主编 2、《逻辑思维智慧导引训练》薛锡岑主编 参考 资料 一、假言判断 （一）什么是假言判断 假言判断是断定一种事物情况的存在或不存在是另一种事物情况存在或不存在的条件的判断 。 条件 例如： ①如果某人是凶手，那么他就有作案时间。 ②只有知法，才能守法。 ③当且仅当三角形的三条边相等，它的三内角才相等。 假言判断的结构 假言肢 假言联结项 前件 后件 p q （二）假言判断的种类及其逻辑值 ⒈ 充分条件假言判断 充分条件假言判断是断定一种事物情况为另一种事物情况的充分条件的假言判断。 条件 后果 P q 有p一定有q，没p不一定没q； 有q不一定有p,没q一定没p。 例如： ①如果犯抢劫罪，就应受到刑罚处罚。 ②如果一个数能被8整除，那么它就能被2整除。 从结构来看，充分条件假言判断是由假言肢和充分条件假言联结项构成的。 充分条件假言联结项通常用“如果……那么……”来表示 充分条件假言判断的一般逻辑形式为： 如果p ，那么q 。 p → q 有前件一定有后件，没有后件一定没有前件。 充分条件假言判断的逻辑值取决于假言肢的真假和充分条件假言判断的逻辑性质。 p q 1 0 1 0 1 0 0 1 p → q 1 1 1 0 前真后假则假 ⒉ 必要条件假言判断 必要条件假言判断是断定一种事物情况为另一种事物情况的必要条件的假言判断。 条件 后果 P q 有p不一定有q，没p一定没q； 有q一定有p,没q不一定没p。 例如： ①只有年满十八周岁，才有选举权。 ②只有充分发展生产力，才能提高综合国力。 从结构来看，必要条件假言判断是由假言肢和必要条件假言联结项构成的。 必要条件假言联结项通常用“只有……才……”来表示 必要条件假言判断的一般逻辑形式为： 只有p ，才q 。 p ← q 必要条件假言判断的逻辑值取决于假言肢的真假和必要条件假言判断的逻辑性质。 没有前件一定没有后件，有后件一定有前件。 p q 1 0 1 0 1 0 0 1 p ← q 1 0 1 1 前假后真则假 ⒊ 充分必要条件假言判断 充分必要条件假言判断简称充要条件假言判断，是断定一种事物情况为另一种事物情况的充分必要条件的假言判断。 充要条件假言判断的一般逻辑形式为： 当且仅当p ，才q 。 p q → ← 有前件一定有后件，没有前件一定没有后件。 有后件一定有前件，没有后件一定没有前件。 实际上，p 和q是互为充要条件的。 p → q q ← p p ← q q → p 例如： ①当且仅当国家存在，法律才存在。 ②当且仅当一个人犯罪，才应受刑罚处罚。 充要条件假言判断的逻辑值取决于充要条件假言判断的逻辑性质和假言肢的真假。 p q 1 0 1 0 1 0 0 1 p ←→ q 1 0 1 0 一假一真则假 二、假言推理 假言推理是以至少一个假言判断为前提，依据假言判断的逻辑性质推出一个假言判断或直言判断为结论的推理。 按照前提中是否还有性质判断即直言判断，假言推理可以分为假言直言推理和纯假言推理两类。 （一）假言直言推理 假言直言推理是以一个假言判断和一个直言判断为前提，依据假言判断的逻辑性质，推出一个直言判断为结论的推理。 ⒈ 充分条件假言直言推理 充分条件假言直言推理的规则： ①肯定前件就要肯定后件，否定后件就要否定前件； ②否定前件不能否定后件，肯定后件不能肯定前件。 （1）肯定前件式 p → q ； ∴ q 。 （（p → q）∧p）→ q 。 p ； → （2）否定后件式 p → q； q ； p 。 ∴ → （（ p → q ） ∧ q ) → p 。 例如： ①如果磨擦，就会产生热； 拉锯发生磨擦， 所以，拉锯会产生热。 没有产生热； 所以，没有发生磨擦。 ②如果两个角是对顶角，则两角相