第二章一阶逻辑详解.pptVIP

公式类型 ① 若一公式在任何解释下都是真的，称 该公式为逻辑有效的，或永真的。 ② 若一公式在任何解释下都是假的，称 该公式为矛盾式，或永假式。 ③ 若一公式至少存在一个解释使其为真 ，称该公式为可满足式。 与命题公式中分类一样， 谓词公式也分为三种类型， 即 逻辑有效式（或重言式）、 矛盾式（或永假式） 可满足式。 例2.13：给定解释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); (2) ?x?y(F(f(x,a),y)?F(f(y,a),x)) ； (3) ?x?y?zF(f(x,y),z); (4) ?x?yF(f(x,y),g(x,y)); (5) F(f(x,y),f(y,z)); 例2.13：给定解释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) ? ?x F(g(x,0),x) ? ?x F(x?0,x) ? ?x(0=x) 这是假命题 例2.13：给定解释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下,公式分别化为： (2) ?x?y(F(f(x,a),y)?F(f(y,a),x)) ??x?y(F(x+0,y)?F(y+0,x)) ??x?y(x+0=y?y+0=x) ??x?y(x=y?y=x) 这是真命题 例2.13：给定解释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下,公式分别化为： (3) ?x?y?z(F(f(x,y),z) ??x?y?z(F(f(x,y),z) ??x?y?z(F(x+y,z) ??x?y?z(x+y=z) 这是真命题 例2.13：给定解释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; 解 (4) ?x?yF(f(x,y),g(x,y)) ??x?yF(x+y,x?y) ??x?y(x+y=x?y) 这是假命题 (5) F(f(x,y),f(y,z)) ?F(x+y,y+z) 它的真值不确定 ?x+y=y+z 因而不是命题 定义2.8 设A为一公式,若A在任何解释下均为真则称A为永真式(逻辑有效式)。若A在任何解释下均为假,则称A为矛盾式(永假式)。若至少存在一个解释使A为真，则称A为可满足式。 在一阶逻辑里面，由于公式的复杂性和解释的多样性，迄今为止还没有一种能判断任意一个公式是否可满足的或不可满足的算法。 §2.2 一阶逻辑合式公式及解释 定义2.9 设A0是含p1 ,p2 ,…,pn 命题变项的命 题公式，A1 ,A2 ,…,An 是n个谓词公式，用 Ai (1 ≤i ≤ n)处处代替A0 中的pi ，所得公 式A称为A0 的代换实例。 重言式的代换实例都是永真式，矛盾 式的代换实例都是矛盾式。 如：F(x) ?G(x) ?xF(x)??xG(x)等都是 p ? q 的代换实例 §2.2 一阶逻辑合式公式及解释 （1）所有大学生都热爱祖国； （2）每个自然数都是实数； 解： （1）令 S（x）：x 是大学生， L（x）：x热爱祖国 ?x（S（x）? L（x）） （2）令 N（x）：x 是自然数， R（x）：x 是实数 ? x（N（x）? R（x）） 例2.5 试用量词、谓词表示下列命题 （1）有些人是聪明的。 （2）并非一