必须证明为定理的同样的命题)。因为函数符号的消除对于某些目的是方便的和可能的，很多形式逻辑系统不明确的处理函数符号而只使用关系符号；另一种考虑方式是泛函谓词是特殊种类的谓词，是满足上述命题的特殊谓词。如果你希望指定只适用于泛函谓词 "F" 的一个命题模式就有问题了；如何提前知道它是否满足这个条件? 要得到这个模式的等价公式，首先把形如 "F"("x") 的任何东西都替代为新变量 "y"。接着在介入对应的 "x" 之后(就是说，在 "x" 被加以量词之后，或在陈述开始处如果 "x" 是自由的)立即就对 "