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

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

相關(guān)閱讀：數(shù)學(xué)的邏輯思維能力應(yīng)從數(shù)列解題中培養(yǎng)