存在量化

在谓词逻辑中，存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号 ∃ 来指示存在量化。对量化的一般论述在量化中，本文特定讨论存在量化。它相对于声称某些事物对所有事物都为真的全称量化。
访问 Wikipedia.org... 网页