《离散数学 复习题1-3.doc》由会员分享，可在线阅读，更多相关《离散数学 复习题1-3.doc（5页珍藏版）》请在金锄头文库上搜索。
1、1设A-B=，则有（）AB= BBCAB DAB2.设P=x|(x+1)24，Q=x|x2+165x,则下列选项正确的是A.PQB.PQC.QPD.Q=P3A，B是集合，P（A），P（B）为其幂集，且AB=，则P(A)P(B)为（）A BC D，4下列式子正确的是（）A（AB）-C=A-（BC） BA（BC）=（AB）CC（AB）= （BA） D（AB）A1下列语句中不是命题的只有（）A鸡毛也能飞上天？B或重于泰山，或轻于鸿毛。C不经一事，不长一智。 D牙好，胃口就好。2下列语句中不是命题的只有（ ）A这个语句是假的。B1+1=1.0C飞碟来自地球外的星球。 D凡石头都可练成金。3.下列命题为
2、假命题的是（）A.如果2是偶数，那么一个公式的析取范式惟一B.如果2是偶数，那么一个公式的析取范式不惟一C.如果2是奇数，那么一个公式的析取范式惟一D.如果2是奇数，那么一个公式的析取范式不惟一4设P：他聪明，Q：他用功，命题“他虽聪明但不用功”的符号化正确的是（）A PQBP QCP QDP Q5.设P：天下大雨,Q：他在室内运动,命题“除非天下大雨，否则他不在室内运动”可符合化为（）A.PQB.PQC.PQD.PQ6下列命题公式不是重言式的是（）AQ（PQ） B（PQ）PC（P Q）（ PQ）D（PQ）（ PQ）7下列命题公式为重言式的是（ ）Ap (pq)B(pp)qCqqDpq8下列命
3、题公式中不是重言式的是（）Ap(qr)Bp(qp)Cp(pp)D(p(qr)(q(pr)1下列是谓词演算中的合式公式的是（）ABC D2设论域为整数集，下列真值为真的公式是（）A BCD3设个体域是整数集，则下列命题的真值为真的是（）Ayx(xy=1)Bxy (xy0)Cxy (xy=y2)Dyx(xy=x2)4在公式中变元y是（ ）A自由变元B约束变元C既是自由变元，又是约束变元D既不是自由变元，又不是约束变元5关于谓词公式（x）(y)(P(x,y)Q(y,z)(x)p(x,y),下面的描述中错误的是（）A（x）的辖域是（y）（P（x,y）Q(y,z)）Bz是该谓词公式的约束变元C（x）的辖
4、域是P（x,y）Dx是该谓词公式的约束变元6下列等价式正确的是（ ）AABCAD7下列等价式不正确的是（）ABCD8设论域D=a,b，与公式xA（x）等价的命题公式是（）AA（a）A（b）BA（a）A（b）CA（a）A（b）DA（b）A（a）9下列公式是前束范式的是（）A BC D1设A=1，2，B=2，3，则AA=_，AB=_。1命题公式（PQ） P的成真赋值为_，成假赋值为_。1. 对于公式x(P(x)Q(x)，其中P(x)x=1,Q(x)x=2,当论域为1,2时，其真值为_ ,当论域为0,1,2时，其真值为_。1构造命题公式(p (q r)p的真值表。2求公式（的主析取范式。3求下列公式
5、的主析取范式和主合取范式：（PQ）（PR）4判断下面推理是否正确，并证明你的结论。如果小王今天家里有事，则他不会来开会。如果小张今天看到小王，则小王今天来开会了。小张今天看到小王。所以小王今天家里没事。5构造下面推理的证明。只要A曾到过受害者房间并且11点以前没离开，A就犯了谋杀罪。A曾到过受害者房间。如果在11点以前离开，看门人会看见他。看门人没有看见他。所以A犯了谋杀罪。1如果论域是集合a,b,c，试消去下面公式中的量词：2 .设解释如下：D=0，1，2，f (0)=1; f (1)=2; f (2)=0; F(0,0)=1, F(0,1)=0,F(1,0)=1, F(1,2)=0, F(1,1)=1, F(2,0)=1, F(0,2)=0, F(2,1)=1, F(2,2)=1,试求出下列公式在下的真值。（1）F（f(0),f(2)）F(f(1),f(0)F(F(2,2),F(f(2),F(0,2)(2)
