离散数学_谓词公式的范式与谓词推演

谓词公式的范式

前束型范式

有以下特点：

前束范式的定义：

谓词逻辑的推理

区别于命题推理的新规则：

注意，这里的y是不包含在x中出现的个体变量，与下面的ES中的自由变元要区别

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

推理规则