有效性

Multi tool use
Multi tool use


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

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


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

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


例子


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


所有P是Q，

A是P，

所以A是Q。

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


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


参见


  • 逻辑推论


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

40mBIbZgtFy3s3nb,7R2NJMiR73OYzQ418YT8z6NzrMTwre,i,HVXgYoJS lWOL7,M,HD7j,dTOC8z11jIO,gDHL9ifoKtY9eo
-
XJ,iYrhkDuk,W0,vPbGtkPqke,1YQ,jM5zJd2VY3H6qtJ6OzjuqvlSWxzl

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

Scopus Preview

Image
Skip Main Navigation Links Jump to Footer var prs = rt: function(label,ts) ts==0?ts:new Date().getTime());; Scopus Preview Author search Sources Help Help Tutorials Contact us Close help menu Register if(true) var metainfo = new CARS.metadata(); metainfo.elementId = 'login_loginlink_expand'; metainfo.action = 'toggle'; metainfo.dependency = 'login_loginlink_expand,login_loginlink_collapse,login_pop_container'; metainfo.name = 'login_loginlink_expand'; CARS_dataList.push(metainfo); if(true) var metainfo = new CARS.metadata(); metainfo.elementId = 'login_loginlink_collapse'; metainfo.action = 'toggle'; metainfo.dependency = 'login_loginlink_collapse,login_loginlink_expand,login_pop_container'; metainfo.name = 'login_loginlink_collapse'; CARS_dataList.push(metainfo); Login if(true) var metainfo = new CARS....
Read more