数学建构
“所有”、“任意”、“每一个”等表示全体的量词在逻辑中称为全称量词,通常用符号“ x”表示“对任意x”. 上面的命题(2)可以表示为“ x∈R, x2≥0”,即“所有实数的平方都不小于0.”