提示：此條目的主題不是
效度。
在邏輯中，如果一個論證不能從真前提中得出假結論，則論證的形式是完全有效的。一個論證若被稱為是有效的，則如果在其中所有前提都為真的每個模型中，結論也是真的。例如：「所有A是B；有些A是C；所以有些B是C」是有效形式。
- 一個邏輯公式被稱為是有效的，如果它在所有釋義（也叫做結構或模型）下都是真的。參見模型論或數理邏輯。
- 一個重言式，或重言公式，是真值泛函有效的。不是所有量化邏輯的有效的公式都是重言式。參見真值表。
例子
考慮下列論證形式，其中P、Q和A表示未分析的或未解釋的句子。
- 所有P是Q，
- A是P，
- 所以A是Q。
實際論證的有效性可以通過把它轉換到一個論證形式中，並接著分析這個論證形式的有效性來確定。（上述論證形式是有效的，參見三段論。）
- 如果所有P是Q，並且A是P，那麼A是Q。
參見
