对任何合数formula_5，都有formula_10”是真命题，因为所有的反例均不是合数。这说明了论域的重要性——确定变量formula_5的取值范围。限制存在量化的论域要使用逻辑条件。例如“对任何合数formula_5，都有formula_10”逻辑等价于“对任何自然数formula_5，如果formula_5为合数，则formula_10”。这里“如果……则”的句子构造出了逻辑条件。在符号逻辑中，使用全称量词“∀”（倒置的无衬线体字母“A”）来表示全称量化。所以如果formula_23是谓词“fo