1.5.1 全称量词与存在量词
来自高中数学
知识要点
短语“所有的”“任意一个”在逻辑上通常叫做全称量词，并用符号“$\forall$”表示. 含有全称量词的命题叫做全称量词命题.
通常，将含有变量$x$的语句用$p(x),q(x),r(x),\cdots$表示，变量$x$的取值范围用$M$表示. 那么，全称量词命题“对$M$中的任意一个$x$，$p(x)$成立”可用符号简记为$\forall x\in M,p(x)$.
短语“所有的”“任意一个”在逻辑上通常叫做全称量词，并用符号“$\forall$”表示. 含有全称量词的命题叫做全称量词命题.
通常，将含有变量$x$的语句用$p(x),q(x),r(x),\cdots$表示，变量$x$的取值范围用$M$表示. 那么，全称量词命题“对$M$中的任意一个$x$，$p(x)$成立”可用符号简记为$\forall x\in M,p(x)$.
