充分條件假言推理是根據充分條件假言命題的邏輯性質進行的推理。
充分條件假言推理有兩條規則:
規則1:肯定前件,就要肯定後件;否定前件,不能否定後件。
規則2:否定後件,就要否定前件;肯定後件,不能肯定前件。
根據規則,充分條件假言推理有兩個正確的形式:
(1)肯定前件式
如果p,那么q
p
___________
所以,q
(2)否定後件式
如果p,那么q
非q
___________
所以,非p
例如:
1. 如果誰驕傲自滿,那么他就要落後;小張驕傲自滿,所以,小張必定要落後。
2. 如果誰得了肺炎,他就一定要發燒;小李沒發燒,所以,小李沒患肺炎。
例1和例2都是充分條件假言推理,前者是肯定前件式;後者是否定後件式。這兩個推理都符合推理規則,所以,都是正確的。
根據規則,充分條件假言推理的否定前件式和肯定後件式都是無效的。例如:
3. 如果降落的物體不受外力的影響,那么,它不會改變降落的方向;這個物體受到了外力的影響,所以,它會改變降落的方向。
4. 如果趙某是走私犯,那么,他應受法律制裁;經查明,趙某確實受到了法律制裁,所以,趙某是走私犯。
例3和例4都是不正確的充分條件假言推理,因為例3違反了“否定前件,不能否定後件”的規則;例4違反了“肯定後件,不能肯定前件”的規則。