。限制存在量化的论域要使用逻辑合取。例如“存在奇数formula_5，formula_6”逻辑等价于“存在自然数formula_5，formula_5是奇数且formula_6”。这里的“且”构造出了逻辑合取。在符号逻辑中，使用存在量词“∃”（反写的无衬线体的字母"E"）来表示存在量化。所以如果formula_22是谓词“formula_23”，而formula_24则是自然数集，那么有表示的是真命题“存在自然数formula_5，formula_6”。类似的，如果formula_28是谓词“for