2.充分条件假言推理
充分条件假言推理是前提中有一个充分条件假言判断并且是根据充分条件假言判断前后件的真假关系进行推演的推理。
根据充分条件假言判断的定义和它的真值表,可以知道：当一个充分条件假言判断为真时,其前后件的真假关系是：
前件真后件必真
前件假后件真假不定
后件真前件真假不定
后件假前件必假
根据上述真假关系,可以导出充分条件假言推理的规则：
规则1：已知前件为真,就能推出后件为真。
规则2：已知前件为假,不能推出后件真假。
规则3：已知后件为真,不能推出前件真假。
规则4：已知后件为假,就能推出前件为假。
根据规则1和规则4,可以得到两个有效的推理形式：
① 肯定前件式：
如果p,那么q
p
———————
所以,q
② 否定后件式：
如果p,那么q
非q
————————
所以,非p
例：p——患阑尾炎 q——肚子痛
如果患阑尾炎，那么就会肚子痛；
甲患阑尾炎；
所以，甲肚子痛。
如果患阑尾炎，那么就会肚子痛；
甲肚子不痛；
所以，甲未患阑尾炎。
