5.或者2+2=22，或者圣诞老人存在。但2+2≠22。所以，圣诞老人存在。

6.或者使用核能，或者减少我们的能量消费。如果使用核能，那么我们就要冒生命的巨大危险。如果减少能量消费，那么我们就会将自己置于广泛的政府控制之下。因此，或者我们冒生命的巨大危险，或者我们将自身置于广泛的政府控制之下。

*7.所有鸟都是动物。所有树都不是鸟。所以，所有树都不动物。

8.有些人是懒惰的。所有懒惰的人都不是有理性的。因此，所有人都不是有理性的。

9.所有动物都是生物。有些卷心菜是生物。因此，有些卷心菜是动物。

*10.阿尔文喜欢简。简喜欢克里斯。因此，阿尔文喜欢克里斯。

11.所有杀人犯都是罪犯。因此，所有非杀人犯都是非罪犯。

12.大卫矮于索尔，索尔矮于郭丽斯。因此，大卫矮于郭丽斯。

*13.可能麦格罗将赢得下届总统选举。可能兰伯特将赢得下届总统选举。所以，可能麦格罗和兰伯特都将赢得下届总统选举。

14.所有内科医生都是歌手。马东娜是内科医生。所以，马东娜是一名歌手。

15.萨缪尔·默尔斯发明了电报。亚历山大·格瑞汉·贝尔没有发明电报。因此，默尔斯不是贝尔。

四、可靠性 下列论证中哪些是可靠的？哪些是不可靠的？如果是不可靠的，请解释为什么。

*1.所有猫是哺乳动物。所有哺乳动物都是动物。因此，所有猫都是动物。

2.所有牧羊犬都是犬。有些动物不是犬。因此，有些动物不是牧羊犬。

3.所有尼布拉斯卡的居民都是美国人。所有蒙大拿的局面都是美国人。因此，所有尼布拉斯卡的居民都是蒙大拿的居民。

*4.“宴会开始！”或者是一个语句或者是一个陈述。“宴会开始！”是一个语句。因此，“宴会开始！”不是一个陈述。

5.所有钻石都不是绿宝石。希望钻石是钻石。因此，希望钻石不是绿宝石。

6.所有行星都是球形的。地球是球形的。因此，地球是行星。

*7.如果泰姬陵在肯塔基，那么泰姬陵在美国。但泰姬陵不在美国。因此，泰姬陵不在肯塔基。

8.所有妇女都是已婚的。有些总经理不是已婚的。因此，有些总经理不是妇女。

9.所有哺乳动物都是动物。所有爬行动物都不是哺乳动物。因此，所有爬行动物都不是动物。

*10.所有哺乳动物都是猫。所有猫都是动物。因此，所有哺乳动物都是动物。

11.韦伯·赖特发明了飞机。因此，奥维勒·赖特没有发明飞机。

12.所有牧羊犬都是犬。因此，所有犬都牧羊犬。

*13.威廉·萨士比亚写了哈姆雷特。列奥·托尔斯泰就是威廉·萨士比亚。由此可以推出，列奥·托尔斯泰写了哈姆雷特。

14.如果圣弗朗西斯科在萨斯卡契湾，那么圣弗朗西斯科在加拿大。但并非圣弗朗西斯科在萨斯卡契湾。因此，并非圣弗朗西斯科在加拿大。

15.或者托马斯·杰弗逊是美国第一届总统，或者乔治·华盛顿是美国第一届总统，但并非都是。乔治·华盛顿是美国第一届总统。因此，托马斯·杰弗逊不是美国第一届总统。

形式和反例

我们已经明确，演绎逻辑是关于检验有效性和无效性的逻辑分支。本节引入论证形式的概念，并且说明如何理解运用论证形式来确立一个论证是有效的还是无效的。

考虑下列两个论证：

28. 1.所有橡树都是树。 29. 1.所有情感主义者都是规定主义者。