离散数学试题(1-4章)

  • 格式:doc
  • 大小:36.00 KB
  • 文档页数:2

姓名:_____________________ 学号:_____________________
《离散数学》测试题
一、选择题(每题2分,共10分)
1、命题公式(P→Q)∨(Q→P)在()个真值指派下为T。

A.1 B.2 C.3 D.4
2、命题公式(P∧Q )→Q 的类型是()。

A.可满足式B.永真式C.永假式D.无法确定
3、谓词公式∀x∃y P(x,y)的否定式为()。

A.∀x∀y﹁P(x,y) B.∃x∀y﹁P(x,y)
C.∀x∃y﹁P(x,y) D.∃x∃y﹁P(x,y)
4、在A={1,2,3}上可定义()个不同的二元关系。

A.9 B.18 C.81 D.512
5、A={a,b,c},在下列的二元关系中,()不是可传递关系。

A.{<a,b>} B.{<a,b>,<b,a>,<a,a>} C.A ⨯ A D.I A
二、填空题(每题2分,共10分)
1、设p、q为命题变项,则(﹁p↔q)的成真赋值为_________________________。

2.公式∃xF(x) ∧∀xG(x, y)的前束范式是__________________________。

3、A={1,2},则P(A)*A= ________________________ 。

4、设<x,y+5>=<y-1,2x>,则<x,y>= _______ ___。

5.设A = {a, b, c, d, e},A上的等价关系R={ <a, c>, <d, b> ,<c, a>, <b, d>}∪I A,则商集A/R=______________________________。

三、在命题逻辑中构造下面推理的证明:(20分)
前提:P→(Q→R) , S→P , Q
结论:S→R
四、求(p∨q)→﹁r的主析取范式、主合取范式、成真赋值、成假赋值。

(真值表法或等值演算法,20分)
五、设集合A={1, 2, 3, 4},R 是A上的关系,且R={<x,y> | x, y∈A, 且x+y是偶数}(20分)
(1) 画出R的关系图;
(2) 验证R是等价关系;
(3) 写出R2的集合表达式。

六、设集合A = {1, 2, 4, 6, 8,12, 18, 24, 36, 72}, ≤为整除关系,(20分)
(1)画出偏序集<S, ≤>的哈斯图;
(2)求集合B={4, 18, 36}的上界、下界、最小上界、最大下界;
(3)写出A的最大元,最小元,极大元,极小元。