【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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是任意集合，则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也是对称的
推荐试题
【判断题】
消防设备和灭火工具要有专人管理，定期检查，保持完整好用
【判断题】
LKD1-T型车站列控中心维修机中故障信息可记录20天
【判断题】
扛抬笨重物品，每人承重一般不超过60kg
【判断题】
我国铁路信号设备采用的防雷元件主要有金属陶瓷放电管、氧化管、压敏电阻、硒片等
【判断题】
敌对信号机未关闭时，防护该进路信号机不能开放，这是联锁最基本的技术条件之一
【判断题】
电气化区段通过信号机处接触线对线路中心的偏移方向宜远离信号机，使之距离达3m以上，信号机构及梯子应接安全地线
【判断题】
站内联锁设备中，同一到发线上的对向列车进路为敌对进路
【判断题】
在电力牵引区段，进站信号机柱采用8.5m的水泥机柱
【判断题】
进站信号机的位置设在车站最外方道岔尖轨(顺向为警冲标)不少于25m的地方
【判断题】
当计算机联锁设备发生故障，使用应急台操纵道岔时，允许同时使用手摇把转换道岔
【判断题】
计算机联锁具有对室内外联锁设备的检测和监测功能
【判断题】
计算机联锁机房的安全保护地线与防雷保护地线可共用
【判断题】
计算机联锁系统是以微型计算机为主要技术手段实现车站联锁的系统
【判断题】
在DS6-11计算机联锁系统中由于工作机(A机)发生硬件故障造成死机故障或人工关机，BYUJ(运行继电器)落下
【判断题】
CD-ROM利用表面的平和凹表示“0”和“1”
【判断题】
JD-1A型计算机联锁电务维修系统能记录三个月内车站运行情况
【判断题】
在JD-1A计算机联锁系统电务维修机系统网络结构图中黄色表示某机器正处于故障状态
【判断题】
计算机联锁系统使用的不间断供电电源应设双套，互为备用
【判断题】
TYJL-Ⅱ型计算机联锁系统联锁机备机联机同步时主备机间有通信联系，且主备机的控制命令和锁闭信息完全一致，自动切换时不影响现场设备状态，但信号可能恢复
【判断题】
TYJL-Ⅱ型计算机联锁系统联锁机、执表机的CPU及其接口电路的工作电源电压为5.0V±0.2V
【判断题】
为了提高微机联锁系统的安全性，系统联锁计算机的硬件结构采用双机热备的或门二重冗余系统
【判断题】
微机联锁设备采用双套互为备用系统时，若主机出现故障，系统只能手动倒向备机，而不能自动倒向备机
【判断题】
微机联锁双机系统均发生故障不能使用时允许开放引导信号但不能对咽喉实行引导总锁闭
【判断题】
当发生一、二级报警时信号微机监测系统将显示独立报警窗口，并记录报警、受理和恢复时间
【判断题】
当信号微机监测系统站机浏览某项监测信息后，在报表浏览记录中对应项目将被打勾记录
【判断题】
当信号微机监测系统广域网网络通信正常时，站机程序界面右下方状态栏的“网络通信状态”打“√”
【判断题】
信号微机监测系统是监测铁路信号设备运用状态的重要设备
【判断题】
车站系统是信号微机监测系统的一个组成部分
【判断题】
TJWX-2000型微机监测系统采集机对开关量的采集采用非周期的巡测方式
【判断题】
在TDCS站机软件中选择“调度命令”菜单中调度命令查询可实现调度命令查询
【判断题】
信号微机监测系统可发现人为违章封连KJ第6组接点
【判断题】
VPI型计算机联锁系统工作机故障修复后必须按压同步按钮方可实现与工作机同步
【判断题】
计轴设备输入电源断电50分钟之内设备应正常工作
【判断题】
AzL90-3型计轴设备计轴器的机箱应接地
【判断题】
ZP30CA型计轴设备室内的计轴检测盒可以给出各种故障提示
