此条目需要补充更多来源。 (2019年11月8日)
请协助补充多方面可靠来源以改善这篇条目，无法查证的内容可能会因为异议提出而移除。
致使用者：请搜索一下条目的标题（来源搜索："存在量化" — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。
在谓词逻辑中，存在量化是对论域内至少一个成员的性质或关系的论断。在符号逻辑中，存在量词“∃”是用来指示存在量化的符号。
它相对于声称某些谓词对所有事物都为真的全称量化。
要表达“某些自然数自乘得25”这个命题，一种方式是：
因为使用了“或”一词，这看上去是逻辑析取。然而形式逻辑中的析取概念却不能表达出“以此类推”一词的含义，因此该命题并不能在形式逻辑中解读。
这便是一个使用存在量化的单一命题。该命题比原命题更精确，因为“以此类推”一词想表示的是要包括所有的自然数、且除此之外不包括任何其它内容，但语言中并没有明确地陈述这点，这便是“以此类推”一词不能被形式地解释的根本原因。
这个新命题为真，因为5是自然数，而当把5代入 n {\displaystyle n}
”为假，因为一个偶数解也不存在。
”为真，因为5是奇数。这演示了论域的重要性——确定变量n的取值范围。限制存在量化的论域要使用逻辑合取。例如“存在奇数 n {\displaystyle n}