MENTAL MODEL · M7693
全称/存在量化推理
Quantifier Logic
更新于 2026-08-10
CORE DEFINITION · 核心定义
全称概括法：从所有个体的共同属性推出全称命题（∀x: P(x)）全称实例法：从全称命题推出个体具有该属性缺字母规则：推理中处理量词的形式规则
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
严谨推理，避免以偏概全。区分"所有"与"存在"、"必然"与"可能"，是逻辑思维的基础训练。
anchor
锚定快速决策
一阶逻辑中，∀（全称）与∃（存在）量词的形式推理规则：全称例示从∀x P(x)推出 P(a)；存在例示引入新常量；全称概括须满足"缺失字母"约束（新名不在前提中自由出现）。
MINIMUM ACTION · 最小行动
进行中 0/5在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Quantifier_(logicverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型