【判断题】
公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
同一谓词公式，指定不同的论域，其真值不一定相同
【判断题】
谓词公式(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，则*是可结合的
【判断题】
在一个代数系统中，若一个元素的逆元是惟一的，则运算必定是可结合的
推荐试题
【填空题】
4. CRH380A统型动车组闸片两侧间 隙之和应为___mm±1.6，允许单侧虚抱。
【填空题】
5. CRH380A统型动车组轴箱定位装 置采用___式定位方式。
【填空题】
6. CRH380A统型动车组基础制动装 置采用 RZKK 型气动式制动夹钳 以及___式闸片。
【填空题】
7. CRH380A统型动车组磁铁栓是通 过___来收集齿轮箱内的金属 磨耗粉等的装置。
【填空题】
8. CRH380A统型动车组车辆信息显 示器的画面根据动作模式，可大 体分为___,检修状态,诊断状态 。
【填空题】
9. CRH380A 统型动车组车辆信息显示器在通常状态下有司机模式菜 单、___、记录模式菜单。
【填空题】
10. CRH380A 统型动车组配电盘设备布置车辆控制用的开关、继电器、___等电气元件及控制装置。
【填空题】
11. 当CRH380A统型动车组车辆信息 控制装置检测到___km/h 以上 的速度时，侧面目的显示器无显示。
【填空题】
12. CRH380A统型动车组各个中央装 置及终端装置间的传送途径是由 光纤连接，为___结构。
【填空题】
13. 动车组报“准备未完”的条件为 ___失电或 ACMGVR2 失电。 ___
【填空题】
14. CRH380A统型动车组时速70km以 下，BV 手柄___级 以上，时速 70km 以上 BV 手柄 7 级以上，ATP 施加常用制动、列车施加紧急制 动时，会进行制动力不足检测。
【填空题】
15. 为实现不同车型的相互救援要 求，CHR380A{统型}动车组在头尾 车设置了___，根据制动档位的 不同输出对应的列车管压力。
【填空题】
16. CRH380A 统型动车组空调装置高 压压力开关的动作的原因是___或室外滤网污损。
【填空题】
17. CRH380A 型动车组真空集便系统主要由污物箱{含中转箱及真空发生器}、便器、___、气动控制单元、电气控制单元、管路等组成。
【填空题】
18. CRH380A 统型动车组，在运行途 中 AC220V 供电电路失电，导致小 卖部设备，电源插座等无电，是 由于___ 跳闸造成的。
【填空题】
19. CRH380A 统型动车组空调机组分 为室外部分、室内部分和___。
【填空题】
20. 真空断路器 、___、蓄电池接触器三个NFB断开时，MON出库信息画面会报“配电盘 NFB 关”。
【填空题】
21. CRH380A 统型动车组换气装置主要由换气装置本体及___构 成。
【填空题】
22. 在救援平台动车组时，___将制动用的电气指令转换为列车管压力信号，向其他动车组输出。
【填空题】
23. CRH380A 统型动车组空调显示设 定器有 “通常模式”和“___” 两种使用模式。
【填空题】
24. CRH380A 统型动车组保护接地开 关内部是由操作气缸、___、辅助开关以及加热器、外部是由装 备有锭杆的机构箱和固定接头部分构成的。
【填空题】
25. CRH380A 动车组牵引控制器的换 向手柄操作力不大于___N。
【填空题】
26. CRH380A 动车组在途硌伤超限动 车组需继续运行时，由车辆部门 对能否继续运行及运行速度提出意见，但最高运行时速不得超过___公里。
【填空题】
27. CRH380A 型动车组重联时，两列 动车组的间距应大于___米。
【填空题】
28. 救援 CRH380A 动车组以不大于 ___km/h 的速度连挂，连挂后试 拉，确认车钩连接良好。
【填空题】
29. CRH380A 型动车组运行速度达到 ___km/h 时，警惕功能开始启用。
【填空题】
30. CRH380A 型动车组履历信息分为 车组级、___和关键配件级三个 层次。
【填空题】
31. CRH380A 统型动车组，每列车配 置___个铁鞋，止轮器由铁路局 根据使用需要自行配备。
【填空题】
32. CRH380A 型动车组解编时动车组 机械师通知主控车司机以低于 5km/h 的速度离开连挂面，逐步释 放车钩，在不小于___米处停车。
【填空题】
33. CRH380A 动车组受电弓弓角磨损 表 面 纵 向 磨 损 宽 度 不 超 过___mm。
【填空题】
34. CRH380A 动车组受电弓静态接触 压力上升及下降过程中同一高度 点力的差值≤___N。
【填空题】
35. CRH380A 动车组受电弓静态接触 压力{下降}≤___N。
【填空题】
36. CRH380A 动车组受电弓静态接触 压力{上升}≥___N。
【填空题】
37. CRH380A动车组抗侧滚扭杆轴承、 橡胶关节裂 纹 面 积 之 和 ≤___mm2，不得存在贯通裂纹或损伤。
【填空题】
38. CRH380A 动车组车轮原形 860mm，车轮轮径减少___mm 时，必须在空气弹簧处加垫调整，保证车辆限界要求。
【填空题】
39. CRH380A 动 车 组 闸 片 限 度 为___mm。
【填空题】
40. CRH380A 动车组一级修时车轮直 径大于等于___mm。
【填空题】
41. CRH380A 动车组二级修测量轮对 内侧距范围为___mm 至 ___mm。
【填空题】
42. CRH380A 动车组轮对轮缘厚度的 原型为___mm。
【填空题】
43. CRH380A 动车组撒砂装置喷嘴距轨面头车的一级修作业时范围是___mm 至___mm。
