充分條件假言推理

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