| 非有效的推理形式 non-effective form of inference 与“有效的推理形式”相对。一个推理形式“A1…An，所以B”是非有效的推理形式，当且仅当具有A1…An诸形式的任何前提为真时，具有形式B的结论不一定为真。即在一个非有效的推理形式中，其前提真而结论假并非是不可能的。也可以说，一个推理形式是非有效的，当且仅当其前提(A1…An)并非蕴涵着结论(B)。一个具体推理的推理形式如果是非有效的，那么该推理就是非有效的推理。非有效的推理形式不属于演绎推理。比如，“如果p则q，q，所以p”就是一个非有效的推理形式。运用这一推理形式所进行的具体推理就不属于前提蕴涵结论的演绎推理，而是前提并不蕴涵结论的回溯推理。 |