這個(gè)問(wèn)題是:“我如果問(wèn)你的弟弟:‘教堂在島的東頭，還是在島的西頭?他將會(huì)如何回答我?”

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

米諾是這樣推理的:

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

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

如果貝魯奇說(shuō)假話，那么，他的弟弟說(shuō)真話。這樣，貝魯奇的弟弟在回答“教堂在島的東頭，還是在島的西頭?”這一問(wèn)題時(shí)，就會(huì)說(shuō):“教堂在島的東頭。”這時(shí)，說(shuō)假話的貝魯奇就會(huì)對(duì)米諾說(shuō)“我的弟弟將會(huì)說(shuō)‘教堂在島的西頭”。

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

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

推理過(guò)程同。

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