【判断题】
公式(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是任意集合，则P(A-B)=P(A)-P(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也是可约的
【判断题】
设*是S上的可结合运算，若a∈S是可约的，则a也是可逆的
【判断题】
设<A,,* >是一个代数系统，对于任意的a,b∈A，有ab=a，而*是A上的任意二元运算，则*对不一定是可分配的
【判断题】
<S,*>是独异点，a,b∈S，且a,b均有逆元，则(a*b)-1=a-1*b-1
【判断题】
<S,*>是可交换独异点，T={x|x∈S,x*x=x}，则T也是独异点
【判断题】
有单位元且适合消去律的有限半群一定是群
【判断题】
<G,*>是独异点，e是单位元，若对任意的a∈G，有a*a=e，则<G,* >是Abel群
【判断题】
设<G,*>是一个半群，若存在单位元且每个元素都有右逆元，则<G,*>是群
推荐试题
【判断题】
东风7C型机车柴油机的排气管路是按照脉冲增压设计的,三个气缸连接一根排气管，六个气缸连接一个增压器。
【判断题】
东风7C型机车QBD1通过WHK2控制正转或反转,正转是为了在柴油机启动时向柴油机各润滑部位供油,反转是为了把机油抽回油底壳,便于洗清滤清器。
【判断题】
东风7C型内燃机车上装有4个油压继电器YK1、YK2、YK4、YK8。
【判断题】
东风7C型机车当柴油机转速≥800r/min时，DUK将YK1、YK2串入机组保护电路，起保护作用。
【判断题】
东风7C型内燃机车上的QBD2能正转和反转。
【判断题】
东风7C型机车当充电电流超过100A时,会自动转入固定发电工况。
【判断题】
东风7C型机车QD发电正常,但电流表显示为零,电压表显示110V,则为RD2熔断或RC开焊。
【判断题】
东风7C型机车运行中J10误动作，会造成QD不发电。
【判断题】
东风7C型机车运行中ZK1跳开会造成柴油机卸载。
【判断题】
东风7C型机车牵引发电机的型式为：他励、强迫通风、三相交流同步牵引发电机。
【判断题】
东风7C型机车高压保安阀装于总风缸出风管上，当压力继电器失灵，泵风压力超过950kPa时，高压保安阀开启泄压。
【判断题】
东风7C型机车通过最小曲线半径为120m。
【判断题】
东风7C型机车转向架采用八点支承油浴式旁承。
【判断题】
当柴油机窜燃气使曲轴箱内压力大于600Pa时，差式压力计CY闭合，差压继电器J3得电并自锁，切断RBC及DLS，使柴油机卸载，并有报警红灯显示。
【判断题】
东风7C型机车柴油机增压器涡轮靠电机推动旋转,经转子轴驱动压气机工作。
【判断题】
东风8B型内燃机车空气滤清系统滤清时的途径为：外界空气→一级滤清(惯性式空气滤清器)→二级滤清(铝板网滤清器组)→增压器。
【判断题】
东风8B型机车的机油系统分为柴油机机油系统和机车机油系统，其中柴油机系统主要由机油热交换器、机油滤清器、启动机油泵等组成。
【判断题】
东风8B型内燃机车机械传动装置主要由前、后变速箱、万向轴、弹性联轴节组成。
【判断题】
东风8B型内燃机车液压系统有6只油缸与液压马达相并联，并与液压马达同步工作，控制百叶窗的开启。
【判断题】
东风8B型机车的控制用风系统用来供给电气系统中的磁场削弱、制动接触器、电空阀及转换开关电空阀等电器的动力风缸用风。
【判断题】
东风8B型内燃机车前变速箱采用浸浴式飞溅、油雾润滑。
【判断题】
东风8B型内燃机车主电路中，用于检测电枢回路电流和电阻制动励磁电流的电流传感器为9LH～10LH。
【判断题】
微机励磁工况下，DK置“微机”位时，如漏电电流大于950A，微机限制主发由电机功率为0。
【判断题】
FSJ两个线圈中电流差达到50A时，FSJ动作。
【判断题】
东风8B型内燃机车启动发电机通过微机辅机板EXP控制其励磁电流来控制其输出电压使之恒定为96V。
【判断题】
微机励磁工况下，同步主发电机功率修正值由油马达功调电阻小白点位置决定。
【判断题】
主发电机电压高于1100V时，则机车功率被限制为0。
【判断题】
如果牵引电动机磁场电流小于800A，则主发电机电压限制在60V内。
【判断题】
东风8B型内燃机车接地电流在30min时间内连续大于500mA，则主发电机功率限制为0。
【判断题】
微机励磁工况时，由油马达滑动端对负端电压和高端电压的比值作为功调修正系数
【判断题】
东风11型内燃机车辅助传动装置前变速箱有5根传动轴。主动轴与万向轴刚性连接，经两根惰轮轴分别带动左、右两根从动轴。
【判断题】
东风11型内燃机车辅助传动装置前变速箱右从动轴前端经尼龙绳联轴器与同步主发电机、主硅整流柜通风机相连，且通过传动法兰上的皮带轮带动测速发电机。
【判断题】
东风11型内燃机车辅助传动装置前变速箱设置2根惰轮轴是为了减小输入、输出轴之间的中心距。
【判断题】
架悬式驱动装置具有足够的径向扭转刚度，保证驱动装置牵引时的粘滑振动稳定性。
【判断题】
架悬式驱动装置的牵引电动机、牵引齿轮副等驱动零部件全悬于转向架上，工作条件改善，故障极低。
【判断题】
架悬式驱动装置在机车起动时，电机能先于轮对转过一微小角度，不利于电机启动换向条件。
【判断题】
东风11型内燃机车在微机励磁工况下，司机室微机显示屏CDID显示“主回路接地”，如漏电电流在500~950mA之间时间超过30min或在30min内检测到3次，微机同样限制主发输出功率为零。
【判断题】
东风11型机车在牵引工况下运行，且速度高于3km/h，如果发生空转，可以自动撒砂；如继续空转，则开始降功，每空转一次降低当时功率的20%。
【判断题】
东风11型机车冷却水装载量为1200kg。
【判断题】
东风11型机车在组装弹簧时，同一转向架各个轴箱弹簧工作高度差允许差为5mm。
