溯因推理

演绎和溯因区别在于推理中使用“ 蕴涵 ”这种规则的方向(与归纳的比较请参见逻辑推理):

演绎

允许推导 作为 的结论，换句话说，演绎是推导已知事物的推论；

溯因

允许推导 作为 的解释，溯因同演绎反向，通过允许“ 蕴涵 ”的前件 推导自结论 ；换句话说，溯因是解释已知事物的过程。