_5都使命题formula_6成立。反之，命题“对任何自然数formula_5，都有formula_10则为假，因为当formula_5取1时，formula_12便不成立。尽管"大多数"自然数formula_5都满足formula_10，但存在至少一个反例足以举证全称命题为假。然而，“对任何合数formula_5，都有formula_10”是真命题，因为所有的反例均不是合数。这说明了论域的重要性——确定变量formula_5的取值范围。限制存在量化的论域要使用逻辑条件。例如“对任何合数formula