相关试题
【判断题】
谓词公式(x)P(x)(y)﹁P(y)是矛盾式
【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ
【判断题】
设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ
【判断题】
设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
【判断题】
设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系
【判断题】
设人的集合A上的朋友关系为R，则R是A上的相容关系
【判断题】
若集合A上的关系R是对称的，则Rc也是对称的
【判断题】
设<N,*>是代数系统，其中N为自然数集，*为二元运算，定义为：对任何的a,b∈N，有a*b=a，则*是可结合的
【判断题】
在一个代数系统中，若一个元素的逆元是惟一的，则运算必定是可结合的
【判断题】
设*是S上的可结合运算，若a∈S是可逆的，则a也是可约的
推荐试题
【单选题】
凡遇列车中某一车辆制动机发生故障,不能及时修复或因车辆装载的货物规定需停止使用该车制动机等情况时,可以关闭___,同时拉动缓解阀。
【单选题】
一辆车的___,就是在制动管一定的减压速度下经过一定的时间或一定的减压量,制动机必须发生制动作用。
【单选题】
制动管经排气口向大气排气时，制动管中的压力降将沿着列车长度___逐次传播，就是空气波。
A. 由后向前
B. 由中间到两端
C. 由前向后
【单选题】
LKJ-2000监控装置采用___工作方式。
【单选题】
LKJ-2000型监控记录装置事故状态记录器（黑匣子）在机车走行距离每变化___m所有内容记录一次。
【单选题】
预设安全距离为20m时，紧急制动时的速度为80km/h，那么停车后的安全距离是___m。
【单选题】
LKJ-2000型监控记录装置上电自检后，显示器进入主界面显示状态，两端操作___。
【单选题】
LKJ-2000监控装置在正常监控状态下，可用【↓】【↑】方向键调整屏幕亮度，共有___个亮度等级 。
【单选题】
LKJ-2000监控装置在机车出库时，司机必须按压[调车]键，进入调车状态，此时限速窗口显示___km/h。
【单选题】
LKJ-2000监控装置机车距信号机还有一段距离，但距离显示值提前进入零显示，这种零显示出现在信号机之前的过机误差称为___。
【单选题】
LKJ-2000型监控记录装置在机车运行中按压___键，装置记录下此刻的公里标及时间，作为运行数据查找标记。
【单选题】
LKJ-2000型监控记录装置当装置发生防溜报警时一次按压___键。
【单选题】
LKJ-2000型监控记录装置,列车运行过程中按压【向前】键，调整___误差。
【单选题】
LKJ-2000型监控记录装置，运行中当过机误差___300m时，装置可以自动校正。
【单选题】
LKJ-2000型监控记录装置查询当前揭示信息，显示机车前方___米以内的揭示。
【单选题】
LKJ-2000型监控记录装置设定参数查询时在查询显示状态，将光标移到“设定参数”按压【确认】键或数字键___。
【单选题】
LKJ-2000型监控记录装置如果错误选择了某条揭示，可将光标移到该揭示项再次按压___键取消对该揭示的选择。
【单选题】
LKJ-2000型监控记录装置A.B机同时故障时，报警时间达到___min监控装置实施紧急制动。
【判断题】
电子在导体内移动时,导体阻碍电子移动的能力称为电阻,用U表示。
【判断题】
两个阻值为10Ω的电阻并联后的总电阻为20Ω。
【判断题】
因为变化的电流通过导体或线圈而产生自感电动势,自感电动势的大小和线圈形式及导线有关。
【判断题】
电器的触头是各类接触器和继电器中的关键零件,电路的接通和断开都是依靠触头的接触和分离实现的。
【判断题】
电磁式发电机按励磁方式不同,又可分为他励、并励、串励及复励发电机。
【判断题】
使用万用表之前,要检查表针是否停在“0”位,否则应调整表盘下的调“0”螺钉。
【判断题】
万用表用毕后，应将“选择开关”拨到电阻挡位上，防止两笔短接消耗表内电池。
【判断题】
机械寿命：是指电器在额定负载时不需要修理或更换零件而能承受的负载操作极限次数。
【判断题】
平波电抗器的作用主要是为了减少整流电流的脉动。
【判断题】
变压器可以改变交流电压，也可以改变直流电压。
【判断题】
有动力附挂机车是根据调度命令附挂于列车回送的有动力机车。
【判断题】
机车运转方式也叫机车运转制或机车周转方式,就是机车在交路上担当任务,往返行驶于机务段与折返(机务)段之间的运行方式。
【判断题】
机车技术速度是指机车牵引列车在区段内（不计入中间站停留时间）平均每小时走行的公里。
【判断题】
配属机车是指根据铁道部、铁路局配属命令拨交给铁路局、机务段保管、使用,涂有局、段标志并在资产台账内登记的机车。
【判断题】
铁路局所属机车无动力附挂时,可以跨牵引区段回送。
【判断题】
机车交路按区段距离分为一般机车交路和长交路。
【判断题】
牵引总重吨公里是指机车牵引列车所完成的走行公里。
【判断题】
在坐标图形的机车周转图上，用斜线表示机车的运行线,斜线与横轴线的夹角越大,表示速度越低,反之则速度越高。
