【锚点】这一篇只钉一个判断：【但/but 不改变命题真值，却改变推理系统的预期管理成本】。【显式】在命题逻辑里，「他穷，但快乐」和「他穷，并且快乐」都等价于 A∧B；真值表只看 A 与 B 是否同时为真。【隐式】Grice（1975）的合作原则提示：自然语言连接词常常不承载真值，而承载语用默认；「但」告诉听者，B 违背了由 A 触发的默认预期。【细微】可用取消测试区分：说「他穷，但快乐；其实穷常让人更快乐」并不导致矛盾，只取消语用含义；若「但」是逻辑联结词，取消应改变真值。【极难发现】连接词是系统里的搜索成本控制器：它造成 0 个真值条件变化，却触发 1 个默认规则被压制，让听者停止沿默认链展开。【流程节点链路】：【断言A】 → 【默认规则D(A→B)】 → 【连接词but】 → 【预期违背信号】 → 【默认被压制】 → 【共同基础更新】。可辩论问题：如果两个推理系统只交换真值，不交换「预期违背」标记，它们会不会在大量默认规则下反复误判？