自指语句:100 句话里有多少句为真
True Statement
题目详情
纸上写着 100 句陈述。
- 第 1 句:在这 100 句中,至多有 0 句为真。
- 第 2 句:在这 100 句中,至多有 1 句为真。
- 一般地,第 句:在这 100 句中,至多有 句为真。
问:这 100 句中有多少句为真?
On a sheet of paper, you have statements written down. The first statement says, "at most of these statements are true." The second says, "at most of these statements are true." More generally, the th says, "at most of these statements are true." How many of the statements are true?
解析
设恰好有 句为真。
那么“至多 句为真”的陈述在且仅在 (即 )时为真。
因此为真的句子数量等于满足 的句子个数,即 。
一致性要求 ,所以 。
也可验证:第 51 到第 100 句(声称“至多 50..99 句为真”)都为真,而前 50 句为假。
Original Explanation
We know that the first statement must be false, as if it was true, it would contradict itself that none of the statements are true. Therefore, let's consider the second statement. If it was false, then this implies that at least statements are true. However, the statement after says that at most statements are true. If that were to be true, then that claims exactly statements would be true, of which one is itself. However, every statement that says at most statements are true would also be true, causing a logical contradiction. Therefore, the third statement must be false.
The trick here is to notice that for some threshold , all the statements saying "at least of the statements are true" must be true for everything at least that , and false for everything below it. For such an , that statement being true implies that both at most and at least statements are true, meaning exactly statements are true. Namely, there must be statements that are false and statements that are true. To find that threshold , we just equate the above, yielding statements must be true. We can verify this by seeing that the statements "at most statements are true" must be true and other are false.