【单选题】
设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的?___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
查看试卷,进入试卷练习
微信扫一扫,开始刷题
相关试题
【单选题】
设C(x):x是运动员,G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设Z(x):x是整数,N(x):x是负数,S(x,y):y是x的平方,则“任何整数的平方非负”可表示为下述谓词公式:___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为:___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域A={a,b},公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中:P(a)是( x)P(x)的有效结论,其理论根据是___。
A. 全称规定规则(US)
B. 全称推广规则(UG)
C. 存在规定规则(ES)
D. 存在推广规则(EG)
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6},则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
在0________Φ之间填上正确的符号。 ___
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)·f2(x)=0的解为___。
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A},则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的,对称的
D. 反自反的,传递的
【单选题】
设S={1,2,3},下图给出了S上的两个关系R1,R2,则复合关系 是___。
A. 自反的
B. 传递的
C. 对称的
D. 等价的
【单选题】
设A={1,2,3,4,5},ρ={<i,j>| i<j,i,j∈A},则 的性质是___。
A. 对称的
B. 自反的
C. 反对称的
D. 反自反、反对称、传递的
【单选题】
设集合A={a,b,c},R是A上的二元关系,R={<a,a>,<a,b>,<a,c>,<c,a>},那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
设R和S是集合A上的等价关系,则R∪S的对称性___。
A. 一定成立
B. 一定不成立
C. 不一定成立
D. 不可能成立
【单选题】
设R和S是非空集合A上的等价关系,下述各式是等价关系的为___。
A. (A×A)-R
B. R2
C. R-S
D. r(R-S)
【单选题】
集合A上的关系R是相容关系的必要条件是___。
A. 自反、反对称的
B. 反自反、对称的
C. 传递、自反的
D. 自反、对称的
【单选题】
设R是集合A上的偏序关系, 是R的逆关系,则R∪ 是___。
A. 偏序关系
B. 等价关系
C. 相容关系
D. 都不是
【单选题】
设集合A中有4个元素,则A上的不同的等价关系的个数为___。
A. 11个
B. 14个
C. 15个
D. 17个
【单选题】
设A={a,b,c},B={1,2},令f: A→B,则不同的函数的个数为___。
A. 2+3个
B. 23个
C. 2×3个
D. 32个
【单选题】
函数的复合满足___。
A. 交换律
B. 结合律
C. 幂等律
D. 分配律
【单选题】
若f, g是满射,则复合函数 必是___。
【单选题】
若 是满射,则___。
A. f必是满射
B. f必是单射
C. g必是满射
D. g必是单射
【单选题】
f: Z→Z,对任意的i∈Z,有f(i)=i(mod8),则f是___。
A. 不是双射
B. 单射
C. 满射
D. 双射
【单选题】
Z是整数集合,函数f定义为:f:Z→Z,f(x)=| x |-2x,则f是___。
A. 单射
B. 满射
C. 双射
D. 非单射也非满射
【单选题】
设S={a,b},则S上总共可定义的二元运算的个数是___。
【单选题】
下列运算中,哪种运算关于整数集不能构成半群? ___
【单选题】
Q是有理数集,<Q,*>(其中*为普通乘法)不能构成___。
A. 群
B. 独异点
C. 半群
D. 交换半群
【单选题】
R为实数集,运算*定义为:a,b∈R, a*b=a·| b |,则代数系统<R,*>是___。
A. 半群
B. 独异点
C. 群
D. 阿贝尔群
【单选题】
下列代数系统<S,*>中,哪个是群?___。
A. S={0,1,3,5},* 是模7加法
B. S=Q(有理数集合),* 是一般乘法
C. S=Z(整数集合),* 是一般减法
D. S={1,3,4,5,9},* 是模11乘法
【单选题】
具有如下定义的代数系统<G,*>,哪个不构成群?___
A. G={1,10},* 是模11乘法
B. G={1,3,4,5,9},* 是模11乘法]
C. G=Q,* 是普通加法
D. G=Q,* 是普通乘法
【单选题】
任何一个有限群在同构的意义下可以看作是___。
A. 循环群
B. 置换群
C. 变换群
D. 阿贝尔群
【单选题】
设H,K是群<G, >的子群,下面哪个代数系统仍是<G, >的子群?___
A. <HK, >
B. <H∩K, >
C. <K-H, >
D. <H-K, >
【单选题】
任意一个具有多个等幂元的半群,它___。
A. 不能构成群
B. 不一定能构成群
C. 必能构成群
D. 能构成交换群
【单选题】
设Z是整数集合,+是一般加法,则下述函数中哪一个不是群<Z,+>的自同态? ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
群<R,+>与<R-{0},×>之间的关系是___。
A. 同态
B. 同构
C. 后者是前者的子群
D. B,C均正确
【单选题】
若<H,*>是<G,*>的真子群,且| H |=n, | G |=m,则有___。
A. n整除m
B. m整除n
C. n整除m且m整除n
D. n不整除m且m不整除n
推荐试题
【单选题】
应答器天线的安装,天线左右侧面与金属物件的最小垂直距离是___mm。
A. 200
B. 300
C. 400
D. 500
【单选题】
如果应答器天线直接安装在金属上,则应答器的金属附近的边缘不能超过应答器边缘___mm。
【单选题】
下列不用考虑道岔区段轨道条件,也能操纵道岔的情况是___。
A. 站控状态下的现场控制
B. 应急状态下的现场控制
C. 排列进路
D. 单操道岔
【单选题】
道岔表示变压器一、二次侧电压为___V。
A. 220/220
B. 220/110
C. 110/70
D. 110/110
【单选题】
TYJL-II型联锁系统采集与驱动总线受控于___。
A. STD1604I/O板
B. NSTD-01板
C. AS-1板
D. 主控板
【单选题】
单轨系统备机事故继电器只在___状态下驱动。
【单选题】
单轨系统监控架在显示机械室集中控制范围的所有环线的列车___状态、( )显示、( )方向、( )的同时,还进行信号保安设备的( )。
A. 信号显示、列车行进方向、故障表示、占用状态、进路
B. 故障表示、占用状态、进路、列车行进方向、信号显示
C. 占用状态、信号显示、列车行进方向、进路、故障表示
D. 占用状态、进路、列车行进方向、信号显示、故障表示
【单选题】
当列车已驶入进路并通过后,进路始端没解锁,此时可使用___方式,将进路的始端解锁。
A. 人工解锁
B. 总取消
C. 区段解锁
D. 总解锁
【单选题】
为防止相互干扰,信号机、电动转辙机以及轨道电路送、受电端用电缆原则上不应共用同一根电缆中的芯线,应考虑___。
A. 分缆设置
B. 捆绑设置
C. 分开设置
D. 独立设置
【单选题】
信号系统CTC中心在遥控状态下,可以办理以下___作业。
A. 紧急停车和复原
B. 始终端按钮方式办理进路和取消进路
C. 区段人工解锁
D. 实现临时限速的设定
【单选题】
继电器运用中规定的端电压或电流值称为___。
A. 参数
B. 额定值
C. 功率值
D. 电压值
【单选题】
信号工在更换钢轨绝缘时,需将接头夹板鱼尾板取掉,使线路暂时断开,因此要征得___部门的同意,并由他们负责防护。
【单选题】
天线电缆安装完毕需进行___V绝缘测试。
A. 200
B. 250
C. 500
D. 750
【单选题】
信号机械室室内网格地线设置于___下,在设备安装前进行安装。
A. 防静电地板
B. 墙角
C. 室内
D. 设备
【单选题】
对照配线图时要按照___的顺序。
A. 从左到右、自上而下左,自下而上
B. 从右到左,自上而下
C. 从左到右、自下而上
D. 从右到左,自下而上
【单选题】
下列哪项不属于信号平面布置图的内容。___
A. 信号机的布置
B. 分隔轨道区段的全部轨端绝缘节
C. 列车型号
D. 侵入限界的绝缘节处的警冲标位置
【单选题】
在下列继电器中不是靠微机驱动励磁的是___。
A. 编码左方向继电器
B. 编码继电器
C. 信号继电器
D. 紧急停车继电器
【单选题】
ZDJ9 转辙机的推板套水平直线运动,推动安装在___上的锁块,在锁闭铁的辅助下使动作杆水平运动,完成道岔的锁闭功能。
A. 锁闭杆
B. 动作杆
C. 锁闭铁
D. 推板套
【单选题】
信号机的设置位置的确定按照哪种限界标准。___
A. 建筑限界
B. 设备限界
C. 触网限界
D. 车辆限界
【单选题】
以下___机柜一定会用到COMSC模块。
A. DOB
B. MTB
C. SRB
D. CDB
【单选题】
联锁机动态电源DKZ、DKF,A机工作和B机工作时输出的极性相反是依靠___继电器的动作来实现。
A. AFR
B. ISWR
C. ASWR
D. BSWR
【单选题】
联锁系统采集的ATP设备报警电路来自___。
A. 轨道架
B. ATP/TD收发信架
C. CH分配架
D. 监控架
【单选题】
联锁B机运行一段时间后,此时处于励磁吸起的继电器是___。
A. ASWR
B. BSWR
C. ISWR
D. AFR
【单选题】
信号设备的任何部分均不得侵入建筑接近限界;其轨道梁中心距信号设备的突出边缘应不得小于___ mm。
A. 1550
B. 1650
C. 1750
D. 1850
【单选题】
联锁机与监控机之间是采用___卡与( )卡通信。
A. STD—01,STD—01
B. STD—01,RS422
C. STD—01,PC—01
D. RS422, PC—01
【单选题】
车辆段的应急盘在哪种情况下使用___。
A. 联锁机故障
B. 区段故障
C. 单元台故障
D. 鼠标台故障
【单选题】
当预置按钮打到预置位置时,___继电器将吸起。
A. TDHR
B. TINR
C. TOUTR
D. CCR
【单选题】
下列哪个不是地铁车辆段信号控制系统的功能。___
A. 进路控制
B. 维修管理
C. 列车编组
D. 车辆调度
【单选题】
以下说法错误的是___。
A. 微机联锁设备在双机热备同步状态时,主、备机的事故继电器ASGJ、BSGJ)应处在励磁吸合状态
B. 微机联锁设备若备机尚未处在同步状态下,备机的事故继电器应处于吸起状态
C. 联锁设备停电后,当电源停电恢复时,进路中已锁闭的轨道区段不应错误解锁
D. 调度集中设备故障时,不导致车站联锁设备和区间闭塞设备的错误动作
【单选题】
城市轨道交通信号系统的功能与铁路一样,主要包括联锁、闭塞、列车控制和___四个方面。
A. 车载
B. 列车运行
C. 调度指挥
D. 编组
【单选题】
联锁主、备机不能联机可能故障部位,不应该考虑的是___。
A. 切换手柄不在自动位置
B. 主备机通信线故障
C. STD1604I/O接口板故障
D. 备机设备有故障
【单选题】
微机联锁___故障不会影响微机联锁机运行。
A. 驱动层
B. 采集层
C. CPU
D. 报警板
【单选题】
交流转辙机表示功能的完成是由___接点座组成,表示杆共同完成。
A. 动作杆
B. 推板
C. 动作板
D. 滚轮
【单选题】
ZD6 转辙机由减速器输出轴通过___带动旋转主轴。
A. 速动片
B. 联轴器
C. 连接板
D. 起动片
【单选题】
城市轨道交通信号系统由___和车辆检修基地信号系统两大部分组成,用于列车进路控制。
A. 轨旁信号系统
B. 列车运行自动控制系统(ATC)
C. 车载信号系统
D. 车站信号系统
【单选题】
短轨道电路的长度应在___。
A. 5m以下
B. 50m以下
C. 500m以下
D. 1000m以下
【单选题】
以下___机柜一定会用到COM模块。
A. CDB
B. MTB
C. DOB
D. SRB