1、1设 A-B=，则有（ ）AB= BBCA B DA B2.设 P=x|(x+1)24，Q=x|x 2+165x,则下列选项正确的是A.PQ B.PQC.QP D.Q=P3A，B 是集合， P（A） ，P （B）为其幂集，且 AB=，则 P(A)P(B)为（ ）A B C D ，4下列式子正确的是（ ）A （AB）-C=A-（BC） B A（BC）=（AB）CC（AB）= （BA ） D （AB ） A1下列语句中不是命题的只有（ ）A鸡毛也能飞上天？ B或重于泰山，或轻于鸿毛。C不经一事，不长一智。 D牙好，胃口就好。2下列语句中不是命题的只有（ ）A这个语句是假的。 B1+1=1.0C飞碟
2、来自地球外的星球。 D凡石头都可练成金。3.下列命题为假命题的是（ ）A.如果 2 是偶数，那么一个公式的析取范式惟一B.如果 2 是偶数，那么一个公式的析取范式不惟一C.如果 2 是奇数，那么一个公式的析取范式惟一D.如果 2 是奇数，那么一个公式的析取范式不惟一4设 P：他聪明，Q ：他用功，命题 “他虽聪明但不用功”的符号化正确的是（ ）A P Q BP QCP Q DP Q5.设 P：天下大雨 ,Q：他在室内运动,命题 “除非天下大雨，否则他不在室内运动”可符合化为（ ）A.PQ B.PQC.PQ D.PQ6下列命题公式不是重言式的是（ ）AQ（PQ） B （PQ）PC（P Q）（ P
3、Q） D （PQ） （ PQ）7下列命题公式为重言式的是（ ）Ap (pq) B(p p)qCqq Dpq8下列命题公式中不是重言式的是（ ）Ap(qr) Bp(qp)C p( p p) D(p(qr) (q(pr)1下列是谓词演算中的合式公式的是（ ）A B)(yx ),()(yxGFxC D,zQP P2设论域为整数集，下列真值为真的公式是（ ）A B)0)(yx )0)(yxyC D 3设个体域是整数集，则下列命题的真值为真的是（ ）A y x(xy=1) B x y (xy0)C x y (xy=y2) D y x(xy=x2)4在公式 中变元 y 是（ ）,()(),( zyPzQy
4、xPyA自由变元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）的辖域是 P（x,y） Dx 是该谓词公式的约束变元6下列等价式正确的是（ ）A A)()(AB AyxyxC A)()(D )()(xBxBA7下列等价式不正确的是（ ）A )(Q)(P)(Q)(P xxxx B C )()(P)()(P xxxx D QQ8设论域 D=a,b，与公式 xA（x）等价的命题公
5、式是（ ）AA（a）A（b） BA （ a）A（b）CA（a）A（b） DA（b）A（a）9下列公式是前束范式的是（ ）A B)(),()( yGxzFyx )()()( zHyGxFC D, , yx1设 A=1，2，B=2，3，则 AA=_，A B=_。1命题公式（P Q） 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求公式（ 的主析取范式。)()rqp3求下列公式的主析取范式和主合取范式：（PQ ）（PR）4判
6、断下面推理是否正确，并证明你的结论。如果小王今天家里有事，则他不会来开会。如果小张今天看到小王，则小王今天来开会了。小张今天看到小王。所以小王今天家里没事。5构造下面推理的证明。只要 A 曾到过受害者房间并且 11 点以前没离开，A 就犯了谋杀罪。A 曾到过受害者房间。如果在 11 点以前离开，看门人会看见他。看门人没有看见他。所以 A 犯了谋杀罪。1如果论域是集合a,b,c ，试消去下面公式中的量词： )0)(yx2 .设解释如下： 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) )(),(),()( yfxfFyxyx
