离散数学试题

设p: 小王乘汽车出行，q: 小王乘火车出行，命题“小王只能乘汽车或乘火车一种方式出行”的符号化形式是[ ] A.
B.
C.
D.
2.设个体域为全总个体域，谓词M(x): x是人，H(x,y): x和y一样高，命题“没有两 个人是一样高的”，其符号化形式正确的是[ ]。　　A.
； B.
；　　C.
； D.
。 对于任意集合P和Q，已知
，下列各式为真的是[ ]。　　A.
； B.
；　C.
； D.
。 合式公式
的主析取范式是____________________。 偏序关系必须满足的三条性质是：___________________________。 6. 设S={ a, b, c, d }，
、
是S上的两个关系，
={ , , },
={ , , , }, 则
。 7.构造下面的推理证明: 前提:
结论:
8.下面四个合式公式中，是矛盾式的是[ ]； A.
B.
C.
D.
9. .设个体域是全总个体域，令F(x): x是金属，G(y): y是液体，H(x,y): x可以溶解在y中，则命题“任何金属都可以溶解在某种液体中”可符号化为[ ]； A.
x(F(x)∧
y(G(y)∧H(x,y)) B.
x(F(x)
(G(y)→H(x,y)) C.
x(F(x)→
y(G(y)∧H(x,y)) D.
x(F(x)→
y(G(y)→H(x,y)) 10.设S={1，2，3，4，5，6，7，8，9，10}，R是S上的整除关系，a. 证明R是S 上的偏序关系； b. 画出R的哈斯图。 下列不是命题的是 A .黄金是非金属 B.只要他不上战场，我们就不会输 C.她跑了100米只用了15秒，你说她是不是运动健将啊？ D. 她跑了1