1.5.2 全称量词命题和存在量词命题的否定

1.5 全称量词与存在量词

知识要点

• 通常，用符号“$\neg p(x)$”表示“$p(x)$不成立”
• 全称量词命题：$\forall x\in M,p(x)$的否定是：$\exists x\in M,\neg p(x)$
• 存在量词命题：$\exists x\in M,p(x)$的否定是：$\forall x\in M,\neg p(x)$

视频讲解