MENTAL MODEL · M11759
自然演绎
Natural Deduction
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
一种模拟人类自然推理过程的形式证明系统，通过引入规则和消去规则处理逻辑联结词，不依赖公理而是依靠推理规则进行演绎。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
让证明过程符合思维直觉。与公理化系统相比，自然演绎更贴近人类实际论证方式，是理解逻辑推理本质的桥梁。
anchor
锚定快速决策
自然演绎以一组推理规则为核心，每个逻辑联结词（¬、∧、∨、→、∀、∃）都配有"引入规则"和"消去规则"。证明通过逐步应用规则从前提推出结论；假设可在其作用域内"暂定引入"，并在适当时"消去"（如条件证明、反证法）。系统不预设公理集，规则本身即被视为自明，因此证明过程贴合直觉推理。
MINIMUM ACTION · 最小行动
进行中 0/1在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%BB%8Everified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型