§4.3 条件命题及其推理.pptVIP

1.如果某个地区有水生生物化石地层,那么该地区就是地质史上的古海洋地区; 喜马拉雅山系有水生生物化石地层; 所以,喜马拉雅山系是地质史上的古海洋地区. 充分条件直言推理肯定前件式的形式是: 如果p,那么q p 所以,q 其符号化公式是 ((p?q)∧p)?q 充分条件直言推理肯定前件式是有效的,但其肯定后件式却是无效的,因为一个真的充分条件命题,后件真,前件未必真. 如果物体摩擦,那么它就会生热; 这些物质生热; 所以,这些物体进行了摩擦. 第二,否定后件式:直言前提否定充分条件前提的后件,结论则否定它的前件.其推理根据是:一个真的充分条件命题,后件假,前件必假. 如果一个死者是窒息死亡,那么其脸色发青; 某死者脸色不发青; 所以,某死者不是窒息死亡. 充分条件直言推理否定后件式的形式是: 如果p,那么q 非q 所以,非p 其符号化公式是 ((p?q)∧?q)??p 充分条件直言推理否定后件式是有效的,但其否定前件式却是无效的,因为一个真的充分条件命题,前件假,后件未必假. 如果吸烟,就会损害身体健康; 张英不吸烟; 所以,张英不会损害身体健康. 综上所述,充分条件直言推理有如下推理规则: 其一,肯定前件,就能肯定后件; 其二,肯定后件,不能肯定前件; 其三,否定后件,就能否定前件; 其四,否定前件,不能否定后件. 2)必要条件直言推理 必要条件直言推理就是其条件前提是一个必要条件命题的条件直言推理.它有两种有效推理形式:否定前件式和肯定后件式. 第一,否定前件式:直言前提否定必要条件前提的前件,结论则否定它的后件.其推理根据是:一个真的必要条件命题,前件假,后件必假. 只有刻苦钻研,才能取得科研成就; 某人没有刻苦钻研; 所以,某人不能取得科研成就. 第二,肯定后件式:直言前提肯定必要条件前提的后件,结论则否定它的前件.其推理根据是:一个真的必要条件命题,后件真,前件必真. * §4.3 条件命题及其推理 一.条件命题(假言命题) 条件命题就是断定某事物存在时另一事物存在的条件的复合命题. 1.如果某人患肺炎,那么他发烧. 2.只有跨过那站着的前人,才能比前人更加高大. 条件命题是由前件,后件和联结项组成的. 前件就是表示条件的支命题,通常用“p”来表示; 后件就是表示依赖条件而成立的支命题,通常用“q”来表示; 联结项就是表示前件和后件之间条件关系的部分. 条件命题 充分 条件 命题 必要 条件 命题 充要 条件 命题 (1)充分条件命题(蕴涵命题 充分条件假言命题) 充分条件命题就是断定前件所表示的事物存在,后件所表示的事物必然存在的条件命题.前件所表示的事物存在,即前件真;后件所表示的事物存在,即后件真.因此,充分条件命题也可说是断定前件真,后件必真的条件命题. 1.死者倘不埋在活人的心中,那么他就真的死掉了. 2.如果天下雨,那么地上湿. 充分条件命题的联结项通常用“如果,那么”来表示.充分条件命题的形式是: 如果p,那么q 其符号化公式是: p?q 读作“p蕴涵q”,称为蕴涵式. 自然语言中常用的联结词“只要……就……”,“假如……那么……”,“倘若……则……”,“一旦……就……”, “若……则……”等都可以符号化为?. 充分条件命题的逻辑性质 真 假 真 真 真 假 真 假 真 真 假 假 p?q q p (2)必要条件命题(反蕴涵命题 必要条件假言命题) 必要条件命题就是断定前件所表示的事物不存在,后件所表示的事物必然不存在的条件命题.前件所表示的事物不存在,即前件假;后件所表示的事物不存在,即后件假.因此,必要条件命题也可说是断定前件假,后件必假的条件命题. 1.只有刻苦学习,才能取得优异成绩. 2.只有某人年满18岁,他才有选举权. 必要条件命题的联结项通常用“只有,才”来表示.必要条件命题的形式是: 只有p,才q 其符号化公式是: p←q 读作“p反蕴涵q”,称为反蕴涵式(逆蕴涵式). 自然语言中常用的联结词 “除非……才……”, “必须……才……”, “没有……就没有…