在谓词逻辑中，存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号∃来指示存在量化。

它相对于声称某些事物对所有事物都为真的全称量化。

假如你希望写一个公式，它为真当且仅当某些自然数自乘得25。你可以尝试的一个朴素的方式是：

因为重复使用了"或"，这是看起来是一个逻辑析取。但是"以此类推"使得它在形式逻辑中不可能解释为析取。转而我们把句子重组为

注意这个陈述实际上比最初的更加精确。短语"以此类推"明确的意味着包含所有自然数，而没有更多其他的什幺东西，但是这不是一个明确的陈述，这是这个短语不能形式解释的根本原因。在另一方面，在这个量化的陈述中自然数被明确的提及了。

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". Some sources use the term existentialization to refer to existential quantification. It is usually denoted by the turned E (∃) logical operator symbol, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.