充分条件推理的例子
如果a能推出b，那么a就是b的充分条件。
体现在刑事侦查中，侦查人员发现的大量证据及物证，人证等为小前提推出结论的思维过程，便是充分条件，假言推理，在刑事侦查中的运用。
侦查的任务是通过现场勘查，调查访问，获取犯罪发生的情况及作案人的线索，在此基础上，警察要对案情进行分析，判断，断定案件的性质，提出侦查，假设包括确定案件发生的方向，猜测作案人的范围，置顶破案的方向，然后实行侦察，最终破案。
充分条件假言推理
充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。
中文名
充分条件假言推理
根据充分条件假言命题的逻辑性质进行的推理
充分条件假言推理有两条规则：
规则1：肯定前件，就要肯定后件否定前件，不能否定后件。
规则2：否定后件，就要否定前件肯定后件，不能肯定前件。
根据规则，充分条件假言推理有两个正确的形式：
（1）肯定前件式
如果p，那么q
p
___________
所以，q
（2）否定后件式
如果p，那么q
非q
___________
所以，非p
例如：
1、 如果谁骄傲自满，那么他就要落后小张骄傲自满，所以，小张必定要落后。
2、 如果谁得了肺炎，他就一定要发烧小李没发烧，所以，小李没患肺炎。
例1和例2都是充分条件假言推理，前者是肯定前件式后者是否定后件式。这两个推理都符合推理规则，所以，都是正确的。
根据规则，充分条件假言推理的否定前件式和肯定后件式都是无效的。例如：
3、 如果降落的物体不受外力的影响，那么，它不会改变降落的方向这个物体受到了外力的影响，所以，它会改变降落的方向。
4、 如果赵某是走私犯，那么，他应受法律制裁经查明，赵某确实受到了法律制裁，所以，赵某是走私犯。
例3和例4都是不正确的充分条件假言推理，因为例3违反了“否定前件，不能否定后件”的规则例4违反了“肯定后件，不能肯定前件”的规则。
如果A能推出B，那么A就是B的充分条件。其中A为B的子集，即属于A的一定属于B，而属于B的不一定属于A，具体的说若存在元素属于B的不属于A，则A为B的真子集若属于B的也属于A，则A与B相等。
