1、全称量词与全称命题：

①全称量词：短语“对所有的”“对任意的”在陈述中表示整体或全部的含义，逻辑中通常叫做全称量词并用符号“

②全称命题：含有全称量词的命题，叫做全称命题

③全称命题的格式：“对M中任意一个x有p（x）成立”的命题，记为?x∈Mp（x），读作“对任意x属于M有p（x）成立”。

2、存在量词与特称命题：

①存在量词：短语“存在一个”“至少有一个”在陈述中表示个别或者一部分的含义，在逻辑中通常叫做存在量词并用符号“

②特称命题：含有存在量词的命题，叫做特称命题；

）成立”的命题记为?x

一般地，对于含有一个量词的全称命题嘚否定有下面的结论：

一般地，对于含有一个量词的特称命题的否定有下面的结论：