全称量词，全称命题及其真假的判断

　　1、全称量词

　　短语“对所有的”“对任意一个”在逻辑中通常称为全称量词，并用符号“”表示。

　　2、全称命题

　　含有全称量词的命题称为全称命题。

　　通常，将含有变量的语句用

，，，···

表示，变量的取值范围用表示。则全称命题

“对中任意一个，有成立”

可用符号简记为，，读作

“对任意属于，有成立”。

　　全称命题就是陈述某集合中所有元素都具有某种性质的命题。

　　如命题：，是整数，就是全称命题。

　　有些命题虽然省去全称量词，但是仍然为全称命题。

　　如：“正方形都是矩形”省去了全称量词“所有的”.

　　注：全称命题的否定是特称命题。

　　3、全称命题真假的判断

　　要判定一个全称命题为真，必须对限定集合中每个验证命题成立，一般可用代数推理方法加以证明；而要判断一个全称命题为假，只需举一个反例即可。