聰明可愛的少女鮑西婭,家資豐厚,父親過世以後,她決定選一位如意的郎君同她一起生活。
一天,來了許多求婚者。鮑西婭對大家說:
我這裡有三隻匣子,一隻金的,一隻銀的,一隻鉛的。我的肖像就放在其中一隻匣子裡。你們看,每隻匣子上都寫著一句話:
金匣子上寫的是:“肖像在這個匣中。”
銀匣子上寫的是:“肖像不在這個匣中。”
鉛匣子上寫的是:“肖像不在金匣中。”
“請注意,這三句話當中只有一句話是真話。如果哪一位能通過這三句話猜中我的肖像在哪個匣子裡,那麼他就將作我的丈夫。”
鮑西婭的話音一落,眾求婚者即刻陷入沉思之中。繼而,有的抓耳撓腮,有的眉頭緊鎖,有的……
這時,一位邏輯學家非常自信地說:“尊敬的少女,我猜中了,你的肖像在銀匣之中。”
於是,鮑西婭一錘定音,當眾宣佈:“遵照先父的遺囑,我現在就是這位邏輯學家的妻子了!”
邏輯學家之所以猜中,是形式邏輯中的排中律幫助了他。金匣上寫的“肖像在這個匣中”,鉛匣上寫的“肖像不在金匣中”,這是一組互相矛盾的判斷。排中律指出:兩者之間必然是一個真的,一個假的,第三種情況是沒有的。而鮑西婭又指出,三句話中只有一句真話。金匣、鉛匣中已經有一句真話了,那麼銀匣上的話肯定是假話,而銀匣上的話是:“肖像不在這個匣中”,那麼,肖像肯定就在其中。