逻辑学假言判断及其推理素材课件•假言判断•假言推理•充分必要条件与假言推理•假言判断与推理的实际应用•总结与展望contents目录01假言判断又称条件判断,它反映的是事物间的条件关系,即“如果P,那么Q”的形式
假言判断条件关系逻辑关系指某一事件(即“如果P”)发生时,另一事件(即“那么Q”)也会随之发生
假言判断所表达的是一种必然的逻辑关系,即P和Q之间存在一种内在的、必然的联系
030201假言判断的定义充分条件假言判断如果P存在,则Q一定存在
表示P是Q的充分条件
必要条件假言判断如果Q存在,则P一定存在
表示P是Q的必要条件
充分必要条件假言判断当且仅当P存在时,Q才存在
表示P和Q互为充分必要条件
假言判断的分类03020102030401假言判断的逻辑形式“如果P,那么Q”“只有当P,才Q”“当且仅当P,才Q”“除非P,才Q”02假言推理假言推理的定义假言推理是一种基于假言判断的推理,假言判断是反映事物之间条件关系的判断,即“如果P,则Q”
条件关系指一个命题的真实性要求另一个命题的真实性作为条件的逻辑关系
必要条件假言推理根据必要条件关系而进行的推理,即“只有Q,才P”为真,则肯定“Q→P”为真
充分必要条件假言推理根据充分必要条件关系而进行的推理,即“P当且仅当Q”为真,则肯定“PQ”↔为真
充分条件假言推理根据充分条件关系而进行的推理,即“如果P,则Q”为真,则肯定“P→Q”为真
假言推理的分类表示P是Q的充分条件,即P存在时Q一定存在
“如果P,则Q”表示Q是P的必要条件,即Q不存在时P一定不存在
“只有Q,才P”表示P和Q具有等价关系,即P存在时Q一定存在,反之亦然
“P当且仅当Q”假言推理的逻辑形式03充分必要条件与假言推理VS如果条件A存在,那么结果B一定存在
即A是B的充分条件
必要条件如果结果B要存在,那么条件A必须存在
即A是B的必要条件