Question

全称量词和存在量词命题

Answer 1

(1) 全称量词
日常生活和数学中所用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词可统称为全称量词，记作

、

等，表示个体域里的所有个体。
(2) 存在量词
日常生活和数学中所用的“存在”，“有一个”，“有的”，“至少有一个”等词统称为存在量词，记作

，

等，表示个体域里有的个体。
3．含有全称量词的命题称为全称命题，含有存在量词的命题称为存在性称命题。
全称命题的格式：“对M中的所有x，p(x)”的命题，记为:

存在性命题的格式：“存在集合M中的元素x，q(x)”的命题，记为:

注：全称量词就是“任意”，写成上下颠倒过来的大写字母A，实际上就是英语"any"中的首字母。存在量词就是“存在”、“有”，写成左右反过来的大写字母E，实际上就是英语"exist"中的首字母。存在量词的“否”就是全称量词。