离散数学 题库、.docVIP

一、选择题 1、由n个命题变元组成不等值的命题公式的个数为（） A.2n B.2n C.n2 D. 2、“所有的人都是要死的。苏格拉底是人，所以苏格拉底是要死的。”则该句话（ ） A．不是命题 B．是真命题 C．是假命题 D．是悖论 3、若P表示“他聪明”，Q表示“他用功”，则“他聪明但不用功”可符号化为（ ） A．P∨Q B．P∧Q C．P→Q D．P∨Q 4、若p表示“天下雨”，q表示“他乘车上班”，则“只有天下大雨，他才乘车上班”可符号化为（ ） A．p→q B．q→p C．p→q D．q→p 5、下列命题公式中，为永假式的是（ ）。 A．P→（P∨Q∨R） B．（P→P）→P C．（Q→P ）∧P D． （ P∨P）→（P∧P） 6、一个公式在等价意义下，下面哪个写法是唯一的（ ）。 A．析取范式 B．合取范式 C．主析取范式 D．以上答案都不对 7、下列语句中哪个是真命题（ ）。 A．我正在说谎。 B．如果1+2=3，那么雪是黑色的。 C．如果1+2=5，那么雪是白色的。 D．严禁吸烟 8、下面哪个联结词运算不可交换？（） A.( B.( C.( D.( 命题公式(P( (P(Q)) (Q是（）。 A.矛盾式 B.蕴含式 C.重言式 D.等值式 10、下面哪个命题公式是重言式？（） A.(P(Q)((Q( P) B.(P(Q)(P C.((P(Q)((((P((Q) D.((P(Q) 11、下列哪一组命题公式是等值的？（） A. (P((Q,P(Q B.A((B(A),(A((A((B) C. Q((P(Q),(Q( (P(Q) D.(A( (A(B),B 命题公式((P(Q)(R的成真赋值为（） A.000,001,110 B.001,011,101,110,111 C.全体赋值 D.无 如果A(B成立，则以下各种蕴含关系哪一个成立？（） A.B(A B.(A((B C.(B((A D.(A(B 14、设命题公式，则G是（ ）。 A. 恒假的 B. 恒真的 C. 可满足的 D. 析取范式 15、下列命题公式中，为永假式的是（ ）。 A．P→（P∨Q∨R） B．（P→P）→P C．（Q→P ）∧P D． （ P∨P）→（P∧P） 16、设命题公式，则G是（ ）。 A. 恒假的 B. 恒真的 C. 可满足的 D. 析取范式 17、谓词公式(x(P(x)((yR(y))(Q(x)中量词(x的作用域是（） A. (x(P(x)((yR(y)) B.P(x) C. (P(x)((yR(y)) D.P(x)，Q(x) 18、谓词公式(x(P(x)((yR(y))(Q(x)中变元x是（） A.自由变量 B.约束变量 C.既不是自由变量也不是约束变量 D.既是自由变量也是约束变量 19、若个体域为整体域，下列公式中哪个值为真？（） A.(x(y(x+y=0) B.(y(x(x+y=0) C.(x(y(x+y=0) D.((x(y(x+y=0) 20、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式(x(P(x)(Q(x))在下面哪个论域中是可满足的？（） A.自然数集 B.整数集 C.实数集 D.以上均不成立 21、设C(x)：x是运动员，G(x)：x是强壮的。命题“没有一个运动员不是强壮的”可符号化为（） A.((x(C(x)((G(x)) B.((x(C(x)((G(x)) C.((x(C(x)((G(x)) D.((x(C(x)((G(x)) 22、设A(x)：x是人，B(x)：x犯错误，命题“没有不犯错误的人”符号化为（） A.(x(A(x)(B(x)) B.((x(A(x)((B(x)) C.((x(A(x)(B(x)) D.((x(A(x)((B(x)) 23、设Z(x)：x是整数，N(x)：x是负数，S(x,y)：y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式（） A.(x(y(Z(x)(S(x,y)((N(y)) B.(x(y(Z(x)(S(x,y)((N(y)) C.(x(y(Z(x)(S(x,y)((N(y)) D.(x(Z(x)(S(x,y)((N(y)) 24、令F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快。则语句“某些汽车比所有的火车慢”可表示为（） A.(y(G(y)((x(F(x