4．全称量词与存在量词

　　(1)全称量词与全称命题

　　全称量词用符号"∀"表示．

　　全称命题用符号简记为∀x∈M，p(x)．

　　(2)存在量词与特称命题

　　存在量词用符号"∃"表示．

　　特称命题用符号简记为∃x0∈M，p(x0)．

　　5．含有一个量词的命题的否定

命题 命题的否定 ∀x∈M，p(x) ∃x0∈M，¬p(x0) ∃x0∈M，p(x0) ∀x∈M，¬p(x) 　　

　　1．否命题和命题的否定是两个不同的概念

　　(1)否命题是将原命题的条件否定作为条件，将原命题的结论否定作为结论构造一个新的命题．

　　(2)命题的否定只是否定命题的结论，常用于反证法．若命题为："若p，则q"，则该命题的否命题是"若¬p，则

　　q"；命题的否定为"若p，则¬q"．

　　2．判断p与q之间的关系时，要注意p与q之间关系的方向性，充分条件与必要条件方向正好相反，不要混淆．

　　如"a＝0"是"a·b＝0"的充分不必要条件，"a·b＝0"是"a＝0"的必要不充分条件．

　　3．注意常见逻辑联结词的否定

　　一些常见逻辑联结词的否定要记住，如："都是"的否定"不都是"，"全是"的否定"不全是"，"至少有一个"的否定"一个也没有"，"至多有一个"的否定"至少有两个"．

　　4．注意分清条件和结论，以免混淆充分性与必要性

　　从命题的角度判断充分、必要条件时，一定要分清哪个是条件，哪个是结论，并指明条件是结论的哪种条件，否则会混淆二者的关系，造成错误．

　　主题1　四种命题及其关系[学生用书P76]

　下列命题中正确的个数为(　　)