离散数学2.2谓词演算的永真公式.pdfVIP

§2.2 谓词演算的永真公式 一、合式公式的解释 对公式中各种变项(个体变项，函数变项，谓词 变项) ，指定特殊的常项去代替，就构成了公式 的一个解释。 通常情况下，解释E 由以下4部分组成： (1) 为论述域指定一个非空集合D (2)为每个个体常元指定一个D 中的个体， (3)为每个函数变项指定一个D上的函数， (4)为每个谓词变项指定一个D上的谓词。 1 例1、现给定解释N 如下： 1) 个体域为自然数集合DN 2) DN 中特定元素a 0 3) DN 上特殊函数f (x,y ) x y ,g (x,y ) x y 4) DN 上特定谓词F (x, y )为x y 在解释N下，讨论下面哪些公式为真？哪些为假？ (1) xF g (x,a ),x  解：在解释N 下，公式化为： x (x 0 x ) 真值为0