逻辑论证的有效性指的是结论是否在逻辑上从前提中得出，即是否有可能从前提和所用逻辑系统的允许的三段论中推导出结论。如果可以这样做，则该论证被认为是有效的；否则是无效的。一个有效的论证的经典例子如下：
所有人都是会死的。
苏格拉底是人。
因此，苏格拉底是会死的。
真理性和有效性是不同的概念。即使论证是有效的，如果一个或多个前提是错误的，结论也可能是错误的，如下例所示：
所有人都是注册选民。
莫比·迪克是人。
因此，莫比·迪克是注册选民。
另一方面，即使论证是无效的，结论也可能是正确的，如下例所示：
所有人都是会死的。
氧气是一种化学元素。
因此，有些人可以在四分钟内跑完一英里。
数学证明也被称为有效或无效。如果结论是通过应用合法的数学运算从假设中得出的，那么数学证明就是有效的。
