∃

∃ 存在量詞 ∃ x: P(x) 表示存在至少一個 x 使得 P(x) 為真 。 ∃ n ∈ N: n 為偶數

可讀作 “存在”