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

6.或者使用核能，或者減少我們的能量消費(fèi)。如果使用核能，那么我們就要冒生命的巨大危險(xiǎn)。如果減少能量消費(fèi)，那么我們就會(huì)將自己置于廣泛的政府控制之下。因此，或者我們冒生命的巨大危險(xiǎn)，或者我們將自身置于廣泛的政府控制之下。

*7.所有鳥(niǎo)都是動(dòng)物。所有樹(shù)都不是鳥(niǎo)。所以，所有樹(shù)都不動(dòng)物。

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

9.所有動(dòng)物都是生物。有些卷心菜是生物。因此，有些卷心菜是動(dòng)物。

*10.阿爾文喜歡簡(jiǎn)。簡(jiǎn)喜歡克里斯。因此，阿爾文喜歡克里斯。

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

12.大衛(wèi)矮于索爾，索爾矮于郭麗斯。因此，大衛(wèi)矮于郭麗斯。

*13.可能麥格羅將贏得下屆總統(tǒng)選舉?？赡芴m伯特將贏得下屆總統(tǒng)選舉。所以，可能麥格羅和蘭伯特都將贏得下屆總統(tǒng)選舉。

14.所有內(nèi)科醫(yī)生都是歌手。馬東娜是內(nèi)科醫(yī)生。所以，馬東娜是一名歌手。

15.薩繆爾·默爾斯發(fā)明了電報(bào)。亞歷山大·格瑞漢·貝爾沒(méi)有發(fā)明電報(bào)。因此，默爾斯不是貝爾。

四、可靠性 下列論證中哪些是可靠的？哪些是不可靠的？如果是不可靠的，請(qǐng)解釋為什么。

*1.所有貓是哺乳動(dòng)物。所有哺乳動(dòng)物都是動(dòng)物。因此，所有貓都是動(dòng)物。

2.所有牧羊犬都是犬。有些動(dòng)物不是犬。因此，有些動(dòng)物不是牧羊犬。

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

*4.“宴會(huì)開(kāi)始！”或者是一個(gè)語(yǔ)句或者是一個(gè)陳述。“宴會(huì)開(kāi)始！”是一個(gè)語(yǔ)句。因此，“宴會(huì)開(kāi)始！”不是一個(gè)陳述。

5.所有鉆石都不是綠寶石。希望鉆石是鉆石。因此，希望鉆石不是綠寶石。

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

*7.如果泰姬陵在肯塔基，那么泰姬陵在美國(guó)。但泰姬陵不在美國(guó)。因此，泰姬陵不在肯塔基。

8.所有婦女都是已婚的。有些總經(jīng)理不是已婚的。因此，有些總經(jīng)理不是婦女。

9.所有哺乳動(dòng)物都是動(dòng)物。所有爬行動(dòng)物都不是哺乳動(dòng)物。因此，所有爬行動(dòng)物都不是動(dòng)物。

*10.所有哺乳動(dòng)物都是貓。所有貓都是動(dòng)物。因此，所有哺乳動(dòng)物都是動(dòng)物。

11.韋伯·賴特發(fā)明了飛機(jī)。因此，奧維勒·賴特沒(méi)有發(fā)明飛機(jī)。

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

*13.威廉·薩士比亞寫了哈姆雷特。列奧·托爾斯泰就是威廉·薩士比亞。由此可以推出，列奧·托爾斯泰寫了哈姆雷特。

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

15.或者托馬斯·杰弗遜是美國(guó)第一屆總統(tǒng)，或者喬治·華盛頓是美國(guó)第一屆總統(tǒng)，但并非都是。喬治·華盛頓是美國(guó)第一屆總統(tǒng)。因此，托馬斯·杰弗遜不是美國(guó)第一屆總統(tǒng)。

形式和反例

我們已經(jīng)明確，演繹邏輯是關(guān)于檢驗(yàn)有效性和無(wú)效性的邏輯分支。本節(jié)引入論證形式的概念，并且說(shuō)明如何理解運(yùn)用論證形式來(lái)確立一個(gè)論證是有效的還是無(wú)效的。

考慮下列兩個(gè)論證：

28. 1.所有橡樹(shù)都是樹(shù)。 29. 1.所有情感主義者都是規(guī)定主義者。