一、原子谓词公式
称n元谓词P(x1,x2,…,xn)为原子谓词公式
二、谓词合式公式
定义:(1)原子谓词公式是合式公式。
(2)如果A是合式公式,则!A也是合式公式。
(3)如果A、B是合式公式,则(A^B)、(A V B)、(A->B)、(A<->B)都是合式公式。
(4)如果A是合适公式,x是A中的个体变元,则 ∀ xA和 ∃ xA也是合式公式。
(5)只有有限次地应用(1)至(4)得到的符号串才是合式公式
合式公式也称为谓词公式,简称公式,为了方便,最外层括号可以省略。
注意:若量词后边有括号,则此括号不能省略
三、量词的作用域(辖域)
在谓词公式中,量词的作用范围称之为量词的作用域,也叫量词的辖域。
例:∀xA(x)中∀ x的辖域为A(x)
∃x(A(x)→B(x))中∃x的辖域为(A(x)→B(x))
一般地
*如果量词后边只是一个原子谓词公式时,该量词的辖域就是此原子谓词公式。
*如果量词后边是括号,则此括号所表示的区域就是该量词的辖域。
*如果多个量词紧挨着出现,则后边的量词及其辖域就是前边量词的辖域。
四、自由变元与约束变元
在谓词公式中的个体变元可以分为两种,一种是受到量词约束的,一种是不受量词约束的。
定义:如果客体变元x在∀x或∃x的辖域内,则称x在此辖域内约束出现,并称x在此辖域内时约束变元。否则x是自由出现,并称x是自由变元。
(1)一个n元谓词若在前面添加k个量词,使其中的k个个体变元变成约束变元,则此n元谓词就变成了n-k元谓词
(2)一个谓词公式如果无自由变元,他就表示一个命题。
约束变元的换名规则:
设A为一谓词公式,将A中某量词的辖域内的一个约束变元的所有出现及相应的指导变元全部改成A中没出现过的某个变元符号,A中其余部分不变,记所得公式为A‘,则A<=>A’。
对自由变元也可以换名,此换名叫代入
自由变元的带入规则
设A为一谓词公式将A中某个自由出现的个体变元的所有出现用某个A中没出现过的变元符号代替,A中其余部分不变,记所得公式为A‘,则A<=>A’。