有效性 编辑
在逻辑中，如果一个论证不能从真前提中得出假结论，则逻辑论证的形式是完全有效的。我们也可以引入内在矛盾的概念来重新定义有效性：“对于任何论证而言，如果由它的所有前提以及对于结论的否定所共同组成的语句集合是内在矛盾的，则该论证是有效的。”
在定义中之所以有“假设所有的前提所组成的集合不是内在矛盾的”这样的一个但书，是因为从矛盾的前提可以推导出任何的结论，这一性质在自然演绎法中是显然的。
1
相关
前提是有助于形成论证主体的真或假陈述，从逻辑上讲，它会导致有效性蕴涵。 前提对其主题进行声明性陈述，使读者可以同意或不同意所讨论的前提，并在这样做时理解论证的逻辑假设。 如果一个前提在逻辑上是假前提的，那么从论证的所有前提得出的结论也一定是错误的—除非结论得到读者同意的逻辑上有效性的论证的支持。 因此，如果读者不同意论证的任何前提，他们就有逻辑基础拒绝论证的结论。
假前提是构成论证或三段论基础的不正确命题。一个逻辑论证由于其前提的不正确性，有可能得出错误的结论。即便得出的结论是错误的，论证本身的有效性是由于该论证的内在一致性决定的，而不是其前提的逻辑正确与否。
真值表是使用于逻辑中的一类数学用表，用来计算逻辑表示式在每种论证上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为有效性的。
在逻辑中，肯定前件是有效性、简单的论证形式:
真值表是使用于逻辑中的一类数学用表，用来计算逻辑表示式在每种论证上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为有效性的。
真值表是使用于逻辑中的一类数学用表，用来计算逻辑表示式在每种论证上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为有效性的。
博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。
在逻辑中，肯定前件是有效性、简单的论证形式:
在上面的论证中，尽管前提 1 是直言的，前提 2 却是提及一个个体的单称陈述。尽管这是一个有效性逻辑形式，它却不是严格的直言三段论。