有效性- 維基百科，自由的百科全書 - Wikipedia

有效性 維基百科，自由的百科全書 跳至導覽 跳至搜尋   提示：此條目的主題不是效度。

在邏輯中，如果一個論證不能從真前提中得出假結論，則論證的形式是完全有效的。

一個論證若被稱為是有效的，則如果在其中所有前提都為真的每個模型中，結論也是真的。

例如：「所有A是B；有些A是C；所以有些B是C」是有效形式。

一個邏輯公式被稱為是有效的，如果它在所有釋義（也叫做結構或模型）下都是真的。

參見模型論或數理邏輯。

一個重言式