如果命题 
对于所有 
为真，则记为 
。
是两个所谓的 量词 之一，并且翻译为 全称量词 
。
Wolfram 语言 表达式ForAll[x, expr] 可以用来表示 expr 对于 x 的所有值都为真的陈述。
对于所有
另请参阅
几乎所有 (Almost All), 存在 (Exists), 存在一些 (For Some), 蕴含 (Implies), 量词 (Quantifier), 全称量词 (Universal Quantifier), 全称语句 (Universal Sentence)使用 探索
请引用为
Weisstein, Eric W. “For All.” 来自 Web 资源。 https://mathworld.net.cn/ForAll.html