9.4 真值函数论证

直言三段论（在第8章里讨论的）共有256种形式。而真值函数的论证形式则可能是无穷多。尽管如此，检验真值函数论证是否有效的方法足以检验任何一种真值函数论证。接下来，我们将介绍3种检验方法：真值表法、简化真值表法和演绎法。

让我们先复习一下“有效”概念。一个论证是有效的，当且仅当前提为真能保证结论为真——也就是说，如果前提为真，结论就不可能为假（记住，逻辑并不关注前提实际是否为真）。