量词与逻辑联结词.doc

第一章 集合与常用逻辑用语1.3简单的逻辑联结词，全称量词与存在量词1学习要求了解逻辑联结词“或”“且”“非”的含义理解全称量词与存在量词的意义，能正确地对含有一个量词的命题进行否定1知识梳理1全称量词我们把表示_的量词称为全称量词对应日常语言中的“一切”、“任意的”、“所有的”、“凡是”、“任给”、“对每一个”等词，用符合“”表示含有全称量词的命题，称为全称命题如“对任意实数xM，都有p(x)成立”简记成“_”2存在量词：我们把表示_的量词称为存在量词对应日常语言中的“存在一个”“至少有一个”“有个”“某个”“有些”“有的”等词，用符号“_”表示含有存在量词的命题称为存在性命题“存在实数xM，使p(x)成立”简记成“_”3简单逻辑联结词有或(符号为)，且(符号为)，非(符号为)4命题的否定：“xM，p(x)”与“_”互为否定5逻辑联结词：命题中的_