1、全稱量詞與全稱命題：
①全稱量詞：短語“對所有的”，“對任意的”在陳述中表示整體或全部的含義，邏輯中通常叫做全稱量詞，并用符號“”表示；
②全稱命題：含有全稱量詞的命題，叫做全稱命題
③全稱命題的格式：“對M中任意一個x，有p（x）成立”的命題，記為?x∈M，p（x），讀作“對任意x屬于M，有p（x）成立”。
2、存在量詞與特稱命題：
①存在量詞：短語“存在一個”，“至少有一個”在陳述中表示個別或者一部分的含義，在邏輯中通常叫做存在量詞，并用符號“”表示。
②特稱命題：含有存在量詞的命題，叫做特稱命題；
③“存在M中的一個x₀，使p（x₀）成立”的命題，記為?x₀∈M，p（x₀），讀作“存在一個x₀屬于M，使p（x₀）成立”。
3、全稱命題的否定：
一般地，對于含有一個量詞的全稱命題的否定，有下面的結(jié)論：
全稱命題p：，它的否命題
4、特稱命題的否定：
一般地，對于含有一個量詞的特稱命題的否定，有下面的結(jié)論：
特稱命題p：，其否定命題

本文來自：逍遙右腦記憶 http://www.yy-art.cn/gaozhong/289691.html

相關(guān)閱讀：高考文科數(shù)學必背公式有哪些