举例说明什么是溯因（溯源）推理：回溯推理的特征与形式
溯因推理（abductive reasoning），又称“溯源推理”或“回溯推理”，是一种由结果推断原因的归纳推理，是人们在日常思维中经常使用的一种推理。
例如，一盏日光灯突然熄灭了，为了使其复明，总要先推测日光灯熄灭的原因：是停电？或是电源线路接触不好？还是日光灯管坏了或者是其他零件损坏了？……可以把上述推测所使用的推理整理如下：
〔11〕如果停了电，那么日光灯熄灭；日光灯熄灭，所以停了电。
〔12〕如果电源线路接触不好，那么日光灯熄灭；日光灯熄灭，所以电源线路接触不好。
〔13〕如果日光灯管坏了或者是其他零件损坏了，那么日光灯熄灭；日光灯熄灭，所以日光灯管坏了或者是其他零件损坏了。
这三个推理都是溯因推理，其形式可以表示如下：
左边是〔11〕和〔12〕的形式，右边是〔13〕的形式。这些推理形式亦可横写为（p→q）∧q→p或（p∨r→q）∧q→p∨r，很明显属于充分条件假言推理的肯定后件式。
不过，由于溯因推理实质上是由一对象存在的必要条件来推测该对象的存在，因此它只是貌似演绎推理，而实际上属于归纳推理。
与此相关，溯因推理也不是必然性推理，由于不符合充分条件假言推理的规则，溯因推理的前提并不蕴涵结论，前提与结论之间的联系是或然的。
