MENTAL MODEL · M10470
构造证明法
Constructive Proof
更新于 2026-09-11
CORE DEFINITION · 核心定义
通过实际构造出满足条件的对象来证明存在性，而非仅证明"不存在则矛盾"。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
存在性实证。提供"拿得出来"的证据，而非仅有逻辑论证。
anchor
锚定快速决策
数学与逻辑中，要证明「存在某物」，直接给出构造或算法将其显式造出，而非仅证其存在（非构造证明用反证）。
MINIMUM ACTION · 最小行动
进行中 0/2在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Constructive_proofverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型