教堂在哪里？

這個問題是:“我如果問你的弟弟:‘教堂在島的東頭，還是在島的西頭?他將會如何回答我?”

本題是形式邏輯中二難推理的運(yùn)用。米諾是根據(jù)二難推理原理而提出問題的。為什么米諾提出這個問題，并根據(jù)貝魯奇的回答就能推知教堂的正確位置?

米諾是這樣推理的:

設(shè):教堂的正確位置在島的東頭。

如果貝魯奇說真話，那么，他的弟弟就說假話。這樣，貝魯奇的弟弟在回答“教堂在島的東頭，還是在島的西頭?”這一問題時就會說:“教堂在島的西頭”。這時，說真話的貝魯奇就會如實地對米諾轉(zhuǎn)述弟弟說的這句話。

如果貝魯奇說假話，那么，他的弟弟說真話。這樣，貝魯奇的弟弟在回答“教堂在島的東頭，還是在島的西頭?”這一問題時，就會說:“教堂在島的東頭。”這時，說假話的貝魯奇就會對米諾說“我的弟弟將會說‘教堂在島的西頭”。

或者貝魯奇說真話，或者貝魯奇說假話，總之，當(dāng)教堂的正確位置在島的東頭時，貝魯奇總是說:“我的弟弟將會說:‘教堂在島的西頭?！?/p>

設(shè):教堂的正確位置在島的西頭。

推理過程同。

所以，如果貝魯奇說:“我的弟弟將會說‘教堂在島的東頭”，那么，教堂的正確位置是在島的西頭。相反，如果貝魯奇說:“我的弟弟將會說‘教堂在島的西頭”，那么，教堂的正確位置是在島的東頭。