存在：至少一个

"存在 x 使得……"（记作 ∃，读作"存在"）是说：至少能找到一个 x 让句子为真，哪怕只有一个也行。要证明它，举出一个例子就够了；要推翻它，得说明一个都没有。