§3.2谓词公式
3.2.1公式
1.常量符号:用小写英文字母a,b,c,⋯表示,当个体名称集合D给出时,它可以是D中某个元素。
2.变量符号:用小写英文字母x,y,z,⋯表示,当个体名称集合D给出时,D中任意元素可代入变量符号。
3.函数符号:用小写英文字母f,g,⋯表示,当个体名称集合D给出时,n元函数符号f(x 1 ,⋯,x n )可以是D n 到D的任意一个映射。
4.谓词符号:大写英文字母P,Q,R,⋯表示,当个体名称集合D给出时,n元谓词符号P(x 1 ,⋯,x n )可以是D n 上的任意一个谓词。
定义3.2.1.谓词逻辑中的项,被递归定义为:1)常量符号是项;2)变量符号是项;3)若f(x 1 ,⋯,x n )是n元函数符号,t 1 ,⋯,t n 是项,则f(t 1 ,⋯,t n )是项;4)所有项都是有限次使用1),2),3)生成的符号串。
定义3.2.2.若P(x 1 ,⋯,x n )是n元谓词符号,t 1 ,⋯,t n 是项,则P(t 1 ,⋯,t n )是原子。
定义3.2.3.谓词逻辑中的公式,被递归定义如下:1)原子是公式;2)若G,H是公式,则(¬G),(G∨H),(G∧H),(G→H),(G↔H)是公式;3)若G是公式,x是G中的自由变量,则∀xG,∃xG是公式;4)所有公式都是有限次使用1),2),3)生成的符号串。
3.2.2解释
定义3.2.4.谓词逻辑中公式G的一个解释I,是由非空区域D和对G中常量符号,函数符号,谓词符号以下列规则进行的一组指定组成:1.对每个常量符号,指定D中一个元素;2.对每个n元函数符号,指定一个函数,即指定D n 到D的一个映射;3.对每个n元谓词符号,指定一个谓词,即指定D n 到{0,1}的一个映射。
今后我们对讨论的公式做如下规定:公式中无自由变量,或将自由变量看做常量。
对任意公式G,如果给出G的一个解释I,则G在I下有一个真值。记作T I (G)。
例如,给出如下两个公式:1)G=∃x(P(f(x))∧Q(x,f(a)))2)H=∀x(P(x)∧Q(x,a))
给出如下解释I:D={2,3}
a2
f(2)3 f(3)2
P(2)0 P(3)1 Q(2,2)1 Q(2,3)1 Q(3,2)0 Q(3,3)1
于是,T I (G)=T I ((P(f(2))∧Q(2,f(2)))∨(P(f(3))∧Q(3,f(2)))=T I ((P(3)∧Q(2,3))∨(P(2)∧Q(3,3)))=(1∧1)∨(0∧0)=1
T I (H)=T I (P(2)∧Q(2,2)∧P(3)∧Q(3,2))=0∧1∧1∧0=0
定义3.2.5.公式G称为可满足的,如果存在解释I,使G在I下取1值,简称I满足G。若I不满足G,则称I弄假G。
定义3.2.6.公式G称为是恒假的(或不可满足的),如果不存在解释I满足G;公式G称为恒真的,如果G的所有解释I都满足G。