是∃ 表示存在 ∃ x:P(x) 表示存在至少一个 x 使得 P(x) 为真.
∃ n ∈ N:n 为偶数