无标题文档 我们知道，简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念，谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是，怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢？下面先介绍谓词的合式公式。 我们把a（x1，x2，…，xn）称作谓词演算的原子公式，其中x1，x2，…，xn是客体变元，因此原子谓词公式包括下述形式的各种特例。如：q，a（x），a（x，y），a（f（x），y），a（x，y，z），a（a，y）等。 定义2-3·1谓词演算的合式公式，可由下述各条组成：(1)原子谓词公式是合式公式。(2)若a是合式公式，则┓a是一个合式公式。(3)若a和b都是合式公...

在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。 定义2-6。1一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。 前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词或量词ヨ，vi（i=1，2，3，…，n）是客体变元，a是没有量词的谓词公式。 例如（"x）（"y）（$z）（q（x，y）®r（z）），（"y）（"x）（øp（x，y）®q（y））等都是前束范式。 定理2-6.1任意一个谓词公式，均和一个前束范式等价。证明首先利用量词转化公式，把否定深入到命题变元和谓词填...