MENTAL MODEL · M8459
命题演算
Propositional Calculus
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
使用逻辑符号（与、或、非、蕴含）对命题进行形式化推演，通过规则推导出新命题。涵盖变体：命题演绎、命题转换、命题下推模型、命题下行法、命题降维演绎
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
机械化推理，排除直觉偏差。把"我觉得对"变成"可证明为真"，用形式化规则替代模糊的人类直觉，确保推理的严密性。
anchor
锚定快速决策
命题演算（Propositional calculus）以命题为单元、用联结词与推理规则研究有效推理形式。
MINIMUM ACTION · 最小行动
进行中 0/2在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Propositional_logicverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型