三月兔說“所有希臘人都愛吃奶酪”,而阿基里斯拿自己舉例,強(qiáng)調(diào)“有的希臘人不愛吃奶酪”。阿基里斯的命題是對三月兔的直接反駁。
從邏輯上看,“所有希臘人都愛吃奶酪”是全稱肯定命題,“有的希臘人不愛吃奶酪”是特稱否定命題。這兩個命題是矛盾關(guān)系,既不能同真也不能同假,必有一真一假。
凡是敵人的敵人都是朋友嗎?并非如此,阿基和他的小伙伴們在玩耍中發(fā)現(xiàn),有時敵人的敵人并不是朋友,敵人的敵人可能依然是敵人。
反駁一個全稱肯定命題的最好方法,就是證明與它矛盾的特稱否定命題是真的。也就是說,反駁“凡是敵人的敵人都是朋友”的有效辦法,就是指出“有時敵人的敵人并不是朋友”為真的情況。
我們要時刻提醒自己,謹(jǐn)慎使用全稱命題,因為它們很容易遇到反例。
三月兔根據(jù)自己的經(jīng)驗,歸納得出全稱否定命題“所有哺乳動物都不是卵生動物”。然而,鴨嘴獸的存在意味著“有的哺乳動物是卵生動物”,這直接證明了三月兔是錯的。