普遍例证（Universal instantiation）推定出的结论是这样的：若已知命题函数普遍成立，则其必对论域中任何随意给出的元素均成立。将此符号化地表示为formula_47其中formula_48是论域中可完全随意确定的某个元素。普遍概括（Universal generalization）推定出的结论是这样的：若命题函数对论域中任何随意给出的元素均成立，则其普遍成立。以符号表示为：对某个可随意确定的c，formula_49特别重要的是必须注意到，formula_48必须是完全随