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