面向计算机科学的数理逻辑 百度云,面向计算机科学的数理逻辑答案.pdf

2.2.2

p

若A ∈Atom(L )，则n=0，m=1，m = n+1 成立。

p

若B、C ∈Form(L )，B 中出现∧,∨,→, ↔的次数为n1 次，出现原子公式的次

数为m1 次，m1= n1+1,C 中出现∧,∨,→, ↔的次数为n2 次，出现原子公式的次

数为m2 次，m2 = n2+2,A=B*C，则m=m1+m2,n=n1+n2+1,故m = n+1.

2.2.3

p

若A ∈Atom(L ),则deg(A) = 0,此时deg(A)=连接符在A 中出现的次数0；

若A = ¬B，B ∈Atom(L p)，则deg(A) = 1,此时deg(A) = 连接符在A 中出现

的次数1。

若A= B*C，则deg(A) = max(deg(A),deg(B))+1,若B、C∈Atom(L p)，则deg(A)

= 1，此时deg(A) = 连接符在A 中出现的次数1。

p p

若B、C !∈Atom(L ),即B、C=D *D *…*D , D ∈Atom(L ),则deg(A)=deg(B)+1

1 2 i i

或deg(C)+1,即

p

A 由上面三条生成，即A ∈Form(L )，得deg(A) ≤ 连接符在A 中出现的次

数。

2.4.5

v

若i = 1, 由(Ai→Bi) =1，得到得A1=0 或者B1=1。由条件(2)(3)得到A1=1，

B1=1，结论得证。

v

由(Ai→Bi) =1,得Ai=0 或者Bi=1； (1)

v v

由(A1∨……∨An) =1 得，至少有一个i，1≤i≤n，使得Ai =1。 (2)

v v

由(Bi∧Bi) =0 得，至少有一个i，1≤i≤n，使得Bi =0。 (3)

v v

若Bi =0，1≤i≤n，则 Ai =0，1≤i≤n，与(2)矛盾；

v v v

若1≤i，j≤n，i！=j，使得Bi =1，Bj =1，则(Bi∧Bi) =1，与(3)矛盾；

v

则存在唯一的i，使得Bi =1。

若Aj=1，Bi=1，1≤i，j≤n ，i！=j，则(Aj→Bj)v=0，与(1)矛盾，则存在

唯一的i，使得Ai=Bi=1。

结论得证。

2.5.2

(ii)

证明：

v v

先证(A …A |=A)|= (φ|=(A →(…(A→A))), 设(A1,…An|=A) =1，则A =1，

1 n 1 n 1

v v v v v

A =1，…A =1，A =1；带入右边式子，(A→