MENTAL MODEL · M13256
命题逻辑
Propositional Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
命题逻辑研究句子的意义以及句子之间的推理关系，如何由一类称为命题联结词的逻辑算子在决定句子的真或可断言条件时所起的作用而产生。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 结构拆解：把长句还原为联结词的组合，看清推理骨架 - 真值判定：按联结词的真值函数逐层算出复合命题真假 - 矛盾自查：枚举真值组合，检验一组断言是否自相冲突
anchor
锚定快速决策
命题联结词是真值函数：合取、析取、否定的真值只由支命题的真值决定，公式的真值因而可递归计算，有效性原则上可枚举判定。由于这种计算随原子命题数呈指数增长，可满足性问题成为 NP 完全的；紧致性则保证：若每个有限子集可满足，则整个集合可满足。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-propositional/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型