MATHEMATICS/EXP.01/NO.05
Universal & Existential Quantifiers
全称量词'对任意的'(∀)和存在量词'存在'(∃)用于精确表达数学命题。全称命题的否定是存在命题，反之亦然。
∀x∈D, p(x)
∃x∈D, p(x)
视频内容即将上线
COMING SOON
全称命题的否定：¬(∀x∈D, p(x)) = ∃x∈D, ¬p(x)。存在命题的否定：¬(∃x∈D, p(x)) = ∀x∈D, ¬p(x)。
充分条件与必要条件
数学