辑等价于“存在着某个没有结婚的活人formula_37”的，或记作：formula_45一般地，则有，对一个命题函数的全称量化的否定是该命题函数的否定的一个存在量化；可用符号表示为：formula_46
推理规则.推理规则是指由假设到结论的过程中证明一个逻辑步骤成立的规则。有若干推理规则利用了全称量词。普遍例证（Universal instantiation）推定出的结论是这样的：若已知命题函数普遍成立，则其必对论域中任何随意给出的元素均成立。将此符号化地表示为