∀ 针对所有
∀ 全称量词 ∀ x: P(x) 表示 P(x) 对于所有 x 为真。 ∀ n ∈ N: n2 ≥ n
对所有；对任意；对任一
谓词逻辑
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。