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

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

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

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

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

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

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

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

參見模型論或數理邏輯。

一個重言式，或重言公式，是真值泛函有效的。

不是所有量化邏輯的有效的公式都是重言式。

參見真值表。

例子[編輯] 考慮下列論證形式，其中P、Q和A表示未分析的或未解釋的句子。

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

實際論證的有效性可以通過把它轉換到一個論證形式中，並接著分析這個論證形式的有效性來確定。

（上述論證形式是有效的，參見三段論。

） 如果所有P是Q，並且A是P，那麼A是Q。

參見[編輯] 邏輯推論 查詢維基詞典中的有效性。

取自「https://zh.wikipedia.org/w/index.php?title=有效性&oldid=48702447」 分類：邏輯 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 已展開 已摺疊 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 已展開 已摺疊 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他語言 العربيةБългарскиCatalàDeutschEnglishEspañolEestiفارسیFrançaisעבריתÍslenskaItaliano日本語한국어МакедонскиPortuguêsRomânăРусскийSimpleEnglishСрпски/srpskiSvenskaУкраїнська粵語 編輯連結