全称命题与存在命题的否定

它在哪一节里

知识点不单独存在 —— 它属于全称量词与存在量词这一节。要理解它，通常得先看这一节讲什么。

全称量词表示「所有」并记作 ∀，存在量词表示「存在」并记作 ∃，两者可以互相否定。

同一节的其他知识点

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

学习顺序：先学什么，后学什么

「这节里的前后」是编纂顺序（讲解顺序），说的是这一节讲到哪一步；「哪些节要在前面」才是先修关系。

学习「全称命题与存在命题的否定」

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

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

还没有内容讲到这条知识点。导入并发布一份讲到它的材料后，Publishing 会在正文里找候选（带原句作证据）， 由人确认后挂到这条上。