充分條件假言推理

充分條件假言推理有兩條規則：

規則1：肯定前件，就要肯定後件；否定前件，不能否定後件。

規則2：否定後件，就要否定前件；肯定後件，不能肯定前件。

根據規則，充分條件假言推理有兩個正確的形式：

（1）肯定前件式

如果p，那麼q

p

___________

所以，q

（2）否定後件式

如果p，那麼q

非q

___________

所以，非p

例如：

1. 如果誰驕傲自滿，那麼他就要落後；小張驕傲自滿，所以，小張必定要落後。

2. 如果誰得了肺炎，他就一定要發燒；小李沒發燒，所以，小李沒患肺炎。

例1和例2都是充分條件假言推理，前者是肯定前件式；後者是否定後件式。這兩個推理都符合推理規則，所以，都是正確的。

根據規則，充分條件假言推理的否定前件式和肯定後件式都是無效的。例如：

3. 如果降落的物體不受外力的影響，那麼，它不會改變降落的方向；這個物體受到了外力的影響，所以，它會改變降落的方向。

4. 如果趙某是走私犯，那麼，他應受法律制裁；經查明，趙某確實受到了法律制裁，所以，趙某是走私犯。

例3和例4都是不正確的充分條件假言推理，因為例3違反了“否定前件，不能否定後件”的規則；例4違反了“肯定後件，不能肯定前件”的規則。