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