相关试题
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中,一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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都是相容关系
推荐试题
【判断题】
设备管理的“四懂”是指:懂结构、懂性能、懂原理、懂使用。
【判断题】
设备管理的“三会”是指:会使用、会保养、会排除故障。
【判断题】
设备管理的“十字作业”是指:清扫、润滑、紧固、调整、防腐。
【判断题】
设备缺陷按其对电网运行影响的程度分为一类缺陷、二类缺陷、三类缺陷、四类缺陷。
【判断题】
设备的巡检方式包括定期巡回检查和不定期巡回检查。
【判断题】
设备巡回检查是指为确保设备安全可靠运行,巡检人员应按规定时间、内容及路线对设备进行的检查,便于随时掌握设备的运行情况,发现问题分析原因并做出及时处理,采取必要措施将故障消灭于萌芽状态。
【判断题】
设备的一类缺陷是指设备处于异常状态,严重威胁安全运行,可能造成停电、设备损坏事故的缺陷。
【判断题】
电力电缆外皮损伤,但不影响安全运行,属于三类缺陷。
【判断题】
在记分周期内,员工安全记分不因工作调动而清除。
【判断题】
在记分周期内,员工安全记分可以因工作调动而清除。
【判断题】
承包商及人员的严重违章应对单位责任人员连带记分。
【判断题】
承包商及人员的严重违章应对单位责任人员记过处理。
【判断题】
对违反《加强直接作业环节安全管理十条措施》的行为应加重记分。
【判断题】
受到安全记分的员工不能参加安全先进评选。
【判断题】
累计记分满 3 分的员工,其当年年度个人绩效考核定档不能为优秀或良好。
【判断题】
累计记分满 9 分的员工,应离岗教育,并经考核合格后上岗。
【判断题】
累计记分满 6分的员工,应离岗教育,并经考核合格后上岗。
【判断题】
对一次性记分 12 分的员工,应给予撤职、留用察看直至解除劳动合同处分。
【判断题】
累计记分满 12 分的员工,应给予撤职、留用察看直至解除劳动合同处分。
【判断题】
安全记分不代替事故问责处理或其他安全问责处罚措施。
【判断题】
安全记分可以代替事故问责处理或其他安全问责处罚措施。
【判断题】
工会要依据《安全生产法》发挥监督作用,全过程参与安全记分管理工作。
【判断题】
安全科要依据《安全生产法》发挥监督作用,全过程参与安全记分管理工作。
【判断题】
受到安全记分的员工可以参加安全先进评选。
【判断题】
累计记分满 6 分的员工,由党委组织科、人力资源科和安全科组织安全专项教育。
【判断题】
对因安全记分所受处分有异议的,不能申请复审、复核。
【判断题】
特种作业人员和特种设备作业人员必须接受专门的安全作业培训,取得相应资格后方可上岗作业。
【判断题】
无业主人员带领,承包商人员可以进入生产厂区;监护人员不在现场,不得施工。
【判断题】
编制检维修方案中的安全技术措施时,因业主临时有事不能参加,可由承包商自行制定。
【判断题】
人力资源部门是负责作业许可审批人、监护人的资质培训和认定。
【判断题】
承包商管理人员不在现场带班、现场未成立作业班组(岗组)的,不得施工。
【判断题】
在涉硫化氢区域不配戴防护用品和硫化氢检测报警器只能短暂进入现场。
【判断题】
没有编制安全技术措施(专项施工方案)或安全技术措施(专项施工方案)缺乏针对性、不符合要求的项目,可以边施工边修订完善。
【判断题】
特殊作业以及其他危险性较大的施工现场未实施全程视频监控的不能施工,视频监控信号可以不传输至监控中心。
【判断题】
起重吊装作业、脚手架搭拆作业、试压作业等高风险作业时间周期短的可以不设置设置警戒、隔离。