有效性

维基百科，自由的百科全书

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

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

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

[编辑] 例子

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

所有 P 是 Q

A 是 P

所以，A 是 Q

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

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

[编辑] 参见

• 可靠性
• 逻辑推论