查看“︁有效性”︁的源代码

{{distinguish|效度}}
[[逻辑学]]中，一个演绎[[论证]]或论据（argument）是「'''有效的'''（valid）」，当且仅当它没有所有[[前提]]为真同时结论为假，并且它的结论跟随前提的逻辑，否则它是'''无效的'''。{{Sfn|copi|2019|p=26}}一个有效的演绎论证并不必需要它的部分前提或结论为[[真值|真]]，但是如果它所有的前提为真，那么它的结论必为真。

我們可以引入內在矛盾（internally contradictory）的概念來定義「'''有效性'''（validity）」：「對於任何論證而言(假設它的所有前提所組成的集合不是內在矛盾的)，如果由它的所有前提以及對於結論的否定所共同組成的語句集合是內在矛盾的，則該論證是有效的。」在定義中之所以有「假設所有的前提所組成的集合不是內在矛盾的」這樣的一個但書，是因為從矛盾的前提可以推導出任何的結論，這一性質在自然演繹法（natural deduction）中是顯然的。

一个论证的'''有效性'''可以被检验、证明或反驳，并取决于它的逻辑形式<ref>{{Cite book|title=Introduction to logic|last=Gensler, Harry J., 1945-|isbn=978-1-138-91058-4|edition=Third|location=New York|oclc=957680480|date = January 6, 2017}}</ref>。

在形式演繹系統中，一个逻辑[[WFF|公式]]被称为是有效的，如果它在所有释义（interpretation）下都是真的。更一般的說，給定一個形式語言 <math>L</math>，當我們說公式 <math>\Phi</math> 是有效的，即表示該形式語言 <math>L</math> 中的所有釋義 <math>I</math> 都是 <math>\Phi</math> 的模型(Model)，用符號表示即為：<math>\models_{L}\Phi</math>。另外，在邏輯學中我們已經約定：對於形式語言 <math>L</math> 的所有釋義 <math>I</math> 都是空集合 <math>\phi</math> 的模型，所以形式語言 <math>L</math> 中的每一個有效公式 <math>\Phi</math> 都是空集合 <math>\phi</math> 的語意結論（semantic consequence），用符號來表示即為： <math>\phi\models_{L}\Phi</math>。在某些中文邏輯教科書中，也將「model」翻譯成「釋模」。参见[[模型论]]或[[数理逻辑]]。

一个[[重言式]]，或重言公式，是真值泛函有效的。不是所有量化逻辑的有效的公式都是重言式。参见[[真值表]]。

== 例子 ==
以下的演绎论证是有效的，且前提与结论皆为真。
:人必有一死。
:苏格拉底是人。
:因此，苏格拉底必有一死。
以下的演绎论证也是有效的，但是前提不全是真的。
:猫有九条命。
:苏格拉底是猫。
:因此，苏格拉底有九条命。

形式逻辑中，有效的论证可以表示如下，其中P、Q和A表示未分析的或未解释的句子。

:所有P是Q，
:A是P，
:所以A是Q。

实际论证的有效性可以通过把它转换到一个论证形式中，并接着分析这个论证形式的有效性来确定。（上述论证形式是有效的，参见[[三段论]]。）

:如果所有P是Q，并且A是P，那么A是Q。

== 参见 ==
* [[逻辑推论]]

== 引用 ==
{{Reflist}}

== 参考 ==
* {{Cite book|isbn=978-1-138-50086-0|last1=Copi|first1=Irving M.|last2=Cohen|first2=Carl|last3=Rodych|first3=Victor|title=Introduction to Logic|location=New York|date=2019}}

==外部链接==
{{wiktionary}}
*[[Jon Barwise|Barwise, Jon]]; [[John Etchemendy|Etchemendy, John]]. ''Language, Proof and Logic'' (1999): 42.
*Beer, Francis A. "[https://www.tandfonline.com/doi/abs/10.1080/02691729308578683 Validities: A Political Science Perspective] {{Wayback|url=https://www.tandfonline.com/doi/abs/10.1080/02691729308578683 |date=20221009145842 }}", ''Social Epistemology'' 7, 1 (1993): 85-105.

{{数理逻辑|state=expanded}}
[[Category:邏輯|Y有]]