谓词公式解释与类型分析.pdfVIP

2.2.3谓词的解释

定义2.12

谓词逻辑中的每一个解释（赋值）由以下几部分构成：

）非空域；

）中的某些特定元素；

）中的某些特定的函数；

）中某些特定的谓词。

用一个解释解释一个谓词包括：将的域作为的域，中的

用中的特定元素代替，中的函数用中的特定函数代替，谓词用上的特定谓词代替。

把这样得到的记作。称为在下的解释，或在下被解释成。

例2.8

在解释下，求下列各式的真值：

给定解释I如下：

）域为实数集合；

1）xF(f(x,a),g(x,a))2）

）中的特定元素；

xy(F(f(x,y),g(x,y))→F(x,y))

）上的特定函数

3）xF(g(x,y),a)

；

）上的特定谓词：。

例2.8

在解释下，分别解释为：

1）xF(f(x,a),g(x,a))解释为：

给定解释I如下：

在实数集合R中，x(x+0=x0)真值为1;

）域为实数集合；

）中的特定元素；2）xy(F(f(x,y),g(x,y))→F(x,y))))解释为：

）上的特定函数在实数集合R中，xy(x+y=xy→x=y)真值为0;

；

3）xF(g(x,y),a)解释为：

）上的特定谓词：。

在实数集合R中，x(xy=0)真值不确定。

定理2.1

封闭的在任何解释下都成为命题。

2.2.4谓词的类型

定义2.13

若谓词在任何解释下均为真则称为逻辑有效的或永真式；若在

任何解释下均为假则称为不可满足的或永假式；

若至少有一个解释使为真则称为可满足的。

逻辑有效的为可满足的，但反之不真。

在命题逻辑中，可以用真值表等方法判断任意给定命题的类型。

判断谓词类型的问题是不可判定的，既不存在一个算法能够在有限步内判断任意

给定的的类型。

2.2.4谓词的类型

对一些满足特殊条件的我们有一些简便的判定方法。

定义2.14

设是含命题变元,…,题，,…,A是个谓词，

用处处代替中的，所得称为的代换实例。

例，→→等都是→的代换实例。

定理2.2重言式的代换实例都是逻辑有效的，永假式的代换实例都是不可满足的。

例2.9