全称量词与存在量词

这一节包含的知识点

比「节」更细的一层：具体到能对上一道题的步骤。

• 全称量词与全称量词命题「所有」「任意」这样的词叫全称量词，含全称量词的命题可记作 ∀x ∈ M, p(x)。
• 存在量词与存在量词命题「存在」「至少有一个」这样的词叫存在量词，含存在量词的命题可记作 ∃x ∈ M, p(x)。
• 全称命题与存在命题的否定全称命题的否定是存在命题，存在命题的否定是全称命题，否定时还要把结论一起否定。
• 充分条件、必要条件与充要条件若 p 能推出 q，则 p 是 q 的充分条件、q 是 p 的必要条件；两者可以互相推出时叫充要条件。
• 逻辑联结词与复合命题且、或、非把简单命题组合成复合命题，真假由各简单命题共同决定。

先修：学它之前要先会

• 集合与常用逻辑用语

完整前置链：一路要先会

不只是直接先修 —— 把先修的先修也追到底，顺序就是该学的顺序（含跨学科）。

1. 1集合与常用逻辑用语

后继：学会它之后可以往哪走

坐标系里还没有概念把这条当先修。

学习「全称量词与存在量词」

这个知识点还没有内容（还没有教材或出版物接进来）。现在能做的：看清它在坐标系里的位置 —— 先修是什么、学完之后通向哪里，然后把「我了解了」记下来。

自述不等于掌握：它只是「我知道这一条讲什么」，不会计入学习单元完成数。学习记录存在这台设备上。

还没有任何内容覆盖这条概念。要让它长出来，需要导入并发布一份讲到它的材料 —— Publishing 会在正文里找候选（带原句作证据），由人确认后挂到这条上。

还没有任何学习目标、测评或任务标注到这条知识点上。学习链只列**真的标注过**的条目 —— 没有就是没有，不按模板补一个出来。