第三章测试1.
为真。（ ）A:错 B:对
答案:B
2.
为真。（ ）A:错 B:对 3.
为真。（ ）A:对 B:错 4.
为假。（ ）A:错 B:对 1.φ∈φ且φ∈{φ} （ ）
A:对 B:错 2.φφ且φ{φ} （ ）
A:错 B:对 3.φφ且φ∈{φ} （ ）
A:对 B:错 4.A，B是集合，A⊕B=φ，当且仅当A=B。（ ）
A:对 B:错 5.
设A={1，2，3，4，5，6}，则A有
个真子集 （ ）
A:错 B:对 1.
对于命题公式
，则由
可得出( ).
A:
对于命题公式
，则由
可得出( ).
A:
下面( )是功能完备联接词集合.
A:
命题公式
的主合取范式为( ).
A:
下列( )组命题公式是等值的.
A:
命题公式
与( )等值.
A:
下列命题公式( )是永真式.
A:
设
：我们游泳，
：我们玩游戏, 则命题“我们不能既游泳又玩游戏”符号化为( )
A:
“很多人都喜欢骑自行车”的否定是 （ ）
A:
少数人喜欢骑自行车
B:有些人不喜欢骑自行车
C:很多人不喜欢骑自行车
D:并不是很多人都喜欢骑自行车
10.下列语句( )是命题.
A:
什么是区块链技术?
C:玩《王者荣耀》网络游戏时间过得好快！
D:中国碳基半导体芯片领先世界.
1.自然数集上的小于关系的逆关系为（ ）A:大于等于关系
B:无法确定
C:不等于关系
D:大于关系
2.设集合{顺治，康熙，雍正，乾隆，嘉庆}上的关系R为父子关系，则R的3次幂得到的关系其元素个数为（ ）
A:3
B:2
C:4
D:1
3.设R，S，T分别是从集合A到集合B，集合B到集合C，集合C到集合D的二元关系，则下列一定正确的是（ ）
A:
B:
C:
D:
4.以下为空关系的是（ ）
A:正整数集上的整除关系
B:实数集上的等于关系
C:自然数集上的小于关系
D:集合{{1,2}，{2,3}，{1,3}}上的真包含关系
5.以下为全关系的是（ ）
A:集合{杨铁心，郭啸天，欧阳锋}上的朋友关系
B:集合{梅超风，陈玄风}上的同门关系
C:集合{郭靖，洪七公}上的师徒关系
D:集合{郭靖，黄蓉，郭芙}上的血缘关系
6.设A={1,2,3}, R为A上的关系，其关系图为
，则R具有（ ）的性质。A:传递
B:不具有任何性质
C:自反
D:反自反
E:此项必选
F:反对称
G:对称
7.设A={1,2,3}, R为A上的关系，其关系图为
，则R具有（ ）的性质。A:反对称
B:自反
C:不具有任何性质
D:传递
E:反自反
F:此项必选
G:对称
8.设A={1,2,3}, R为A上的关系，其关系图为
，则R具有（ ）的性质。A:对称
B:反自反
C:自反
D:反对称
E:传递
F:不具有任何性质
G:此项必选
9.设A={1,2,3}, R为A上的关系，其关系图为
，则R具有（ ）的性质。A:反自反
B:反对称
C:自反
D:对称
E:此项必选
F:传递
G:不具有任何性质
10.整数集上的关系
具有（ ）性质。A:反自反
B:对称
C:此项必选
D:反对称
E:自反
F:传递
G:不具有任何性质
1.下列论述错误的是( )
A:在无限集的概念上自然数集和偶数集的元素一样多，即N ～ E
B:(0, 1)～R (实数集)
C:(0, 1)～(-∞, +∞)
D:(-1, 1)～(-∞, +∞)
2.下列论述正确的是( )
A:(0,1)
[0,1]B:(0,1)～[-1,1]
C:(0,1)
[0,1]D:(0,1)～[0,1]
3.下列论述错误的是( )
A:在可数集中加入(或删除)有限个元素，仍为可数集
B:任何无限集必有可数子集
C:有限个可数集的并仍为可数集。
D:设A为无限集，B为可数集或有限集，则B∽A∪B
4.下列论述正确的有( )
A:等势关系是一个等价关系,等价关系下必有等价类
B:C是任意集合，则有 |2C| ≤ |C|
C:∅～∅
D:N～Z
5.两个有限集等势，当且仅当它们具有同样多的元素。( )
A:对 B:错 1.一阶逻辑的基本构成不包括（ ）。
A:个体词
B:谓词
C:动词
D:量词
2.下列属于正确的一阶逻辑公式的是（ ）。
A:
B:
C:
D:
3.下列属于正确一阶逻辑前束范式的是（ ）。
A:
B:
C:
D:
4.下列属于0元谓词常项的是（ ）。
A:x和y是好朋友
B:我的梦想是x和y
C:我和你的年龄差是x
D:小明的父亲的篮球技术非常厉害
5.
关于一阶逻辑中的量词推理规则，不包括下列哪一种规则（ ）。
A:存在量词引入规则
B:存在量词复制规则
C:全称量词消去规则
D:全称量词引入规则
1.
A:
A:
传递的
B:反自反的
C:自反的
D:对称的
3.
A:
A:
A:
下列关系中等价关系的是
A:
命题公式之间的蕴含关系
B:集合之间的包含关系
C:实数之间的小于等于关系
D:n阶方阵之间的相似关系
7.
A:
下列命题中结论正确的是
A:
每一个等价关系必为偏序关系
9.
A:
无、2、无、2
B:8、2、8、2 C:8、1、6、1 D:6、2、6、2 10.
A:
A:
A:
A:
A:
自反闭包
B:传递闭包
C:无法确定 D:对称闭包
15.下列关系矩阵所对应的关系具有反对称性的是
A:
A:{1, 2} ⊆ A的幂集 B:{1, 2}∈A C:Ø ⊆ A的幂集 D:Ø∈A 2.给定非空集合A、B和C，则下列式子一定成立的是（ ）。
A:A×B=B×A B:A×(B∩C)=(A×B)∩(A×C) C:A∩(B×C)=(A∩B)×(A∩C) D:(A×B)×C=A×(B×C) 3.设R是从集合A到集合B的一个二元关系，则下列说法错误的是（ ）。
A:R一定是A×B的子集 B:若A和B的元素个数分别为m和n，则R的元素个数一定不大于mn C:R的逆关系是从B到A的二元关系 D:R与其本身一定可以进行复合运算，形成新的关系 4.设R和S是集合A上的两个传递关系，则下列关系（ ）不一定是传递的。
A:(R∩S)的逆关系 B:R∩S C:R∪S D:R○R 5.设R是集合A上一个等价关系，则下列说法错误的是（ ）。
A:R○R在A上是等价关系 B:R也是A上的偏序关系 C:R的逆关系是A上的等价关系 D:R也是A上的相容关系 6.设≤是集合A上一个偏序关系且x, y是A中两个不同元素。若y盖住x，则下列说法正确的是（ ）。
A:A中必存在一个不同于x和y的元素z，使得x≤z且z≤y B:在≤的哈斯图中，x所对应的节点位于y所对应的节点的上方 C:{x, y}的上确界必是y，下确界必是x D:y≤x
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
