有效推理

有效推理
术语名称	有效推理
英语名称	valid inference
别名	论证有效性, 逻辑有效性, deductive validity

推理有效性
术语名称	推理有效性
英语名称	validity of inference
别名	论证有效性, 逻辑有效性, deductive validity

推理有效性(validity of inference)指一个推理(reasoning)或论证(argument)中前提与结论之间的逻辑关系性质。一个有效推理保证如果所有前提为真，则结论必然为真。有效性关注的是推理形式而非内容真伪，对于存在假前提的情况，对结论的真假不做任何保证。

定义

基本定义

一个推理是有效的(valid)，当且仅当不存在这样的情形：所有前提都为真而结论为假。

相关概念

具有演绎有效性的推理是演绎推理：前提真则结论必然真。 归纳推理中类似有效性的概念为归纳强度：前提真则结论很可能真。这种倾向称为归纳的强度，会随着归纳数量增强。 在语义上，涉及推理前后语义的衡量方式称为溯因合理性，是溯因推理中的评价标准：前提为结论提供最佳解释。

有效性仅关注推理形式是否保证从真前提出发一定得到真结论，不关注命题内容。 有效推理可能包含假前提，而无效推理也可能偶然得到真结论。