教堂在哪里？

这个问题是:“我如果问你的弟弟:‘教堂在岛的东头，还是在岛的西头?他将会如何回答我?”

本题是形式逻辑中二难推理的运用。米诺是根据二难推理原理而提出问题的。为什么米诺提出这个问题，并根据贝鲁奇的回答就能推知教堂的正确位置?

米诺是这样推理的:

设:教堂的正确位置在岛的东头。

如果贝鲁奇说真话，那么，他的弟弟就说假话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时就会说:“教堂在岛的西头”。这时，说真话的贝鲁奇就会如实地对米诺转述弟弟说的这句话。

如果贝鲁奇说假话，那么，他的弟弟说真话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时，就会说:“教堂在岛的东头。”这时，说假话的贝鲁奇就会对米诺说“我的弟弟将会说‘教堂在岛的西头”。

或者贝鲁奇说真话，或者贝鲁奇说假话，总之，当教堂的正确位置在岛的东头时，贝鲁奇总是说:“我的弟弟将会说:‘教堂在岛的西头。”

设:教堂的正确位置在岛的西头。

推理过程同。

所以，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的东头”，那么，教堂的正确位置是在岛的西头。相反，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的西头”，那么，教堂的正确位置是在岛的东头。