逻辑学第6讲课件.pptVIP

推理的类型 演绎推理：前提蕴涵结论，前提真结论必然真 命题推理：关于连接词的推理 词项逻辑：主项、谓项、量项、联项 对当关系推理 变形推理 三段论推理 谓词推理：个体词、谓词、量词、联结词 模态词推理 非演绎推理：前提不蕴涵结论，前提真结论未必真 归纳推理 类比推理 充分条件假言命题及其推理 充分条件： 如果有事物情况p，则必然有事物情况q； 如果没有事物情况p 而未必没有事物情况q， p 就是q的充分而不必要的条件，简称充分条件。 表达充分条件假言命题的常用联结词 如果……那么 只要……就 一旦……就 若……则 倘若……就 例如： 如果天下雨，那么地上湿 如果气温升高，那么海平面就会上升 充分条件假言命题及其推理 古典逻辑学把这些日常语言联结词统一抽象为逻辑联结词 “如果……那么……” “那么”前面的支命题称为前件，用 p 表示； “那么”后面的支命题称为后件，用 q 表示。 也可以用符号“→”表示这一联结词，读作“蕴涵”。 这样，充分条件假言命题的逻辑形式可表示为： 如果 p，那么q 或者： p→q 充分条件假言命题及其推理 充分条件假言命题真值表 充分条件假言命题的逻辑性质是：除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下, 充分条件假言命题都是真的。 充分条件假言命题及其推理 充分条件假言命题推理规则 蕴涵消去规则 也叫分离规则或肯定前件规则：肯定前件，肯定后件 （p→q）∧ p ├ q 例： 如果甲方付了定金，那么乙方就要按时发货 甲方已付定金 所以，乙方要按时发货 蕴涵否后规则 也叫逆分离规则或否定后件规则：否定后件，否定前件 （p→q）∧ ?q ├ ?p 例： 如果这部电影受观众欢迎，那么买票的人就多 买票的人不多 所以，这部电影不受观众欢迎 充分条件假言命题及其推理 充分条件假言命题推理的错误运用 肯定后件，肯定前件 例：如是小K是持枪杀人凶手，那么他肯定有枪。 小K有枪。 所以，他是持枪杀人凶手。 否定前件，否定后件 例：如是小K是持枪杀人凶手，那么他肯定有枪。 小K不是持枪杀人凶手。 所以，他肯定没有枪。 必要条件假言命题及其推理 必要条件： 如果没有事物情况A，则必然没有事物情况B； 如果有事物情况A而未必有事物情况B， A就是B的必要而不充分的条件，简称必要条件。 表达必要条件假言命题的常用联结词： 只有……才 仅当……才 不……不…… 除非……不（才）…… 没有……就没有…… 除非……否则…… 例如： 只有懂得高超的计算机技术，才会被公司录用 只有由细菌引起的疾病，才能用抗生素治疗 除非你去，我才去 必要条件假言命题及其推理 把这些日常语言联结词统一抽象为逻辑联结词 “只有……才……” “才”前面的支命题称为前件，用 p 表示； “才”后面的支命题称为后件，用 q 表示。 也可以用符号“←”表示这一联结词，读作“逆蕴涵”。 这样，必要条件假言命题的逻辑形式可表示为： 只有 p，才q 或者： p ← q 必要条件假言命题及其推理 必要条件假言命题真值表 必要条件假言命题的逻辑性质是：除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下, 充分条件假言命题都是真的。 必要条件假言命题及其推理 必要条件假言命题推理规则 否定前件规则 ：否定前件，否定后件 （p ← q）∧ ? p ├ ? q 例： 只有努力学习，才能取得好成绩 张三不努力学习 所以，张三不能取得好成绩 肯定后件规则：肯定后件，肯定前件 （p ← q）∧ q ├ p 例： 除非发生了意外，这趟列车不会停在这个地方 它既然停在这个地方， 所以，可见发生了意外 必要条件假言命题及其推理 必要条件假言命题推理的错误运用 肯定前件，肯定后件 例：只有小A在作案现场，他才是杀人凶手。 有人证明小A在作案现场， 所以，小A是杀人凶手。。 否定后件，否定前件 例：只有小A在作案现场，他才是杀人凶手。 小A不是杀人凶手， 所以，小A不在作案现场。 充分必要条件假言命题及其推理 充分必要条件： 如果有事物情况A， 则必然有事物情况B； 如果没有事物情况A，则必然没有事物情况B， A就是B的充分必要条件，简称充要条件。 表达充要条件假言命题的常用联结词：