假言推理的充分条件假言推理
充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。
充分条件假言推理有两条规则:
规则1:肯定前件,就要肯定后件;否定前件,不能否定后件。
规则2:肯定后件,不能肯定前件;否定后件,就要否定前件。
根据规则,充分条件假言推理有两个正确的形式:
(1)肯定前件式
如果p,那么q
p
___________
所以,q
(2)否定后件式
如果p,那么q
非q
___________
所以,非p
例如:
1. 如果谁骄傲自满,那么他就要落后;小张骄傲自满,所以,小张必定要落后。
2. 如果谁得了肺炎,他就一定要发烧;小李没发烧,所以,小李没患肺炎。
例1和例2都是充分条件假言推理,前者是肯定前件式;后者是否定后件式。这两个推理都符合推理规则,所以,都是正确的。
根据规则,充分条件假言推理的否定前件式和肯定后件式都是无效的。例如:
3. 如果降落的物体不受外力的影响,那么,它不会改变降落的方向;这个物体受到了外力的影响,所以,它会改变降落的方向。
4. 如果赵某是走私犯,那么,他应受法律制裁;经查明,赵某确实受到了法律制裁,所以,赵某是走私犯。
例3和例4都是不正确的充分条件假言推理,因为例3违反了“否定前件,不能否定后件”的规则;例4违反了“肯定后件,不能肯定前件”的规则。