离散数学真题集：命题逻辑证明与概念分析.pdfVIP

一、在命题逻辑中证明以下公式，只能使用Ax1,Ax2,Ax3和MP。

(1)（5分）A→(～～A)

(2)（10分）((A→B)→A)→(～～A)

二、

(1)判断下列公式是重言式/矛盾式/两者都不是（6分）

(i)(p1∨～p2)∧(p1→～p2)

(ii)(p1→p2)←→(p2→p1)

(iii)((p1→p3)∧(p2→p3))←→((p1∨p2)→p3)

(2)写出(ii)中公式对应的合取范式和析取范式。（4分）

三、(1)叙述一阶谓词逻辑中可证等价(provablyequivalent)的概念。（5分）

(2)只使用K1～K6，MP和Generalisation证明～(彐x)A与(≮x)(～A)是可证等价的

（注：这里用≮表示了全称量词，这里打不出那个符号，ft）（10分）

四、判断下列公式是否逻辑有效(logicallyvalid)。是的话给出证明，不是的话说明理由

（10分）

(1)(≮x1)(≮x2)A1(x1,x2)→((≮x1)A2(x1)→(≮x2)(≮x1)A1(x2,x1))

(2)(≮x1)(彐x2)A(x1,x2)→(彐x1)(≮x2)A(x1,x2)

五、(1)叙述命题逻辑中相容(consistent)和极大相容的概念。（5分）

(2)证明Lindenbaum定理。即对任意相容的公式集合∑，必可扩充为一个极大相容的

集

合∑。（10分）

六、∑为一公式集合，v是一真值赋值，v(p0,p1,,pn)→{T,F}。

若对任意的A∈∑，v(A)=T，则称v为∑的一个模型。

记∑的所有模型的集合为mod(∑)。

若存在有限集合Δ，使得∑▕＝A当且仅当Δ▕＝A，则称∑有限可公理化。

证明：

(1)若mod(∑1)=mod(φ)-mod(∑2)，则∑1与∑2均有限可公理化。（10分）

(2)将上述命题推广到一阶谓词逻辑系统。要求证明严格才可以得满分。（5分）

8道题，其中最后一道选做，做对可以加分。

1.已知R1,R2是等价关系,试证明R1*R2是等价关系当且仅当R1*R2=R2*R1.

2.已知a,b是两个序数,证明ab当且仅当a真包含于b.

3.求完全析取范式和完全合取范式.

(A-B与AV~C)-(A与~C-C)

4.判断An和Bn是否有极限并证明.

An:A(2n-1)=[0,2-1/(2n-1)],A(2n)=[0,1+1/(2n)].

Bn:B(2n-1)=[0,1+1/(2n-1)),B(2n)=[1/n,1].

5.形式推演.只能用11条.

空集|--(A-(B-A))交((AVB)-否(C交否C)).

6.在赋值v(A),定义~v~(A).使其满足当p属于Atom(LP)时,~v~(p)=1-v(p).Form^(LP)

中只有否定和等价2钟符号.

(1)写出Form^(LP)的归纳定义.

(2)证明在Form^(LP)中以下两式中必有一成立.

i)~v~(A)=1-v(A).

ii)~v~(A)=v(A).

(3)试由(2)证明(否定，等价)不是完备集。

7.A={(x1,x2...,xn)|(xi-ai)*(xi-ai)的和=r,r0}

B={(x1,x2...,xn)|(xi-ai)*(xi-ai)的和=s,s0}

A,B是R^n中的闭球。计算A交B的势，请写明过程。

8.没看，选作，不算分.

一、命题逻辑:

1.只能用Axioms1,2,3,MP.证明：

I.A-B,～(B-C)-～A|-A-C

II.|-(～A-A)-A

2.判断某个式子是否成立并证明

(p/\(～q))\/(((～q)/\(～r))\/(r/\(～p)))//不一定对

3(10).证明如果\Sigma极大协调，那么A\orB\belong\SigmaiffA\b