有效性



Confusion grey.svg  提示：本条目的主题不是效度。

在逻辑中，如果一个论证不能从真前提中得出假结论，则论证的形式是完全有效的。一个论证若被称为是有效的，则如果在其中所有前提都为真的每个模型中，结论也是真的。例如：“所有A是B；有些A是C；所以有些B是C”是有效形式。


  • 一个逻辑公式被称为是有效的，如果它在所有释义（也叫做结构或模型）下都是真的。参见模型论或数理逻辑。

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


例子


考虑下列论证形式，其中P、Q和A表示未分析的或未解释的句子。


所有P是Q，

A是P，

所以A是Q。

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


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


参见


  • 逻辑推论


查询維基詞典中的有效性。

-

Popular posts from this blog

Top Tejano songwriter Luis Silva dead of heart attack at 64

Image
Ramiro Burr's New Blog - to go back: www.ramiroburr.com From Latin rock to reggaeton, boleros to blues,Tex-Mex to Tejano, conjunto to corridos and beyond, Ramiro Burr has it covered. If you have a new CD release, a trivia question or are looking for tour info, post a message here or e-mail Ramiro directly at: musicreporter@gmail.com Top Tejano songwriter Luis Silva dead of heart attack at 64 By Ramiro Burr on October 23, 2008 8:40 AM | Permalink | Comments (12) | TrackBacks (0) UPDATE: Luis Silva Funeral Service details released Visitation 4-9 p.m. Saturday, Rosary service 6 p.m. Saturday at Porter Loring, 1101 McCullough Ave Funeral Service 10:30 a.m. Monday St. Anthony De Padua Catholic Church, Burial Service at Chapel Hills, 7735 Gibbs Sprawl Road. Porter Loring (210) 227-8221 Related New Flash: Irma Laura Lopez: long time record promoter killed in accident NewsFlash: 9:02 a.m. (New comments below) Luis Silva , one of the most well-known ...
Read more

政党

Image
政治主題的一部分 政党政治 政治光譜 左派 極左 中間偏左 中间派 中間偏左 激進中間 （ 英语 ： Radical centrism ） 中間偏右 右派 中間偏右 極右 政綱 極端 激进 （ 英语 ： Political radicalism ） 温和 （ 英语 ： Moderate ） 改良 混合 （ 英语 ： Syncretic politics ） 第三位置 保守 原教旨 反动 政党制度 无党制 （ 英语 ： Non-partisan democracy ） 一党制 一党优...
Read more

天津地下鉄3号線

Image
天津地下鉄3号線 3号線の電車 基本情報 通称 ？ 現況 営業中 国 中華人民共和国・ 中国 所在地 西青区・河西区・和平区・河北区・北辰区 路線網 天津地下鉄 起点 南駅 終点 小淀駅 駅数 26駅 路線番号 3 路線色 ■ 水色 開業 2012年10月1日 路線諸元 路線距離 34 km 営業キロ ？ 軌間 1,435 mm (標準軌) 線路数 複線 電化...
Read more