离散数学试题库

15.设D的结点数大于1,D=<V,E>是强连通图,当且仅当(   )
A.D中至少有一条通路    B.D中至少有一条回路
C.D中有通过每个结点至少一次的通路    D.D中有通过每个结点至少一次的回路
1.设P:天下大雨,Q:他在室内运动,命题“除非天下大雨,否则他在室内运动”可符合化为(   )
溯雪怎么用A.P∧Q    B.P→Q
C. P→ Q    D.P→Q
2.下列命题联结词集合中,是最小联结词组的是(   )
A.{,  }    B.{,∨,∧}
C.{ ,∧}    D.{∧,→}
3.下列命题为命题的是(   )
A.如果2是偶数,那么一个公式的析取范式惟一
B.如果2是偶数,那么一个公式的析取范式不惟一   
C.如果2是奇数,那么一个公式的析取范式惟一
D.如果2是奇数,那么一个公式的析取范式不惟一
4.谓词公式x(P(x)∨yR(y))→Q(x))中变元x是(   )
A.自由变元    B.约束变元
C.既不是自由变元也不是约束变元    D.既是自由变元也是约束变元远程会诊
5.若个体域为整数,下列公式中值为真的是(   )
A.x y(x+y=0)    B.yx(x+y=0)   
C.xy(x+y=0)    D.xy(x+y=0)
6.下列命题中正确的是(   )
A.x∈{x}-{{x}}    B.{x}{x}-{{x}}   
C.A={x}∪x,则x∈A且xA    D.A-B=  A=B
7.设P={x|(x+1)2≤4},Q={x|x2+16≥5x},则下列选项正确的是(   )
A.PQ    B.PQ
C.Q P    D.Q=P
8.下列表达式中成立的是(   )
A.A∪(B C)=(A∪B)  (A∪C)    B.A∩(BC)=(A∩B)  (A∩C)
C.(AB)×C=(A×C)  (B×C)    D.(A-B) ×C=(A×C)-(B×C)
5.对于公式(x东京小子) (y)(P(x)∧Q(y入世十年))→(x)R(x,y),下列说法正确的是(   )
A.y最牛监狱局长于爱荣是自由变元    B.y是约束变元
C.( x)的辖域是R(x, y)    D.(x)的辖域是(y)(P(x)∧Q(沙扬娜拉赏析y))→(x)R(x,y)
6.设论域为{1,2},与公式(x)A(x)等价的是(   )
A.A(1)∨A(2)    B.A(1)→A(2)
C.A(1)∧A(2)    D.A(2)→A(1)
14.下列图是欧拉图的是(   )
15.一棵树的3个4度点,4个2度点,其它的都是1度,那么这棵树的边数是(   )
A.13    B.14
C.15    D.16
二、填空题
16.设A={1,2,3},B={3,4,5},则AA=___________,AB=___________。
17.设A={1,2,3,4,5},R A×A,R={<1,2>,<3,4>,<2,2>},则R的自反闭包r(R)=__________。
对称闭包t(R)=__________。
18.设P、Q为两个命题,德摩根律可表示为_____________,吸收律可表示为____________。
19.对于公式x(P(x)∨Q(x)),其中P(x)∶x=1,Q(x)∶x=2,当论域为{1,2}时,其真值为_____________ ,当论域为{0,1,2}时,其真值为_____________。
23.设图G<V,E>,V={v1,v2,v3,v4},若G的邻接矩阵,则deg-(v1)=_ ________,
deg+(v4)=____________。
25.给定集合A={1,2,3,4,5},在集合A上定义两种关系:R={<1,2>,<3,4>,<2,2>},
S={<4,2>,<2,5>,<3,1>,<1,3>},则
20.设A= ,B={2,4},则P(P(A))=___________,A×B___________。
21.设A={1,2,3,4}, A上的二元关系R={<1,2>,<2,4>,<3,3>},S={<1,3>,<2,4>,<4,2>},则R2S=___________,(R-1)2=___________。
25.若一条___________中,所有的___________均不相同,称为迹。

本文发布于:2024-09-21 22:35:20,感谢您对本站的认可!

本文链接:https://www.17tex.com/xueshu/210109.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:下列   公式   命题
留言与评论(共有 0 条评论)
   
验证码:
Copyright ©2019-2024 Comsenz Inc.Powered by © 易纺专利技术学习网 豫ICP备2022007602号 豫公网安备41160202000603 站长QQ:729038198 关于我们 投诉建议