MENTAL MODEL · M7383
代换公理
Substitution Axiom
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
如果 a = b，则在任何表达式中可以用 b 替换 a。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
等价替换是逻辑推理的基础操作。
anchor
锚定快速决策
等量代换是等式的基本性质：若a=b，则含a的任何命题/表达式中的a可替换为b而不改变真值；是推理、化简与证明的基础规则（莱布尼茨"不可分辨物同一"的可替换性体现）。
MINIMUM ACTION · 最小行动
进行中 0/3在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E6%9B%BF%E4%BB%A3%E5%85%AC%E7%90%86verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型