题面 Pillow Problems · 1893 · P6
来源 context
题型来自 Lewis Carroll 公版逻辑趣题传统；本站保留英文短句 + 中文改写，提示、解答骨架和闲谈为原创。来源书：Pillow Problems（https://archive.org/details/curiousmathema00carrrich）。
Alice says, "Every visitor who is not late is welcome, but no unwelcome visitor is cheerful." What, if anything, follows about a cheerful visitor?
Alice 说：“凡是不迟到的访客都受欢迎；凡是不受欢迎的访客都不快活。”关于一个快活的访客，能推出什么？
提示阶梯 已展开 0/3 档
提示 1
先逐字重写题面，标出可能有双关的词。
提示 2
把文字条件翻成表格，不急着找漂亮答案。
提示 3
最后检查答案是否同时满足字面条件和隐藏限制。
解答 folded
完整解答
把命题写成：不迟到 => 受欢迎；不受欢迎 => 不快活。第二句逆否得到快活 => 受欢迎。不能推出快活者一定不迟到，也不能推出所有受欢迎者都快活。
闲谈 aside
闲谈 aside
卡罗尔的逻辑趣题最有意思的地方，是它们表面像客厅玩笑，实际要求读者非常认真地处理“所有”“有些”“没有”和“如果”。这题建议先写符号，再欣赏句子的俏皮。