1．命题
可供真假判断的陈述语句是命题，而且， 判断为真的语句称为真命题，判断为假的语句称为假命题．
2．全称量词和全称量词命题
(1)一般地，“任意”“所有”“每一个”在陈述中表示所述事物的全体，称为全称量词，并用符号“∀”表示．
(2)含有全称量词的命题叫做全称量词命题，通常将含有变量x的语句用p(x)，q(x)，r(x)，…表示，变量x的取值范围用M表示，那么全称量词命题“对M中任意一个x，p(x)成立”可用符号简记为∀x∈M，p(x)．
3．存在量词和存在量词命题
(1)“存在”“有”“至少有一个”在陈述中表示所述事物的个体或部分，称为存在量词，并用符号“∃”表示．
(2)含有存在量词的命题，叫做存在量词命题，存在量词命题“存在集合M中的元素x，p(x)成立”，可用符号简记为“∃x∈M，p(x)”．
思考：“一元二次方程ax2＋2x＋1＝0有实数解”是存在量词命题还是全称量词命题？请改写成相应命题的形式．
提示：是存在量词命题，可改写为“存在x∈R，使ax2＋2x＋1＝0”．
1．下列语句中，命题的个数为( )
①空集是任何非空集合的真子集； ②起立！ ③垂直于同一平面的两条直线平行吗？ ④若实数x，y满足x2＋y2＝0，则x＝y＝0.
