12.所有酒都不是用蒸馏法提取的液体。有些啤酒不是用蒸馏法提取的液体。因此，有些啤酒不是酒。

*13.所有能够被证伪的陈述都是科学的。所有经验数据都是科学的。因此，所有能够被证伪的陈述都是经验数据。

14.所有勤奋的人都值得赞扬。有些学生值得赞扬。因此，有些学生勤奋。

15.所有黑洞都是自我塌陷的恒星。所有黑洞都是产生巨大引力的实体。因此，所有产生巨大引力的实体都是自我塌陷的恒星。

*16.每一曲摇滚乐都是酷的。所有nerd都不是摇滚乐。因此，所有nerd都不是酷的。

17.所有奇迹都是高度不可能事件。所有高度不可能事件都是偶然情况。因此，有些偶然情况是奇迹。

18.所有正电子都不带电荷离子。所有中子都不带电荷离子。因此，有些正电子是中子。

*19.所有轻视动物的人都是有神经病的人。所有兽医都不是轻视动物的人。因此，所有兽医都不是有神经病的人。

20.所有破坏行为都是罪恶。有些战争是罪恶。因此，有些战争是破坏行为。

一些“著名”形式

我们已经看到，论证形式的概念可以被用来确立一个论证是无效的。而且我们也看到，如果一个论证有一个有效的形式，则它是有效的。在本节中，我们将识别一些出现得如此平常，以至于已经被逻辑学家命名的形式。这些形式中有五个是有效的，有两个是无效的。因为这些形式经常出现，所以称之为“著名”形式。然而在识别这些形式之前，我们需要来了解条件（“如果…那么…”）陈述，因为有些最重要的论证形式集中包含在条件陈述中。

理解条件陈述

下列都是条件陈述（经常被逻辑学家简称为“条件句”）：

42.如果天在下雪，则邮件将会来迟。

43.如果亚伯拉罕·林肯出生于1709年，那么他出生在美国内战之前。

44.如果亚伯拉罕·林肯出生于1809年，那么他出生在美国内战之后。

条件句有几个重要特征。首先，注意条件句的组成部分。一个条件句的“如果”从句称为前件(antecedent)；“那么”从句称为后件(consequent)。但前件并不包括“如果”一词。因此，陈述（42）的前件是“天在下雪”，而不是“如果天在下雪”。类似地，后件是跟在“那么”一词后面的部分陈述，但并不包括这个词。因此，（42）的后件是“邮件将会迟到”，而不是“那么邮件将会迟到”。

其次，条件句在本质上是假设性的。所以，在断定一个条件句时，人们并没有断定其前件是真的。人们也没有断定其后件是真的。相反，人们断定的是，如果前件真，那么后件真。所以，陈述（43）是一个真条件句，即使其前件为假（林肯生于1809年，而不是1709年）。当然，如果林肯生于1709年，那么他出生于1861年开始的美国内战前。而且，（44）是一个假条件句，即使其前件为真。如果林肯生于1809年，那么他肯定不是生于美国内战之后。

第三，在日常语言中，表达一个条件句有多种方式。考虑下列条件陈述：

45.如果天下雨，那么地湿。

下列陈述（a）到（f），是（45）的变体，即做出相同断言的可选择方式：5

a.倘若天下雨，则地湿。

b.假设天下雨，则地湿。

c.地湿，如果天下雨。

d.地湿，倘若天下雨。

e.地湿，假如天下雨。

f. 天下雨，仅当地湿。

上述每一个陈述在逻辑上都等值于（45）。两个陈述是逻辑等值（logically equivally）的，如果一个有效地蕴含另一个。既然（a）到（f）中的每一个都逻辑等值于（45），所以在一个论证中，（45）能够替换它们中的每一个。而且，就像我们将要看到的，做出如此替换有助于识别论证形式。因此，必须密切注意这些变体。考虑（c）。注意，“如果”不是出现在陈述的开始，而是出现在中间。是的，（c）和（45）有相同的基本逻辑含义。而且，（d）中的“倘若”一词，实际上具体起着类似（c）中“如果”的作用。我们可以从这些事例中概括说：“如果”及其变体（如“倘若”和“假如”）引导一个前件。但我们必须补充，这一概括只有当“如果”及其变体自身出现时才起作用。当像在（f）中，与“只有”合在一起时，情况发生了戏剧性的改变。陈述（f）与（45）具有相同的逻辑力量，但是“仅当”一词对许多人来说是混乱的却经受得住严格的考验。