无标题文档 我们知道，简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念，谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是，怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢？下面先介绍谓词的合式公式。 我们把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都是合式公...