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