第4章 一阶逻辑基本概念.ppt

* 公式的解释 定义4.7 设L 是L生成的一阶语言, L 的解释I由4部分组成： (a) 非空个体域 DI . (b) 对每一个个体常项符号a?L, 有一个 ?DI, 称 为a在I 中的解释. (c) 对每一个n元函数符号f?L, 有一个DI上的n元函数 , 称 为f在I中的解释. (d) 对每一个n元谓词符号F?L, 有一个DI上的n元谓词常项 , 称 为F在I中的解释. 设公式A, 取个体域DI , 把A中的个体常项符号a、函数符 号f、谓词符号F分别替换成它们在I中的解释 、 、 , 称 所得到的公式A?为A在I下的解释, 或A在I下被解释成A?. * 实例 例6 (例4.8一部分) 给定解释 I 如下： (a) 个体域 D=R（书本N） (b) (c) (d) 写出下列公式在I下的解释, 并指出它的真值. (1) F(f(x,y),g(x,y)) (x+y=x?y) 真值不确定，不是命题 (2) F(f(x,a),y)?F(g(x,y),z)) (x+0=y)?(x?