具有以下特点： 定义前束范式：

新规则不同于命题推理：

请注意，这里的y不包括x中的个体变量和以下变量ES区分自由变元

这里，当P（x）当有其他自由变元时，c表示为其变量。

推理规则