∃ 存在量词 ∃ x: P(x) 表示存在至少一个 x 使得 P(x) 为真。 ∃ n ∈ N: n 为偶数
存在
谓词逻辑
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。