【面向计算机的数理逻辑/软件理论基础笔记】一阶谓词逻辑系统的语义解释、赋值、可满足性

解释

  • 定义:在命题逻辑中,我们需要对将命题中的复杂的语言符号转换成我们可以进行计算的逻辑公式,这个过程我们叫做解释,用符号 I I I表示解释的内容。
  • 在一阶语言 L \mathcal{L} L中, L \mathcal{L} L的解释 I I I的组成如下:
    • 论域:是一个非空的集合,用符合 D I D_I DI表示。
    • 个体常元:解释 I I I中所用到的个体常元都包含在论域 D I D_I DI中,就是解释 I I I中所用到的这些个体常元 a ˉ i \bar{a}_i aˉi在论域 D I D_I DI中都能找到相对应的 a i a_i ai
    • 谓词符: L \mathcal{L} L中的谓词符号 A i n A_i^n Ain对应与 D I D_I DI上的 n n n元关系 A ˉ i n ⊆ D I n \bar{A}_i^n \subseteq D_I^n AˉinDIn
    • 函数符: L \mathcal{L} L中的函数符号 f i n f_i^n fin对应与 D I D_I DI n n n元运算符 f ˉ i n : D I n → D I \bar{f}_i^n:D_I^n \to D_I fˉin:DInDI
  • 例题一:
    • 对于整数语言 L Z \mathcal{L}_Z LZ的解释 I I I有:
      • 论域: D I = { 0 , ± 1 , ± 2 , ± 3 , ⋅ ⋅ ⋅ } D_I=\{0,\pm1,\pm2,\pm3, · · · \} DI={ 0,±1,±2,±3,}
      • 个体常元: a ˉ = 0 \bar{a}=0 aˉ=0
      • 谓词符: A 1 2 ˉ : = \bar{A_1^2}:= A12ˉ:= = = =”, A 2 2 ˉ : = \bar{A_2^2}:= A22ˉ:= < < <
      • 函数符: f 1 1 ˉ ( x ) = x + 1 \bar{f_1^1}(x)=x+1 f11ˉ(x)=x+1 f 1 2 ˉ ( x , y ) = x + y \bar{f_1^2}(x,y)=x+y f12ˉ(x,y)=x+y
    • 问题:说明公式 ( ∀ x 1 ) ( ∀ x 2 ) ( ∃ x 3 ) A 1 2 ( f 2 1 ( x 1 , x 3 ) , x 2 ) (\forall x_1)(\forall x_2)(\exist x_3)A_1^2(f_2^1 (x_1, x_3), x_2) (x1)(x2)(x3)A12(f21(x1,x3),x2)的含义
    • 答案:在整数集中,对于任何整数 x x x y y y总有整数 z z z使得 x + z = y x + z = y x+z=y

