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

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

*7.所有鳥都是動物。所有樹都不是鳥。所以，所有樹都不動物。

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

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

*10.阿爾文喜歡簡。簡喜歡克里斯。因此，阿爾文喜歡克里斯。

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

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

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

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

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

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

*1.所有貓是哺乳動物。所有哺乳動物都是動物。因此，所有貓都是動物。

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

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

*4.“宴會開始！”或者是一個語句或者是一個陳述?！把鐣_始！”是一個語句。因此，“宴會開始！”不是一個陳述。

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

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

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

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

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

*10.所有哺乳動物都是貓。所有貓都是動物。因此，所有哺乳動物都是動物。

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

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

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

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

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

形式和反例

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

考慮下列兩個論證：

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