教堂在哪里？
这个问题是:“我如果问你的弟弟:‘教堂在岛的东头，还是在岛的西头?’他将会如何回答我?”
本题是形式逻辑中二难推理的运用。米诺是根据二难推理原理而提出问题的。为什么米诺提出这个问题，并根据贝鲁奇的回答就能推知教堂的正确位置?
米诺是这样推理的:
设:教堂的正确位置在岛的东头。
如果贝鲁奇说真话，那么，他的弟弟就说假话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时就会说:“教堂在岛的西头”。这时，说真话的贝鲁奇就会如实地对米诺转述弟弟说的这句话。
如果贝鲁奇说假话，那么，他的弟弟说真话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时，就会说:“教堂在岛的东头。”这时，说假话的贝鲁奇就会对米诺说“我的弟弟将会说‘教堂在岛的西头’”。
或者贝鲁奇说真话，或者贝鲁奇说假话，总之，当教堂的正确位置在岛的东头时，贝鲁奇总是说:“我的弟弟将会说:‘教堂在岛的西头。’”
设:教堂的正确位置在岛的西头。
推理过程同。
所以，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的东头’”，那么，教堂的正确位置是在岛的西头。相反，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的西头’”，那么，教堂的正确位置是在岛的东头。, 百拇医药
本题是形式逻辑中二难推理的运用。米诺是根据二难推理原理而提出问题的。为什么米诺提出这个问题，并根据贝鲁奇的回答就能推知教堂的正确位置?
米诺是这样推理的:
设:教堂的正确位置在岛的东头。
如果贝鲁奇说真话，那么，他的弟弟就说假话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时就会说:“教堂在岛的西头”。这时，说真话的贝鲁奇就会如实地对米诺转述弟弟说的这句话。
如果贝鲁奇说假话，那么，他的弟弟说真话。这样，贝鲁奇的弟弟在回答“教堂在岛的东头，还是在岛的西头?”这一问题时，就会说:“教堂在岛的东头。”这时，说假话的贝鲁奇就会对米诺说“我的弟弟将会说‘教堂在岛的西头’”。
或者贝鲁奇说真话，或者贝鲁奇说假话，总之，当教堂的正确位置在岛的东头时，贝鲁奇总是说:“我的弟弟将会说:‘教堂在岛的西头。’”
设:教堂的正确位置在岛的西头。
推理过程同。
所以，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的东头’”，那么，教堂的正确位置是在岛的西头。相反，如果贝鲁奇说:“我的弟弟将会说‘教堂在岛的西头’”，那么，教堂的正确位置是在岛的东头。, 百拇医药