• 眼鏡在哪裡？
(a) 如果我的眼鏡放在餐桌上，那麼我會在吃早餐時看到它。
(b) 我曾經在客廳或餐廳看報紙。
(c) 如果我在客廳看報紙，那麼我的眼鏡會放在茶几上。
(d) 我在吃早餐時沒有看到我的眼鏡。
(e) 如果昨晚我在床上看書，那麼我的眼鏡會放在床頭櫃上。
(f) 如果我在餐廳看報紙，那麼我的眼鏡會放在餐桌上。
解答：眼鏡放在茶几上。你可以依以下步驟得到這個答案：
(1) 眼鏡不在餐桌上。 （由(a)(d)及負後律導出）
(2) 我沒有在餐廳看報紙。 （由(f)(1)及負後律導出）
(3) 我在客廳看報紙。 （由(b)(2)及選言律導出）
(4) 我的眼鏡在茶几上。 （由(c)(3)及正前律導出）注意，我們沒有用到(e)就得到了這個結論。這在數學世界與真實世界中是常常發生的，我們只使用那些有用的資訊來推斷出結論。
• 君子國？小人國？
A說：「B是君子國的人。」
B說：「我和A來自不同的國家。」
解答：A和B都是小人國的人民。理由如下：
A是君子國或是小人國的人。
假設A是君子國的人。
∴ A說的都是真的。 （由君子國國民的定義得知）
∴ B也是君子國的人。 （因為A這麼說）
∴ B說的都是真的。 （由君子國國民的定義得知）
∴ A和B是不同國家的人。 （因為B這麼說）
∴ 我們得到矛盾：
A和B都是君子國的人，而且A和B來自不同的國家。
∴ 假設錯誤。 （由矛盾律得知）
∴ A不是君子國的人。 （假設的否定句）
∴ A是小人國的人。 （由選言律得知）
∴ A說的都是假的。
∴ B不是君子國的人。
∴ B也是小人國的人。 （由選言律得知）