a_6”为假，因为一个偶数解也不存在。然而，“存在奇数formula_5，formula_6”为真，因为5是奇数。这演示了论域的重要性——确定变量n的取值范围。限制存在量化的论域要使用逻辑合取。例如“存在奇数formula_5，formula_6”逻辑等价于“存在自然数formula_5，formula_5是奇数且formula_6”。这里的“且”构造出了逻辑合取。在符号逻辑中，使用存在量词“∃”（反写的无衬线体的字母"E"）来表示存在量化。所以如果formula_22是谓词“formula_23”，