潍坊学院
- 下列公式是谓词公式 xF(x)xG(x) 的前束范式的是（）。
- 下列各符号串，不是合式公式的有（ ）。
- 若函数g和f的复合函数g
f 是双射，则（ ）一定是正确的。 - 设X=P({a,b})，∪为集合的并运算，则代数系统
- 下面蕴涵关系成立的是（ ）。
- 下列集合中相等的有（ ）。
- 下列语句中不是命题的有（ ）
A、B为两个合式公式，且
，则（ ）。- 下列语句是命题的有（ ）。
- 下列表达式正确的有（ ）
- 。（）
- 若集合A上的关系R是对称的，则也是对称的。（ ）
- 任何有向图中各结点入度之和等于边数。（ ）
- 有序对
- 整数集合上的不等关系（≠）可确定A的一个划分。（ ）
- 谓词公式
的前束范式是 
。（ ） - 如果一个有向图D是欧拉图，则D是强连通图。（ ）
- 设P(x)：x是研究生，Q(x): x读过大学，命题“所有的研究生都读过大学”符号化为：
。（ ） - 无向图的边集，是顶点集的无序积的多重子集。（ ）
- 设p：你努力，q：你失败。“虽然你努力了，但还是失败了”的翻译为 p∧q 。（ ）
- k-正则图的每个顶点的度数都相等且为k。（ ）
- 设集合A={1,2,3,4}, A上的恒等关系的关系图是四个孤立的环。
- 设A、B、C任意三个集合，A∪(B⊕C)=(A∪B)⊕(A∪C)。 （ ）
- 对集合X和Y，设|X|=m ，|Y|=n ，则从X到Y的函数有n的m次幂个。（ ）
- 对任意两个集合，它们的笛卡尔积都不满足交换律。
- 无多重边的图是简单图。（ ）
- 如果有限集合A有n个元素，则|P(A)|= 。（ ）
- 阶数为偶数的有限群中，周期为2的元素的个数一定为偶数。 （ ）
- 任何有向图中各结点出度之和等于入度之和等于边数。（ ）
- 若G是欧拉图，则其边数
和结点数 
的奇偶性不能相反。（ ） - 设S1={1，2，…，8，9}，S2={2，4，6，8}，S3={1，3，5，7，9}，S4={3，4，5}，S5={3，5}，在条件XS1且XS3下，X与（ ）集合相等。
设A={Φ，{1}，{1,3}，{1,2,3}}则A上包含关系“
”的哈斯图为（ ）
- 设 S是A到B上的二元关系，下列各式中（ ）是正确的。
- f(n)为欧拉函数，求f(14)=（ ）。
- 下面（ ）命题公式是重言式。
- 在0和Φ之间的关系是以下（ ）。
- “人总是要死的”谓词公式表示为（ ）。（论域为全总个体域）M
：x是人；Mortal ：x是要死的。 - 下列函数是双射的为（ ）。（注：I—整数集，E—偶数集， N—自然数集，R—实数集）
- 设A={a,b}，则P(A)×A =( )。
- 下列关系中能构成函数的是（ ）。
- 下列结果正确的是（ ）。
- 下列图中（ ）是根树。
- 设
- 集合B={Ф,{Ф},{Ф,{Ф}}}的幂集为（ ）。
- 设R为实数集，◦运算定义为a◦b=2(a+b)，则R和运算◦可以构成（ ）。
设S={1，2，3}，R为S上的关系，其关系图如下，则R具有（ ）的性质。
- 一个割边集与任何生成树之间（ ）。
- 集合A={1，2，3，4}上的偏序关系的关系图如下，则它的哈斯图为（ ）。
- 设N是自然数集，定义f:N→N,f(x)=x(mod3), （即x除以3的余数）,则f是（ ）。
- 图的经典问题“哥尼斯堡七桥问题”与以下哪种图有关（ ）。
- 设< A ，R>是偏序集，
，下面结论正确的是（ ）。 - 命题“有的人喜欢所有的花”的逻辑符号化为（ ）。设D：全总个体域，F
：x是花，M ：x是人，H - 设G是简单有向图，可达矩阵P(G)描述了下列（ ）的关系。
- 设
和 
都是X上的双射函数，则 
为（ ）。 - 设集合A 中有 n (n > 0)个元素.则 A的恒等关系中有（ ）个不同的有序对。
- 集合
对（ ）运算封闭。 - 设
，则B－A是（ ）。 - 已知无向图G中顶点数与边数相等，2 度与 3 度顶点各 2 个，其余顶点均为悬挂顶点，问G有（ ）条边。
- 命题公式(pq)的主析取范式中含极小项的个数为（ ）。
- 命题逻辑推理的CP规则为（ ）。
A:xy(F(x) G(y)) B:x(F(x) G(x)) C:xy (F(x) G(y)) D:x(F(x) G(x))
答案:x(F(x) G(x))###xy(F(x) G(y))
A:
；
B:
。
C:
；
D:
；答案:
A:g是满射； B:f是满射。 C:f是入射； D:g是入射；
答案:f是入射；###g是满射；
A:结合律 B:单位元是Φ C:零元{a,b} D:交换律
答案:单位元是Φ###结合律###零元{a,b}###交换律
A:
；
B:
；
C:
；
D:
。答案:
A:{4，
，3，3}
B:{
，3，4}
C:{3，4}
D:{4，3}
答案:
A:我要努力学习 B:x+3=5 C:9+5≤12 D:我用的计算机CPU主频是1G吗？
答案:我用的计算机CPU主频是1G吗？###x+3=5
A:
为重言式
B:
为重言式
C:
D:B→A 也是重言式
答案:
A:xy>0当且仅当x和y都大于0； B:我正在说谎。 C:明年中秋节的晚上是晴天； D:
；答案:明年中秋节的晚上是晴天；###xy>0当且仅当x和y都大于0；
A:
；
B: 
。
C: 
；
D: 
；
A:错 B:对
A:错 B:对
A:对 B:错
A:对 B:错
A:对 B:错
A:对 B:错
A:对 B:错
A:对 B:错
A:错 B:对
A:错 B:对
A:错 B:对
A:错 B:对
A:错 B:对
A:对 B:错
A:错 B:对
A:错 B:对
A:错 B:对
A:错 B:对
A:对 B:错
A:对 B:错
A:X与S1，…，S5中任何集合都不等。 B:X=S2或S5 ； C:X=S1，S2或S4； D:X=S4或S5；
A:A B:D C:C D:B
A:domS
B ；
B:domS 
ranS =A
C:ranS 
A；
D:domS 
A；
A:12 B:6 C:10 D:4
A:
；
B: 
。
C: 
；
D: 
；
A:
B: 
C:=
D: 
A:
B:
C: 
D:
A:f : N
N 
N, f (n) = <n , n+1>；
B:f : R 
I , f (x) = [x] ；
C:f :I 
N, f (x) = | x | 。
D:f : I 
E , f (x) = 2x ；
A:A ； B:
。
C:P(A)；
D: 
；
A:
；
B:
；
C:
；
D:都不能
A:
B: 
C: 
D: 
A:
；
B: 
。
C: 
；
D: 
；
A:max(a，b) ； B:min(a，b)。 C:b ； D:a ；
A:
；
B: 
C: 
；
D: 
；
A:都不是 B:半群 C:群 D:独异点
A:反自反、对称、传递； B:反自反、反对称、传递； C:反自反、反对称； D:自反、对称、反对称、传递。
A:没有关系； B:有一条公共边； C:至少有一条公共边。 D:割边集的导出子图是生成树；
A:D B:C C:B D:A
A:满射不是单射； B:单射不是满射； C:不是单射也不是满射。 D:双射；
A:哈密顿图 B:欧拉图 C:二部图 D:分离图
A:
的上界 
且不唯一；
B: 
的上确界 
且唯一。
C: 
的极大元 
且唯一；
D: 
的极大元 
且不唯一；
A:
；
B:
。
C:
；
D:
；
A:点与边； B:边与点； C:边与边。 D:点与点；
A:
；
B: 
；
C: 
。
D: 
；
A:n B:n2 C:2n D:n+1
A:加法； B:减法； C:乘法； D:|x-y|。
A:
；
B: 
；
C: 
。
D: 
；
A:7 B:8 C:4 D:6
A:3 B:4 C:0 D:2
A:如果要推导出的公式为B→C形式，那么将B作为前提，设法推出C B:在推理过程中可随便使用前提 C:在推理过程中可随便使用前面推导出的某些公式的逻辑结果 D:设Φ(A)是含公式A的命题公式，
，则可用B替换Φ(A)中的A
温馨提示支付 ￥5.00 元后可查看付费内容,请先翻页预览!
