存在記号
一方、「ある偶数 n {\displaystyle n} について、 n ⋅ n = 25 {\displaystyle n\cdot n=25} である」という文は、偶数の解が存在しないため偽となる。また、「ある奇数 n {\displaystyle n} について、 n ⋅ n = 25 {\displaystyle n\cdot n=25} である」という文は、5 が奇数であるため真となる。この事実は変数 n {\displaystyle n} が取りうる値の範囲を示す「議論領域(domain of discourse)」が重要であることを示している。 何らかの述語を満たす値だけを議論領域としたい場合、存在量化では論理積を使用すればよい。 例として、「ある奇数 n {\displaystyle n} について、 n ⋅ n = 25 {\displaystyle n\cdot n=25} である」という文は「ある自然数 n {\displaystyle n} について、 n {\displaystyle n} は奇数であり、かつ n ⋅ n = 25 {\displaystyle n\cdot n=25} である」という文と論理的に同値である。この場合、「かつ」は論理積を表している。
数理論理学で存在量化を表す存在記号は " ∃ {\displaystyle \exists } "(サンセリフ体の "E" を裏返した字)で表される。なお、これは英語で存在を意味するexistに由来する。