1.设p: 小王乘汽车出行，q: 小王乘火车出行，命题“小王只能乘汽车或乘火车一种方式出行”的符号化形式是[ ]
a. b. c. d.
2.设个体域为全总个体域，谓词m(x): x是人，h(x,y): x和y一样高，命题“没有两。
个人是一样高的”，其符号化形式正确的是[ ]
a.； b.；
c.； d.。
3.对于任意集合p和q，已知，下列各式为真的是[ ]
a.； b.； c.； d.。
4.合式公式的主析取范式是。
5.偏序关系必须满足的三条性质是。
6. 设s=，、是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=，r是s上的整除关系，a. 证明r是s
上的偏序关系； b. 画出r的哈斯图。
11.下列不是命题的是。
a .**是非金属 b.只要他不上战场，我们就不会输 c.她跑了100米只用了15秒，你说她是不是运动健将啊？ d. 她跑了100米只用了15秒，她是运动健将。
12. 关于命题变元p和q的极大项m01表示为。
13. 某勘探队有3名队员，有一天取得一块矿样，三人的判断如下：
甲：这不是铁，也不是铜。
乙：这不是铁，是锡。
丙：这不是锡，是铁。
最后证明，其中一个人两个判断都正确，有一个人判断一对一错，有一个人两个判断都错，根据以上情况判断矿样的种类。
14. 命题公式 (p∧(p→q))→q是___式。
1) 重言 (2) 矛盾 (3) 可满足 (4) 非永真的可满足。
15. ａ是集合， =10，则=__
16.设a=．
1．求a上的整除关系r；
2．说明r是一个偏序关系，画出哈斯图，并求出极大元、极小元．
3．求r的对称闭包s(r)和s(r)的传递闭包t(s(r))．
离散数学试题
网络学院离散数学模拟试题1 考试时间 90 分钟考试方式 开卷。专业年级姓名学号 一 选择填空题 每个空格3分，共30分。答案写在答题纸上。1b.b.cd.2 若集合p q满足，则 必成立。c abcd 3 设，则是 d a 从x到y的双射。b 从x到y的满射，但不是单射。c 从x到y的映射，但不是...
离散数学试题
一 填空题 每题2分，共14分 1 若g为连通的平面图，有n个顶点，k个面，则g的边数为。2 设a b 则a b 3 集合的幂集。4 设表示 会飞 论述域为，则命题 一切鸟都会飞 可译为 5 若集合a上的二元关系r的关系矩阵主对角线上元素全是1，则关系r具有性质。6 公式的对偶公式为。7 连通无向图...
离散数学试题
1 设a是m元集合，b是n元集合。问a到b共有多少个不同的二元关系？设a b 试写出a到b的全部二元关系。p18 2 用演绎法证明共同蕴涵p s。p48 3 将下面的命题符号化 已知每一个运动员都是强壮的，而每一个既强壮又聪明的人在他所从事的事业中都将获得成功，彼得是运动员并且是聪明的，证明彼得在他...