离散数学典型例题集锦.pdfVIP

1.消去既自由出现又约束出现的变项：

(1)AtF(t,y,z)-EwG(x,w,z)(换名)或AxF(x,t,z)-EyG(w,y,z)(代替)

(2)Ax(F(x,y)-EtG(x,t,z))(换名)或Ax(F(x,t)-EyG())(代替)

2.

证明：域：人的集合；A(x):x是，B(x):x是女人，

(1)左边成真，右边成假；

(2)左边成假，右边成真。

3.

(1)(F(a)-G(a))^(F(b)-G(b))^(F(c)-G(c))有限域消去A

(2)Ax(F(x)VG(a)VG(b)VG(c))消去E

=(F(a)VG(a)VG(b)VG(c))^(F(b)VG(a)VG(b)VG(c))^(F(c)VG(a)VG(b)VG(c))消去A

=(F(a)^F(b)^F(c))V(G(a)VG(b)VG(c))分配律

(3)Ex(F(x,a)^F(x,b)^F(x,c))消去A

(F(a,a)^F(a,b)^F(a,c))V(F(b,a)^F(b,b)^F(b,c))V(F(c,a)^F(c,b)^F(c,c))

4.

(1)(F(2)^G(2,2))^(F(3)^G(3,2))(0^1)^(1^1)0

(2)(F(f(2)^G(2,f(2))V(F(f(3)^G(3,f(3))(1^1)V(0^1)1

(3)Ax(L(x,2)VL(x,3))(L(2,2)VL(2,3))^(L(3,2)VL(3,3))(1V0)^(0V1)1

(4)Ey(L(2,y)^L(3,y)(L(2,2)^L(3,2))V(L(2,3)^L(3,3))(1^0)V(0^1)0

(4)=(3),但反过来不成立。

5.

（1）左Ax(cM(x)VcF(x))Ax(M(x)-cF(x))

（2）左Exc(cM(x)VF(x)Ex(M(x)^cF(x))

（3）左ExEyc(c(F(x)^G(y))VH(x,y))ExEy((F(x)^G(y))^cH(x,y))右

（4）左AxAyc((F(x)^G(y))^L(x,y))AxAy(c(F(x)^G(y))VcL(x,y))右

6.

（1）AxF(x)^Ax(cG(x))Ax(F(x)^cG(x))

（2）AxF(x)VAx(cG(x)AxF(x)VAy(cG(y))(代替)

Ax(F(x)VAy(cG(y)))

AxAy(F(x)VcG(y))

7.

(1)ExF(x)^AyG(y)ExAy(F(x)^G(y))

(2)AxF(x)-EyG(y)Ex(F(x)-EyG(y))ExEy(F(x)-G(y))

(3)ExF(x)-AyG(y)Ax(F(x)-AyG(y))AxAy(F(x)-G(y))

(1)AxF(x,t)-EyG(w,y)(代替)Ex(F(x,t)-EyG(w,y))ExEy(F(x,t)-G(w,y))

(2)(Ax4F(x4,x2)-Ex5G(x5))-Ax1H(x1,x2,x3)

(Ex4Ex5(F(x4,x2)-G(x5))-Ax1H(x1,x2,x3)

Ax4Ax5Ax1F(x4,x2)-G(x5)-H(x1,x2,x3)

1.

1）AF（t，Z）-ewg（x，z，z）（）y）y（x，z）-其中

2）为（f（x，）-etg（x，z，z）（）ax（s，t）-eyg（x，z）（s）（s）（）（）

2。

a（x）：xb（x）1）（2）3。

1）（f（a）-g（a）^g（b）-g（b）^g（b）^（f（c）-g（c）a

2）s）so（f（x）vg（a）Vg（b）Vg（c）Vg（c）e

（f（a）Vg（a）Vg（b）Vg（b）*Vg（b）（b）（f（b）Vg（a）Vg（b）Vg（b）Vg（b）*（c）*（c）*VG（a）Vg

（a）VG（a）VG（b）VG（b）VG（b）VG（b）Vg（c）ag（c）ag（c）ag（c）ag（c）ag（c）ag