单项选择题设A={1，2，3，4}上的关系，则R={〈1，3〉，〈1，4〉，〈2，3〉，〈2，4〉，〈3，4〉}具有性质（）。
A.对称性
B.自反性
C.传递性
D.非传递的
您可能感兴趣的试卷
你可能感兴趣的试题
1.单项选择题设R是实数集合，函数f：R→R，f（x）=x2+3和g：R→R，g（x）=x+4，则复合函数是（）。
A.x2+3x+12
B.x2+7
C.x2+7x
D.（x+4）2+3
2.单项选择题
下列公式是前束范式的是（）。
A.A
B.B
C.C
D.D
3.单项选择题集合的并运算∪不满足（）。
A.消去律
B.幂等律
C.交换律
D.结合律
4.单项选择题集合的交运算∩不满足（）。
A.结合律
B.消去律
C.幂等律
D.交换律
5.单项选择题
设A={1，3，5，7}上的关系R：
，则R的定义域dom（R）等于（）。
A.{1，3，5，7}
B.{3，5，7}
C.{1，3，7}
D.{1，3，5}
6.单项选择题
谓词公式
中变元x（）。
A.既不是自由出现又不是约束出现
B.是自由出现，不是约束出现
C.既是自由出现又是约束出现
D.不是自由出现，是约束出现
7.单项选择题无向图G具有一条欧拉回路，则G中所有点的度数都是（）。
A.1
B.偶数
C.素数
D.奇数
8.单项选择题设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。
A.非代数系统
B.代数系统
C.半群
D.群
10.问答题在一阶逻辑中，将命题符号化：不存在最大的自然数。
最新试题
设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为（）
题型：单项选择题
从无向完全图K5中至少删除（）条边后，所得的图将成为平面图。
题型：单项选择题
求出谓词公式的前束范式。
题型：问答题
设P为正整数集合，∀x，y∈P，定义运算：x *y =max（x，y），则＜P，*＞一定不是（）。
题型：单项选择题
给定3个命题：P：北京比天津人口多；Q：2大于1；R：15是素数。求复合命题：的真值。
题型：问答题
下列关于循环群＜G，*＞的叙述，不一定成立的是（）。
题型：单项选择题
求¬P∨（Q∧R）的合取范式与主合取范式。
题型：问答题
用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。因此，本班有人知道对象的概念。”
题型：问答题
已知无向图G的结点度数之和为10，则G的边数为（）。
题型：单项选择题
群，其中，⊕为模4加法，该群有（）个子群。
题型：单项选择题