离散数学-复习题

时间:2025-07-12

离散题目

离散数学试题1

一、单项选择题

在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。

1.下列句子为命题的是( )

A.走,看电影去

C.空集是任意集合的真子集 B.x+y>0 D.你明天能来吗?

2.下列式子不是谓词合式公式的是( ) ..

A.( x)(P(x)→( x)(Q(x) ∧A(x,y)))

C.( x)P(x)→R(y)

3.下列式子为重言式的是( )

A.P→P∨Q

C.﹁ Q) B.(﹁P∧Q)∧(P∨﹁Q) D.(P∨(P→Q) B.( x)∧( y)∨P(x,y) D.( x)P(x)∧Q(y,z)

4.设个体域为实数集,特定元素a=0,函数f(x,y)=x-y,特定谓词F(x,y)为x<y,下列公式真值为真的是

( )

A.( x)( y)F(x,f(f(x,y),y))

B.( x)( y)(﹁F(f(x,y),x))

C.( x)( y)( z)(F(x,y)→F(f(x,z),f(y,z)))

D.( x)F(f(a,x),a)

5.对于公式( x)( y)P(x,y)∨Q(x,z)∧( x)P(x,y),下列说法正确的是( )

A.x是自由变元

C.( x)的辖域是P(x,y)∨Q(x,z) B.x是约束变元 D.( x)的辖域是P(x,y)

6.设论域为{1,2},与公式( x)﹁A(X)等价的是( )

A. ﹁A(1) ∨﹁A(2)

C. ﹁A(1) ∧﹁A(2) B. ﹁A(1)→﹁(A2) D. A(1) →A(2)

7.设Z+是正整数集,f:Z+×Z+→Z+,f(n,m)=nm,则f( )

A.仅是单射

C.是双射 B.仅是满射 D.不是函数

8.下列哪个关系矩阵所对应的关系具有自反性( )

101 A. 111

100

001 C. 001

100 100 B. 011 101 101 D. 010 100

1

离散题目

10.在整数集上,下面哪个运算不是二元运算( ) ..

A.加法

C.乘法

二、填空题

请在每小题的空格中填上正确答案。错填、不填均无分。

11.一个公式,如果量词均在全式的________,其作用域延伸到整个公式的________,则该公式称为前束范式。

12.请用联结词﹁,∧表示联结词∨和联结词:________,________。

13.设A={l,2,3,4},A上的二元关系R={<1,2>,<3,4>,<4,3>},S={<l,3>,<3,4>,<4,1>},则R ~S=________,(R S)-1=________。

三、计算题

14.用等值演算求(P→Q)→R的主合取范式。

15.列出(P→(Q∨(P→Q)的真值表。

16.设A={a,b,c,d},R={<a,b>,<a,d>,<b,c>,<c,a>,<d,a>},求R的传递闭包。

17.设A={2,3,6,12,24,36},请画出A上整除关系的哈斯图,并给出子集{6,12,24,36}的下界、下确界、极大元、最大元。

四、证明题

18.用推理方法证明:P∨Q,P→R,Q→S├R∨S。

19.设A={<a,b>|a,b∈Z+,Z+为整数集},A上的关系R={<<a,b>,<c,d>>|ad=bc},证明R是等价关系。

五、综合应用题

20.符号化下面命题,并构造推理证明:人是要死的,苏格拉底是人,所以苏格拉底是要死的。

B.减法 D.除法

离散数学试题2

一、单项选择题

在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均不得分。

1.下列句子为命题的是( )

A.全体起立!

C.我在说谎

2.下列式子不是谓词合式公式的是( ) ..

A.( x)(P(x,y) Q(x,z)) ( z)R(x,z)

B. ( x)( y)P(x,y) Q(x,z) ( x)P(x,y)

B.x=0 D.张三生于1886年的春天 2

离散题目

C. ( x)P(x) Q(x)) ( x)( P(x) Q(x))

D. ( x)P(x) Q(y,z)

3.下列式子为矛盾式的是( )

A.P P

C.P P B.P (P Q) D. (P Q) P Q

4.设给定赋值N如下:个体域为自然数集;特定元素a=0;特定函数f(x,y)=x+y,g(x,y)=xy;特定谓词F(x,y)为x=y。在赋值N下,下列公式为真的是( )

A. ( x)F(g(x,a),x)

B. ( x)( y)(F(f(x,a),y) F(f(y,a),x))

C. ( x)( y)( z)F(f(x,y),z)

D. ( x)( y)F(f(x,y),g(x,y))

5.对于公式( x)(P(x,y) Q(x,z)) ( z)R(x,z),下列说法正确的是( )

A.y是自由变元

B.x是约束变元

C. ( x)的辖域是(P(x,y) Q(x,z)) ( z)R(x,z)

D. ( x)的辖域是P(x,y)

6.设论域为{l,2},与公式( x)A(x)等价的是( )

A.A(1) A(2) B. A(1) A(2)

C.A(1) D. A(2) A(1)

7.设Z+是正整数集合,f:Z+→Z+,f(n)=2n-2,则f( )

A.仅是单射 B.仅是满射

C.是双射 D.不是函数

8.下列关系矩阵所对应的关系具有反自反性的是( )

101 100

A. 011 B.

011

100 101

001 101

C. 001 D.

010

100 100

二、填空题

请在每小题的空格中填上正确答案。错填、不填均不得分。

9.请写出表示分配律的两个命题公式等价定理________,________。

10.请用联结词 , 表示联结词 和联结词 :________,________。

11.设A={1,2,3,4},B={2,4,6},则A-B=________,A B=________。

12.给出A={l,2}上的一个等价关系________,并给出其对应的划分________。

3

离散题目

13.设A={l,2,3,4},A上的二元关系R={<1,2>,<2,3>,<3,2>},S={<l,3>,<2,3>,<4,3>},则R∩S=________,(R—S)-1=________。

三、计算题

14.列出(Q P) ((P R) Q)的真值表。

15.用等值演算求P (Q R)的主析取范式。

16.设A={1,2,3,4},给定A上的二元关系R={<1,2>,<2,1>,<2,3>,<3,4>},求R的传递闭包。

四、证明题

17.用推理方法证明 …… 此处隐藏:3670字,全部文档内容请下载后查看。喜欢就下载吧 ……

离散数学-复习题.doc 将本文的Word文档下载到电脑

    精彩图片

    热门精选

    大家正在看

    × 游客快捷下载通道(下载后可以自由复制和排版)

    限时特价:7 元/份 原价:20元

    支付方式:

    开通VIP包月会员 特价:29元/月

    注:下载文档有可能“只有目录或者内容不全”等情况,请下载之前注意辨别,如果您已付费且无法下载或内容有问题,请联系我们协助你处理。
    微信:fanwen365 QQ:370150219