程元冰《逻辑学》（5第五章 第四节假言.pptxVIP

假言推理程元冰《逻辑学》第五章第四节|复合命题推理的核心方法

Contents课程内容概览假言推理的五种核心类型与逻辑应用01命题与假言命题基础回顾02充分条件假言推理03必要条件假言推理04充分必要条件假言推理05综合练习与实际应用

CHAPTER01命题与假言命题基础回顾从命题概念到假言命题分类，为推理奠定基础

LOGIC·PROPOSITION命题的基本概念命题是逻辑推理的最小单元，指一个完整而有意义的陈述句所表达的语义，其核心特征是具有可判定的真假属性。01??命题定义一个判断的语义，通常是完整而有意义的陈述句，其语义可被观察并判断真假。疑问句、感叹句、祈使句等均不构成命题，因为它们无法直接判定真假。02??真假属性命题必然具有真或假的属性，若命题p为真则非p为假，真假相对且互斥。这是所有逻辑推理的出发点，也是命题区别于其他语言形式的关键特征。03??命题分类体系简单命题之外，复合命题分为联言（p∧q）、选言（p∨q）和假言命题（p→q/p?q）三大类。不同类型的复合命题具有不同的真值判定规则和推理形式。04?判断练习地球是圆的为真命题，地球不是圆的为假命题，地球是圆的吗非陈述句而非命题。通过实例辨析，掌握命题的核心判定标准。

第五章·第四节假言命题的定义与分类假言命题（条件命题）反映事物间的条件联系，由前件和后件组成。根据条件关系的性质