有效性

---

一个推理是有效的(也称形式有效、成立、合乎逻辑、正确等等)，当且仅当对于它的推理形式的任一解释，都不会同时出现真前提和假结论。

例如，下面的推理：

所有的真理都经受了实践检验

所以，所有经受了实践检验的都是真理

不是有效的。因为不难找到该推理形式的一个解释：

所有的人都是要死的

所以，所有要死的都是人

该推理前提真，结论假。

推理的有效性通过解释来定义，但解释的方法只能判定推理的无效，不能判定推理的有效，因为我们不可能穷尽一个推理形式的所有解释。

逻辑学的一个中心问题就是研究如何判定推理的有效性。