设谜招亲

聪明可爱的少女鲍西娅，家资丰厚，父亲过世以后，她决定选一位如意的郎君同她一起生活。

一天，来了许多求婚者。鲍西娅对大家说：

我这里有三只匣子，一只金的，一只银的，一只铅的。我的肖像就放在其中一只匣子里。你们看，每只匣子上都写着一句话：

金匣子上写的是：“肖像在这个匣中。” 银匣子上写的是：“肖像不在这个匣中。” 铅匣子上写的是：“肖像不在金匣中。”

“请注意，这三句话当中只有一句话是真话。如果哪一位能通过这三句话猜中我的肖像在哪个匣子里，那么他就将作我的丈夫。”

鲍西娅的话音一落，众求婚者即刻陷入沉思之中。继而，有的抓耳挠腮， 有的眉头紧锁，有的⋯⋯

这时，一位逻辑学家非常自信地说：“尊敬的少女，我猜中了，你的肖像在银匣之中。”

于是，鲍西娅一锤定音，当众宣布：“遵照先父的遗嘱，我现在就是这位逻辑学家的妻子了！”

逻辑学家之所以猜中，是形式逻辑中的排中律帮助了他。金匣上写的“肖像在这个匣中”，铅匣上写的“肖像不在金匣中”，这是一组互相矛盾的判断。排中律指出：两者之间必然是一个真的，一个假的，第三种情况是没有的。而鲍西娅又指出，三句话中只有一句真话。金匣、铅匣中已经有一句真话了，那么银匣上的话肯定是假话，而银匣上的话是：“肖像不在这个匣中”，那么，肖像肯定就在其中。