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

文章推薦指數: 80 %
投票人數:10人

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

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

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

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

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

參見模型論或數理邏輯。

一個重言式



請為這篇文章評分?