第四章 判断与演绎推理（二）教学课件.pptVIP

例②就是一个否定后件式的充分条件假言连锁推理。其形式结构为： 如果p，那么q； 如果q，那么r； 如果r，那么s； 所以，如果非s，那么非p 可用符号公式表示为： （（p → q）∧（q → r）∧（r → s））→（┐s → ┐p） 3．必要条件假言连锁推理的否定前件式 必要条件假言连锁推理的否定前件式，是以两个或两个以上的必要条件假言判断为前提，由否定第一个必要条件假言判断的前件，而否定最后一个必要条件假言判断前件的推理。 例③只有报名，才有资格参加预赛； 只有通过预赛，才能参加复赛； 只有通过复赛，才能进入决赛； 所以，如果小王没有报名，那么他不可能进入决赛。 例③就是一个否定前件式的必要条件假言连锁推理。其结构式为： 只有p，才q； 只有q，才r； 只有r，才s； 所以，如果非p，那么非s。 用符号公式可表示为： （（p ← q）∧（q ← r）∧（r ← s））→（┐p → ┐s） 2．必要条件假言连锁推理的