赋值(变量代换)

  • 定义:设 L \mathcal{L} L是一阶语言, I I I L \mathcal{L} L的一个解释, L \mathcal{L} L I I I中的赋值 v v v是从 L \mathcal{L} L的项集 T \mathcal{T} T D I D_I DI的一个映射,公式表示为:
    v : T → D I v :\mathcal{T} \to D_I v:TDI

    • 这个映射公式就是赋值的意思,其中
      • v ( a i ) = a i ˉ v(a_i) = \bar{a_i} v(ai)=aiˉ
      • v ( f i n ( t 1 , t 2 , . . . , t n ) = f i n ˉ ( v ( t 1 ) , v ( t 2 ) , . . . , v ( t n ) ) v(f_i^n (t_1, t_2,…, t_n) = \bar{f_i^n} (v(t_1), v(t_2),…, v(t_n)) v(fin(t1,t2,...,tn)=finˉ(v(t1),v(t2),...,v(tn))
  • 例题二

    • 自然数语言 L N \mathcal{L}_N LN
      • N = { 0 , 1 , 2 , . . . } N=\{ 0,1,2,… \} N={ 0,1,2,...}
      • 赋值 v : T → D I v :\mathcal{T} \to D_I v:TDI满足
        • v ( a ) = 0 v(a)=0 v(a)=0
        • v ( f 1 1 ( x ) ) = f 1 1 ˉ ( v ( x ) ) = v ( x ) + 1 v(f_1^1(x))=\bar{f_1^1}(v(x))=v(x)+1 v(f11(x))=f11ˉ(v(x))=v(x)+1
        • v ( f 1 2 ( x , y ) ) = f 1 2 ˉ ( v ( x ) , v ( y ) ) = v ( x ) + v ( y ) v(f_1^2(x,y))=\bar{f_1^2}(v(x),v(y))=v(x)+v(y) v(f12(x,y))=f12ˉ(v(x),v(y))=v(x)+v(y)
        • v ( f 2 2 ( x , y ) ) = f 2 2 ˉ ( v ( x ) , v ( y ) ) = v ( x ) × v ( y ) v(f_2^2(x,y))=\bar{f_2^2}(v(x),v(y))=v(x)\times v(y) v(f22(x,y))=f22ˉ(v(x),v(y))=v(x)×v(y)
    • 问题:若 v ( x 1 ) = 1 , v ( x 2 ) = 2 v(x_1)=1,v(x_2)=2 v(x1)=1,v(x2)=2,那么 v ( f 1 2 ( x 1 , x 2 ) ) v(f_1^2(x_1,x_2)) v(f12(x1,x2))等于多少
    • 答案: v ( f 1 2 ( x 1 , x 2 ) ) = f 1 2 ˉ ( v ( x 1 ) , v ( x 2 ) ) = v ( x 1 ) + v ( x 2 ) = 1 + 2 = 3 v(f_1^2(x_1,x_2))=\bar{f_1^2}(v(x_1),v(x_2))=v(x_1)+v(x_2)=1+2=3 v(f12(x1,x2))=f12ˉ(v(x1),v(x2))=v(x1)+v(x2)=1+2=3
  • 等价赋值:赋值 v v v i − i- i等价赋值 v ′ v′ v也是一个赋值,且满足对于任意的 j j j,当 j ≠ i , v ′ ( x j ) = v ( x j ) j \neq i, v′(x_j ) = v(x_j ) j=i,v(xj)=v(xj),其中 x i , x j x_i,x_j xi,xj都是一阶语言 L \mathcal{L} L的变量

    • 应用:

      • v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A,则对于 v v v的任意 i − i- i等价赋值 w w w都有 w ⊨ A w \models A wA
      • v ⊨ ( ∃ x i ) A v \models (\exists x_i)A v(xi)A,则存在 v v v i − i- i等价赋值 w w w w ⊨ A w \models A wA
      • v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A,则对于 v v v的任意 i − i- i等价赋值 v v v v ⊨ A v \models A vA

      或者写作:

      • v ⊨ ( ∀ x i ) A ( x i ) v \models (\forall x_i)A(x_i) v(xi)A(xi),则对于 v v v的任意 i − i- i等价赋值 w w w都有 w ⊨ A ( x i ) w \models A(x_i) wA(xi)
      • v ⊨ ( ∃ x i ) A ( x i ) v \models (\exists x_i)A(x_i) v(xi)A(xi),则存在 v v v i − i- i等价赋值 w w w w ⊨ A ( x i ) w \models A(x_i) wA(xi)
      • v ⊨ ( ∀ x i ) A ( x i ) v \models (\forall x_i)A(x_i) v(xi)A(xi),则对于 v v v的任意 i − i- i等价赋值 v v v v ⊨ A ( x i ) v \models A(x_i) vA(xi)

    v ′ v’ v是与 v v v i − i- i等价赋值,反映了 “差的不多”的意思,即它们的赋值最多只能在 i i i处不同(也就是除在 j ≠ i j \neq i j=i的时候都相同),其他地方的赋值必须完全一样(就是 v ′ ( x j ) = v ( x j ) v′(x_j ) = v(x_j ) v(xj)=v(xj)),如果 i i i处的赋值相同当然也可以。

  • v v v是一阶语言 L \mathcal{L} L的一个赋值, A A A L \mathcal{L} L中的一个公式, v ⊨ A v \models A vA v v v满足 A A A)归纳定义为

    • v ⊨ A v \models A vA:若 A A A是原子公式 A i n ( t 1 , t 2 , . . . , t n ) A_i^n (t_1, t_2,…, t_n) Ain(t1,t2,...,tn),当且仅当 ( v ( t 1 ) , v ( t 2 ) , . . . , v ( t n ) ) ∈ A i n ˉ (v(t_1), v(t_2),…, v(t_n)) \in \bar{A_i^n} (v(t1),v(t2),...,v(tn))Ainˉ(即 A i n ˉ ( v ( t 1 ) , v ( t 2 ) , . . . , v ( t n ) ) \bar{A_i^n}(v(t_1), v(t_2),…, v(t_n)) Ainˉ(v(t1),v(t2),...,v(tn))结果为真)时, v ⊨ A v \models A vA成立
    • v ⊨ ¬ A v \models \neg A v¬A:当且仅当 v ⊭ A v \nvDash A vA(即 v v v不满足 A A A)时, v ⊨ ¬ A v \models \neg A v¬A成立
    • v ⊨ A → B v \models A \to B vAB:当且仅当若 v ⊨ A v \models A vA v ⊨ B v \models B vB成立时, v ⊨ A → B v \models A \to B vAB成立
    • v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A:当且仅当对于每一个与 v v v i − i- i等价赋值 v ′ v′ v都有 v ′ ⊨ A v′ \models A vA
  • 赋值的满足性:由归纳定义可知,任一公式 A A A以及任一赋值 v v v, v v v满足 A A A v v v满足 ¬ A \neg A ¬A二者有一个且只有一个成立,所以我们通常约定,若 v v v满足 A A A,则 v ( A ) = 1 v(A) = 1 v(A)=1,若 v v v不满足 A A A,则 v ( A ) = 0 v(A) = 0 v(A)=0

    • 因此,则有
      • v ( ¬ A ) = ¬ v ( A ) v(\neg A)=\neg v(A) v(¬A)=¬v(A)
      • v ( A → B ) = v ( A ) → v ( B ) v(A \to B) =v(A)\to v(B) v(AB)=v(A)v(B)
      • v ( ( ∀ x i ) A ) = ∧ { v ′ ( A ) ∣ v ′ v((\forall x_i)A)=\wedge \{v'(A)|v’ v((xi)A)={ v(A)v v v v i − i- i等价 } \} }
    • 对于其他逻辑算子,容易得到
      • v ⊨ A ∨ B v \models A \vee B vAB 当且仅当 v ⊨ A v \models A vA v ⊨ B v \models B vB成立
      • v ⊨ A ∧ B v \models A \wedge B vAB 当且仅当 v ⊨ A v \models A vA v ⊨ B v \models B vB都成立
      • v ⊨ ( ∃ x i ) A v \models (\exists x_i)A v(xi)A 当且仅当存在一个与 v v v i − i- i等价赋值 v ′ v′ v使得 v ′ ⊨ A v′ \models A vA
  • 例题三

    • 自然数语言 L N \mathcal{L}_N LN中, a a a L N \mathcal{L}_N LN的个体常元
    • 设公式 A = A 1 2 ( f 1 2 ( x 1 , x 2 ) , f 2 2 ( x 1 , x 2 ) ) A = A_1^2(f_1^2 (x_1, x_2), f_2^2 (x_1, x_2)) A=A12(f12(x1,x2),f22(x1,x2))
    • 解释 I I I为:
      • v ( f 1 2 ( x , y ) ) = f 1 2 ˉ ( v ( x ) , v ( y ) ) = v ( x ) + v ( y ) v(f_1^2(x,y))=\bar{f_1^2}(v(x),v(y))=v(x)+v(y) v(f12(x,y))=f12ˉ(v(x),v(y))=v(x)+v(y)
      • v ( f 2 2 ( x , y ) ) = f 2 2 ˉ ( v ( x ) , v ( y ) ) = v ( x ) × v ( y ) v(f_2^2(x,y))=\bar{f_2^2}(v(x),v(y))=v(x)\times v(y) v(f22(x,y))=f22ˉ(v(x),v(y))=v(x)×v(y)
      • A 1 2 ˉ : = \bar{A_1^2}:= A12ˉ:= = = =”。
    • 问题:
      • 问题1:若定义赋值 v v v v ( a ) = 0 , v ( x i ) = i v(a) = 0, v(x_i) = i v(a)=0,v(xi)=i,则 v v v是否满足 A A A
      • 问题2:若定义赋值 v ′ v’ v v ′ ( a ) = 0 , v ′ ( x i ) = i v'(a) = 0, v'(x_i) = i v(a)=0,v(xi)=i,则 v ′ v’ v是否满足 A A A
    • 答案:
      • 问题1答案:
        f 1 2 ( x 1 , x 2 ) = v ( x 1 ) + v ( x 2 ) = 1 + 2 = 3 f_1^2(x_1,x_2)=v(x_1)+v(x_2)=1+2=3 f12(x1,x2)=v(x1)+v(x2)=1+2=3
        f 2 2 ( x 1 , x 2 ) = v ( x 1 ) × v ( x 2 ) = 1 × 2 = 2 f_2^2(x_1,x_2)=v(x_1)\times v(x_2)=1\times 2=2 f22(x1,x2)=v(x1)×v(x2)=1×2=2
        A = A 1 2 ( f 1 2 ( x 1 , x 2 ) , f 2 2 ( x 1 , x 2 ) ) = A 1 2 ( 3 , 2 ) = ( 3 = 2 ) = 0 A = A_1^2(f_1^2(x_1,x_2),f_2^2(x_1,x_2))=A_1^2(3,2)=(3=2)=0 A=A12(f12(x1,x2),f22(x1,x2))=A12(3,2)=(3=2)=0
        因为 A A A的最终结果为 0 0 0,因此 v ⊭ A v \nvDash A vA

      这里(3=2)表示判断3是否等于2,因为不相等,所以结果为0

      • 问题2答案:
        f 1 2 ( x 1 , x 2 ) = v ( x 1 ) + v ( x 2 ) = 2 + 2 = 4 f_1^2(x_1,x_2)=v(x_1)+v(x_2)=2+2=4 f12(x1,x2)=v(x1)+v(x2)=2+2=4
        f 2 2 ( x 1 , x 2 ) = v ( x 1 ) × v ( x 2 ) = 2 × 2 = 4 f_2^2(x_1,x_2)=v(x_1)\times v(x_2)=2\times 2=4 f22(x1,x2)=v(x1)×v(x2)=2×2=4
        A = A 1 2 ( f 1 2 ( x 1 , x 2 ) , f 2 2 ( x 1 , x 2 ) ) = A 1 2 ( 3 , 2 ) = ( 4 = 4 ) = 1 A = A_1^2(f_1^2(x_1,x_2),f_2^2(x_1,x_2))=A_1^2(3,2)=(4=4)=1 A=A12(f12(x1,x2),f22(x1,x2))=A12(3,2)=(4=4)=1
        因为 A A A的最终结果为 1 1 1,因此 v ⊨ A v \models A vA
  • 例题四

    • 设公式 B = ( ∀ x 1 ) ( x 1 ≥ x 2 ) B = (\forall x_1)(x_1 \geq x_2) B=(x1)(x1x2)
    • 问题:
      • 问题1:定义赋值 v ( x 1 ) = 3 v(x_1) = 3 v(x1)=3 v ( x 2 ) = 0 v(x_2) = 0 v(x2)=0,则 v v v是否满足 A A A
      • 问题2:定义赋值 v ′ ( x 1 ) = 3 v′(x_1) = 3 v(x1)=3 v ′ ( x 2 ) = 3 v′(x_2) = 3 v(x2)=3,则 v v v是否满足 A A A
    • 答案:
      • 因为已经对 x 1 x_1 x1 x 2 x_2 x2进行赋值,所以我们直接将他们的值拿去比较即可
      • 问题1答案: 3 ≥ 0 3 \geq 0 30结果是正确的,此时 B = 1 B=1 B=1,因此因此 v ⊨ B v \models B vB
      • 问题2答案: 3 ≥ 3 3 \geq 3 33结果是错误的,此时 B = 0 B=0 B=0,因此因此 v ⊭ B v \nvDash B vB
  • 对于给定的一个公式,在同一解释下,可能有两个不同的赋值分别满足或不满足该公式;
  • 在不同解释下, 可能一个解释下的所有赋值都满足该公式,而另一解释下有赋值不满足该公式。
  • 项替换定理
    • 定义:设 L \mathcal{L} L是一阶语言, I I I L \mathcal{L} L的一个解释, A ( x i ) A(x_i) A(xi)是属于 F ( L ) \mathcal{F(L)} F(L)的一个公式, x i x_i xi A ( x i ) A(x_i) A(xi)的自由变元。设项 t t t关于 x i x_i xi自由, v v v L \mathcal{L} L I I I中的赋值, v ′ v′ v是与 v v v i − i- i等价赋值,且 v ′ ( x i ) = v ( t ) v′(x_i) = v(t) v(xi)=v(t),则
      v ⊨ A ( t ) 当 且 仅 当 v ′ ⊨ A ( x i ) v \models A(t) 当且仅当v′ \models A(x_i) vA(t)vA(xi)
    • 推论:
      v ⊨ ( ∃ x i ) A ( x i ) 当 且 仅 当 有 个 体 常 元 c 使 得 v ⊨ A ( c ) v \models (\exists x_i)A(x_i) 当且仅当有个体常元c使得v \models A(c) v(xi)A(xi)c使vA(c)
  • 自由变元重要性定理
    • 定义:设 L \mathcal{L} L是一阶语言, I I I L \mathcal{L} L的一个解释, A ∈ F ( L ) A \in \mathcal{F(L)} AF(L) v , w v, w v,w I I I中的两个赋值. 若对于 A A A中的每个自由变元 x i x_i xi都有 v ( x i ) = w ( x i ) v(x_i) = w(x_i) v(xi)=w(xi),则
      w ⊨ A 当 且 仅 当 v ⊨ A w \models A当且仅当v \models A wAvA

公式的可满足性

  • 定义:设 L \mathcal{L} L是一阶语言, I I I L \mathcal{L} L的一个解释, A ∈ F ( L ) A \in \mathcal{F(L)} AF(L)。若对 I I I中的每个赋值 v v v,都有 v ⊨ A v \models A vA,则称 A A A是可满足的, I I I A A A的一个模型, 记作 I ⊨ A I \models A IA(称 A A A关于 I I I是真公式)。没有模型的公式称为不可满足的。
    • 解释 I I I满足公式 A A A是一个整体性概念,与单个赋值 v v v满足 A A A完全不同
    • 对于任一个解释 I I I而言, I I I不可能同时是 A A A ¬ A \neg A ¬A的模型,即 A ∧ ¬ A A \wedge \neg A A¬A没有模型
  • 定理:
    • I ⊨ A → B I \models A \to B IAB I ⊨ A I \models A IA,则 I ⊨ B I \models B IB
    • I ⊨ A → B I \models A \to B IAB I ⊨ B → C I \models B \to C IBC,则 I ⊨ A → C I \models A \to C IAC
    • I ⊨ A ∧ B 当 且 仅 当 I ⊨ A 且 I ⊨ B I \models A \wedge B 当且仅当 I \models A 且 I \models B IABIAIB
    • I ⊨ A 或 I ⊨ B 可 以 推 出 I ⊨ A ∨ B I\models A 或 I \models B 可以推出 I \models A \vee B IAIBIAB
    • I ⊨ A I \models A IA I ⊨ ( ∃ x i ) A I \models (\exists x_i)A I(xi)A
    • I ⊨ A 当 且 仅 当 I ⊨ ( ∀ x i ) A I \models A 当且仅当 I \models (\forall x_i)A IAI(xi)A
    • I ⊨ A 当 且 仅 当 I ⊨ ( ∀ y 1 ) ( ∀ y 2 ) ⋅ ⋅ ⋅ ( ∀ y n ) A I \models A 当且仅当 I \models (\forall y_1)(\forall y_2)· · ·(\forall y_n)A IAI(y1)(y2)(yn)A

巩固习题

(习题摘自《软件理论基础》32页,第二章第 2.2小节习题)

  • 习题一:
    • L \mathcal{L} L是一阶语言,它有 1 1 1个个体常元 a 1 a1 a1 1 1 1个函数符 f 1 2 f_1^2 f12 1 1 1个谓词符 A 1 2 A_1^2 A12,设公式 A A A
      ( ∀ x 1 ) ( A 1 2 ( x 1 , a 1 ) → A 1 2 ( f 1 2 ( x 1 , x 1 ) , a 1 ) ) (\forall x_1)(A_1^2(x_1,a_1)\to A_1^2(f_1^2(x_1,x_1),a_1)) (x1)(A12(x1,a1)A12(f12(x1,x1),a1))
      \qquad (a)设 L \mathcal{L} L的解释 I I I的解释域 D I D_I DI是整数集合 Z , a 1 ˉ = 0 , f 1 2 ˉ ( x , y ) = x × y , A 1 2 ˉ ( x , y ) Z,\bar{a_1} = 0, \bar{f_1^2}(x, y) = x \times y,\bar{A_1^2}(x, y) Z,a1ˉ=0,f12ˉ(x,y)=x×y,A12ˉ(x,y) x < y x < y x<y,问公式 A A A在此解释下的意义是什么?是真是假?
      \qquad (b)把解释 I I I稍作改变,记为 I ′ I’ I,设 f 1 2 ˉ ( x , y ) = x + y \bar{f_1^2}(x, y) = x + y f12ˉ(x,y)=x+y,其余不变,问公式 A A A在此解释 I ′ I’ I下的意义是什么?是真是假?
      \qquad (c)把解释 I I I稍作改变,记为 I ′ ′ I” I,设 A 1 2 ˉ ( x , y ) \bar{A_1^2}(x, y) A12ˉ(x,y)表示 x = y x = y x=y,其余不变,问公式 A A A在此解释 I ′ ′ I” I下的意义是什么?是真是假?

    • 答案:
      \qquad (a)将解释带入后,公式变为: ( ∀ x 1 ) ( ( x 1 < 0 ) → ( x 1 × x 1 < 0 ) ) (\forall x_1)((x_1 < 0)\to (x_1 \times x_1< 0)) (x1)((x1<0)(x1×x1<0)),公式意义为:对于任意的 x 1 x_1 x1都有当 x 1 x_1 x1小于零时, x 1 × x 1 x_1 \times x_1 x1×x1也小于零。当 x 1 x_1 x1小于零时, x 1 x_1 x1为负数,两个负数相乘,结果为正数,因此 x 1 × x 1 < 0 x_1 \times x_1< 0 x1×x1<0是错误的,所以公式 A A A在此解释下为假。
      \qquad (b)将解释带入后,公式变为: ( ∀ x 1 ) ( ( x 1 < 0 ) → ( x 1 + x 1 < 0 ) ) (\forall x_1)((x_1 < 0)\to (x_1 + x_1< 0)) (x1)((x1<0)(x1+x1<0)),公式意义为:对于任意的 x 1 x_1 x1都有当 x 1 x_1 x1小于零时, x 1 + x 1 x_1 + x_1 x1+x1也小于零。当 x 1 x_1 x1小于零时, x 1 x_1 x1为负数,两个负数相加,结果依然为负数,因此 x 1 + x 1 < 0 x_1 + x_1< 0 x1+x1<0是正确的,所以公式 A A A在此解释下为真。
      \qquad (c)将解释带入后,公式变为: ( ∀ x 1 ) ( ( x 1 = 0 ) → ( x 1 × x 1 = 0 ) ) (\forall x_1)((x_1 = 0)\to (x_1 \times x_1= 0)) (x1)((x1=0)(x1×x1=0)),公式意义为:对于任意的 x 1 x_1 x1都有当 x 1 x_1 x1等于零时, x 1 × x 1 x_1 \times x_1 x1×x1也等于零。当 x 1 x_1 x1等于零时, x 1 x_1 x1为零,两个零相乘,结果仍然为零,因此 x 1 × x 1 = 0 x_1 \times x_1= 0 x1×x1=0是正确的,所以公式 A A A在此解释下为真。

  • 习题二:
    • 设一阶语言 L \mathcal{L} L中的公式 A A A
      ( ∀ x 1 ) ( A 1 1 ( x 1 ) → A 1 1 ( f 1 1 ( x 1 ) ) ) (\forall x_1)(A_1^1(x_1)\to A_1^1(f_1^1(x_1))) (x1)(A11(x1)A11(f11(x1)))
      公式 B B B
      ( ∀ x 1 ) ( A 1 2 ( x 1 , x 2 ) → A 1 2 ( x 1 , x 2 ) ) (\forall x_1)(A_1^2(x_1,x_2)\to A_1^2(x_1,x_2)) (x1)(A12(x1,x2)A12(x1,x2))
      试分别作出不同的解释,使 A A A B B B有时为真,有时为假。
    • 答案:
      • 对于公式 A A A
        • L \mathcal{L} L的解释 I I I的解释域 D I D_I DI是整数集合 Z , f 1 1 ˉ ( x ) = x , A 1 1 ˉ ( x ) Z, \bar{f_1^1}(x) = x, \bar{A_1^1}(x) Z,f11ˉ(x)=x,A11ˉ(x) x < 0 x < 0 x<0,则此时公式 A A A在解释 I I I下变为 ( ∀ x 1 ) ( ( x 1 < 0 ) → ( x 1 < 0 ) ) (\forall x_1)((x_1 < 0) \to (x_1 < 0)) (x1)((x1<0)(x1<0)),可以看出公式 A A A为真;
        • L \mathcal{L} L的解释 I I I的解释域 D I D_I DI是整数集合 Z , f 1 2 ˉ ( x ) = − x , A 1 2 ˉ ( x ) Z, \bar{f_1^2}(x) = -x, \bar{A_1^2}(x) Z,f12ˉ(x)=x,A12ˉ(x) x < 0 x < 0 x<0,则此时公式 A A A在解释 I I I下变为 ( ∀ x 1 ) ( ( x 1 < 0 ) → ( − x 1 < 0 ) ) (\forall x_1)((x_1 < 0) \to (-x_1 < 0)) (x1)((x1<0)(x1<0)),可以看出公式 A A A为假;
      • 对于公式 B B B
        • L \mathcal{L} L的解释 I I I的解释域 D I D_I DI是整数集合 Z , A 1 2 ˉ ( x 1 , x 2 ) Z, \bar{A_1^2}(x_1,x_2) Z,A12ˉ(x1,x2) x 1 < x 2 x_1 < x_2 x1<x2,则此时公式 A A A在解释 I I I下变为 ( ∀ x 1 ) ( ( x 1 < x 2 ) → ( x 2 < x 1 ) ) (\forall x_1)((x_1 < x_2) \to (x_2 < x_1)) (x1)((x1<x2)(x2<x1)),可以看出公式 B B B为假;
        • L \mathcal{L} L的解释 I I I的解释域 D I D_I DI是整数集合 Z , A 1 2 ˉ ( x 1 , x 2 ) Z, \bar{A_1^2}(x_1,x_2) Z,A12ˉ(x1,x2) x 1 = x 2 x_1 = x_2 x1=x2,则此时公式 A A A在解释 I I I下变为 ( ∀ x 1 ) ( ( x 1 = x 2 ) → ( x 2 = x 1 ) ) (\forall x_1)((x_1 = x_2) \to (x_2 = x_1)) (x1)((x1=x2)(x2=x1)),可以看出公式 B B B为真;
  • 习题三:
    • 证明:在任何一阶语言 L \mathcal{L} L中,公式 ( ∀ x i ) A ( x i ) → A ( x i ) (\forall x_i)A(x_i) \to A(x_i) (xi)A(xi)A(xi) L \mathcal{L} L的任何解释下都真的。
    • 答案:
      • 证明:设 I I I L \mathcal{L} L的任一解释, v v v L \mathcal{L} L I I I下的任一赋值,再设 v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A,则对于 v v v任一 i − i- i等价赋值 w w w都有 w ⊨ A w \models A wA,而 v v v是自身的 i − i- i等价于,因此 v ⊨ A v \models A vA。 这表明 v ⊨ ( ∀ x i ) A → A v \models (\forall x_i)A \to A v(xi)AA。故 ( ∀ x i ) A → A (\forall x_i)A \to A (xi)AA是逻辑有效的。
      • 解释:假设有一个关于 v v v i − i- i赋值等价 w w w,那么因为 v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A,所以这个 i − i- i赋值等价 w ⊨ A w \models A wA,因此,我们假设这个 w w w就是 v v v本身,从而 v ⊨ A v \models A vA( v v v i − i- i等价赋值可以是自身),所以,我们由 v ⊨ ( ∀ x i ) A v \models (\forall x_i)A v(xi)A得到了 v ⊨ A v \models A vA。故 ( ∀ x i ) A → A (\forall x_i)A \to A (xi)AA是逻辑有效的。
    原文作者:print_Hyon
    原文地址: https://blog.csdn.net/qq_37400312/article/details/109492881
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