查看“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)$

[[/01152|视频讲解]]

==例题==
===例1===
===例2===
===例3===
===例4===

==练习==