在
谓词逻辑中，是存在量化对一个域的至少一个
成员的性质或关系的
论断。使用叫做
存在量词逻辑算子符号来指示存在量化。
基础理论
假如你希望写一个公式，它为真当且仅当某些自然数自乘得 25。你可以尝试的一个朴素的方式是：
0·0 = 25, 或 1·1 = 25, 或 2·2 = 25, 或 3·3 = 25，以此类推。
对于某些自然数 n，n·n = 25。
这是使用了存在量化的一个单一的称述。
∃n∈N P(n,n,25)
是(真)陈述
∃n∈N (Q(n)∧P(n,n,25))
是(假)陈述
对于某些偶数 n，n·n = 25。