存在

如果存在 ，則記作 。類似地，“ 不存在” 記作 。 是被稱為 量詞 的兩個數學物件之一。

Wolfram 語言表示式存在[x, expr] 可以用來表示存在 x 的值使得 expr 為真的陳述。