存在

如果存在 ，则记作 。类似地，“ 不存在” 记作 。 是被称为 量词 的两个数学对象之一。

Wolfram 语言表达式存在[x, expr] 可以用来表示存在 x 的值使得 expr 为真的陈述。