离散数学试题

设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.构造下面的推理证明: 前提:
结论: