离散 第一部分－练习－答案学习资料.doc

1．设个体域D={a,b,c},消去下列公式的量词

(1)xF(x)$úyG(y)

(2)x$y(F(x)úG(y))

(3)x(F(x)$?yG(y))

解:

(1)xF(x)$úyG(y)

?(F(a)ùF(b)ùF(c))ú(G(a)úG(b)úG(c))

(2)先将量词辖域缩小,再消量词方便

x$y(F(x)úG(y))

?xF(x)$úyG(y)(量词辖域收缩扩张等值式)

?(F(a)ùF(b)ùF(c))ú(G(a)úG(b)úG(c))

原来(1)与(2)等值

(3)先将量词辖域缩小

x(F(x)$?yG(y))

?$xF(x)$?yG(y)(量词辖域收缩扩张等值式)

?(F(a)úF(b)úF(c))?(G(a)úG(b)úG(c))

说明:在做此类问题时,若能将量词辖域缩小,就缩小后再消量词,否则太麻烦.

2.求下列各公式的前束范式

(1)xF(x)$??yG(x,y)

(2)xF(x,y)$?xG(x,y)

(3)($x1F(x1,x2)$?x2G(x2))$?x2H(x1,x2)

解:求前束范式时,要用换名规则、代替规则、量词否定等值式、量词辖域收缩与扩张等值式.

(1)xF(x)$??yG(x,y)

?xF(x)?y?G(x,y)