第四节 假言判断及其推理.ppt

《第四节 假言判断及其推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、一、假言判断及其种类假言判断是断定一种事物情况存在与否是另一种事物情况存在与否的条件的复合判断。例如：①如果天下雨，那么地上湿。②只有有电，电灯才亮。第四章复合判断及其推理第四节假言判断及其推理（一）什么是假言判断一、假言判断及其种类第四章复合判断及其推理第四节假言判断及其推理（一）什么是假言判断假言判断由假言支和假言联结词组成。假言支即假言判断中包含的支判断，一个假言判断通常由两个假言支组成，其中作为条件的判断，称为前件，用符号p表示；作为结果的判断，称为后件，用符号q表示。假言联结词是联结前件和后件，并表明假言判断所断定的两种事物情况

2、之间关系的逻辑标志，逻辑学把“如果……那么……”、“只有……才……”、“当且仅当……则……”作为三种典型的假言联结词。一、假言判断及其种类假言判断按条件性质的不同，可以区分为三种：充分条件假言判断、必要条件假言判断和充分必要条件假言判断。第四章复合判断及其推理第四节假言判断及其推理（二）假言判断的种类二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（一）充分条件假言判断及其结构1.什么是充分条件？设P和q分别为两个事物情况，如果有P，就必然有q，而没有P，是否有q不能确定（即可以有q，也可以没q）,这样P就是q的充

3、分条件。总之，充分条件表现的就是“有之必然，无之未必不然”的情况。例如：摩擦和生热充分条件假言判断是断定前件存在则后件一定存在的假言判断。例如：如果物体摩擦，那么物体就会生热。二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（一）充分条件假言判断及其结构2、什么是充分条件假言判断？如果P，那么q或者：P→q（其中，逻辑符号“→”读作“蕴涵”）。例如：①如果气温降到0℃，那么水就要结冰。②如果患了阑尾炎，那么就会肚子疼。二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（一）充分条件假言判断及其

4、结构3、充分条件假言判断的逻辑结构式二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（一）充分条件假言判断及其结构3、充分条件假言判断的逻辑结构式在日常语言中，充分条件假言判断还可以用以下这些关联词来表达：“只要……则”，“只要……就”，“倘若……则……”，“假使……那么……”，“假如……就……”等等。需要注意的是，充分条件假言判断的逻辑联结词往往可以省略，如：1）石在，火种是不会绝的。（鲁迅语）2）木秀于林，风必摧之；堆出于岸，流必湍之；行高于人，众必非之。（古人语）3）你想变得强壮，你就跑吧；你想变得美丽，你就

5、跑吧；你想变得聪明，你就跑吧。（古希腊语）4）骄傲使人落后。Pqp→q真真假假真假真假真假真真二、充分条件假言判断及其推理（二）充分条件假言判断的真值充分条件假言判断的逻辑特征：一个充分条件假言判断，只有当前件真而后件假时，它是假的，其余情况下都真。一个充分条件假言判断的真假，是由其前件和后件的真假来确定的。二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（三）充分条件假言推理定义：充分条件假言推理是以充分条件假言判断为前提，并根据充分条件假言判断的逻辑特性进行的假言推理。例如：如果天下雨，那么地上湿；天下雨；－－

6、－－－－－－－－－－－－所以，地上湿。1.充分条件假言推理的定义和规则二、充分条件假言判断及其推理第四章复合判断及其推理第四节假言判断及其推理（三）充分条件假言推理规则：（1）肯定前件必然肯定后件；（2）否定后件必然否定前件。（3）否定前件不能否定后件；（4）肯定后件不能肯定前件。1.充分条件假言推理的定义和规则(1)肯定前件式：前提肯定前件，结论肯定后件。如果天下雨，那么地上湿，如果P，那么qp→q天下雨了；Pp-----------------------------所以，地上湿了。所以，q∴q(2)否定后件式：前提否定后件，结论否定

7、前件，如果天下雨，那么地上湿，如果P，那么qp→q地上没有湿；非q┒q-------------------------------------------所以，天没有下雨。所以，非P∴p2.充分条件假言推理的有效式（三）充分条件假言推理二、充分条件假言判断及其推理第四节假言判断及其推理如果风很大，我们就会放飞风筝。如果天空不晴朗，我们就不会放飞风筝。如果天气很暖和，我们就会放飞风筝。假定上面的陈述属实，如果我们现在正在放飞风筝，则下面的哪项也必定是真的?Ⅰ.风很大。Ⅱ.天空晴朗。Ⅲ.天气暖和。练一练Ⅱ.天空晴朗。三、必要条件假言判断及其

8、推理第四章复合判断及其推理第四节假言判断及其推理（一）必要条件假言判断及其结构1、什么是必要条件？设P和q分别为两个事物情况，如果没有P，就必然没有q，而有P，却未必有q（即可以有q，也可以没