§1.4 全称量词与存在量词 课时目标 1.通过生活和数学中的丰富实例，理解全称量词与存在量词的意义.2.会判定全称命题和特称命题的真假.3.能正确的对含有一个量词的命题进行否定.4.知道全称命题的否定是特称命题，特称命题的否定是全称命题． 1．全称量词和全称命题 (1)短语“______________”“____________”在逻辑中通常叫做全称量词，并用符号“______”表示，常见的全称量词还有“对一切”“对每一个”“任给”“所有的”等． (2)含有______________的命题，叫做全称命题． (3)全称命题：“对m中任意一个x，有p(x)成立”，可用符号简记为____________． 2．存在量词和特称命题 (1)短语“______________”“________________”在逻辑中通常叫做存在量词，并用符号“________”表示，常见的存在量词还有“有些”“有一个”“对某个”“有的”等． (2)含有______________的命题，叫做特称命题． (3)特称命题：“存在m中的一个x0，有p(x0)成立”，可用符号简记为 ____________． 3．含有一个量词的命题的否定
