一个无效论证的本质特征是：当其前提都真时，结论不必然真。

有效性本身并不要求一个论证的前提必须真实。但是，我们显然又要求我们所进行的论证要有真实的前提。一个可靠论证（sound argument）有两个本质特征：一是推理有效，二是前提都是真实的。注意，一个可靠论证不能有假结论。因为一个可靠论证是有效的，并且只能有真实的前提，所以，它必定有真实的结论。以下是两个可靠论证：

23.所有牧羊犬是犬。所有犬是动物。所以，所有牧羊犬是动物。

24.如果阿科龙是俄亥俄人，那么阿科龙是美国人。阿科龙是俄亥俄人。所以，阿科龙是美国人。

有效+全部真前提=可靠

一个不可靠论证（unsound argument）有下列三种情况：

有效但至少有一个前提假。

无效但所有前提都真；

无效并且至少有一个假前提。

换句话说，一个不可靠论证，或者无效或者至少有一个前提假。例如，下列两个论证都是不可靠的。

25.所有鸟是动物。有些灰熊不是动物。所以，有些灰熊不是鸟。

26.所有鸟是动物。所有灰熊是动物。所以，所有灰熊是鸟。

上例中的（25）是不可靠的，因为尽管该论证有效，但它有一个假前提，即第二个前提是假的。（26）也是不可靠的，因为尽管该论证的前提都是真的，但却是无效的推理。我们还可以很容易地构造不可靠论证的第三种类型，即用“树”来取代例（26）中的“鸟”，则推理就是无效的并且至少有一个假前提。

27.所有树都是动物。所有熊都是动物。所以，所有熊都是树。

一个不可靠论证是指，或者无效或者至少有一个假前提。

下面是我们到目前为止所讨论过的主要概念图表：

论证

有效论证 无效论证

所有前提真都真的 至少有一个前提假 所有无效论证都

有效论证是可靠的 的有效论证是不可靠的 是不可靠的

演绎逻辑是关于检验有效性和无效性的逻辑分支。3本书的绝大部分都是考察演绎逻辑的。事实上，接下来的两节将提供给我们一些初步的检验方法，来确立论证的有效性和无效性。

本节着重是关于术语的解释。根据我们的定义，论证既不真也不假，但一个陈述则是或者真、或者假的。另一方面，论证可以是有效的、无效的、可靠的、不可靠的；但陈述不能是有效的、无效的、可靠的、不可靠的。所以，一个给定前提（或者结论），是或者真或者假的，但它不能是有效的、无效的、可靠的、不可靠的。

定义概要

一个论证是一个陈述系列，其中一个称为结论，该结论又是根据其它被称为前提的陈述而得到断定的。

逻辑是研究评价一个论证的前提是否足以支持（或者提供良好证据）其结论的方法。

一个有效论证具有如下本质特征：必然如果前提真，则结论真。

一个无效论证具有如下本质特征：当前提为真时，结论不必然真。

一个可靠论证具有两个本质特征：有效和前提都真。

一个不可靠论证是或者无效或者有至少一个假前提。

演绎逻辑是关于检验有效性和无效性的逻辑分支。

下列练习提供给您一个机会，来检查本节所介绍的概念。