1．全稱量詞與全稱量詞命題
(1)短語“所有的”“任意一個”在邏輯中通常叫做全稱量詞，并用符號“∀”表示．
(2)含有全稱量詞的命題叫做全稱量詞命題，通常將含有變量x的語句用p(x)，q(x)，r(x)，…表示，變量x的取值范圍用M表示，那么全稱量詞命題“對M中任意一個x，p(x)成立”可用符號簡記為∀x∈M，p(x)．
2．存在量詞與存在量詞命題
(1)短語“存在一個”“至少有一個”在邏輯中通常叫做存在量詞，并用符號“∃”表示．
(2)含有存在量詞的命題，叫做存在量詞命題，存在量詞命題“存在M中的元素x，使p(x)成立”，可用符號簡記為“∃x∈M，p(x)”．
思考：“一元二次方程ax2＋2x＋1＝0有實數(shù)解”是存在量詞命題還是全稱量詞命題？請改寫成相應(yīng)命題的形式．
提示：是存在量詞命題，可改寫為“存在x∈R，使ax2＋2x＋1＝0”．
3．含有一個量詞的命題的否定﹁
一般地，對于含有一個量詞的命題的否定，有下面的結(jié)論：
全稱量詞命題p：∀x∈M，p(x)，它的否定﹁p：∃x∈M，﹁p(x)；
存在量詞命題p：∃x∈M，p(x)，它的否定﹁p：∀x∈M，﹁p(x)．
全稱量詞命題的否定是存在量詞命題，存在量詞命題的否定是全稱量詞命題．
1．下列命題中全稱量詞命題的個數(shù)是( )
