| 量词 quantifier 数理逻辑用语。用以表示数量的逻辑词。最常用的量词有表示全体的全称量词“所有x…”和不表示全体，只表示存在、有、“至少有一个”的存在量词“有x…”两种。全称量词常以符号“(ᗄx)”(或“(x)”、“∩x”)来表示，存在量词常以符号“(∃x)”或“∑x”来表示。全称量式(ᗄx)A(x)表示“对所有x而言，A(x)”。例如：(ᗄx)(x2≥0)表示“对所有x而言，x2≥0”，即“所有数的平方都不小于0”。此命题在实数域为真，在复数域为假。存在量化式(∃x)A(x)表示“存在x，A(x)”。例如“(∃x)(2<x<3)”表示“存在x，2<x<3”，即“有数x介于2与3之间”。此命题在有理数域为真，在自然数集为假。可见，(ᗄx)A(x)和(∃x)A(x)的真假都和x的取值范围(个体域)有关。 |