【判断题】
“学习有如逆水行舟，不进则退”。设P：学习如逆水行舟，Q：学习进步，R：学习退步。则命题符号化为P∧(﹁Q→R)
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
P、Q、R定义同上题，则“学习有如逆水行舟，不进则退”形式化为：P→(﹁Q→R)
【判断题】
设P、Q是两个命题，当且仅当P、Q的真值均为1时，PQ的值为1
【判断题】
命题公式(P∧(P→Q))→Q是矛盾式
【判断题】
命题公式(P∧(P→Q))→Q是重言式
【判断题】
在命题的演算中，每个最小联结词组至少有两个联结词
【判断题】
命题联结词集{﹁,∧,∨}是最小联结词集
【判断题】
命题联结词集{↑}和{↓}都是最小联结词集
【判断题】
A是命题公式，A与(A*)*互为对偶式
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (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. 脚手架
B. 基坑边坡
C. 生活区
D. 安全防护设施
【多选题】
高大模板支撑工程的专项施工方案应组织专家（ ）。
【多选题】
向坑槽内运送材料时，坑上坑下应统一指挥，使用（ ）向下放料。
【多选题】
模板安装时，（ ）应有固定支架，支架应牢固可靠。
A. 地脚螺栓
B. 围栏
C. 脚手架
D. 插入式角钢
【多选题】
作业人员应佩戴工具袋，作业时将（ ）等小物品放在工具袋内，后将工具袋吊下，不得抛掷。
A. 螺栓
B. 螺帽
C. 垫块
D. 销卡
E. 扣件
【多选题】
多人抬运钢筋时，应有统一指挥，（ ）等动作一致。
【多选题】
浇筑中应随时检查（ ）的牢固情况，发现问题，及时处理。
A. 模板
B. 脚手架
C. 钢筋绑扎
D. 钢筋焊接
【多选题】
预留孔洞、基槽等处，应按规定设置（ ）。
A. 盖板
B. 围栏
C. 消防器材
D. 安全标示牌
【多选题】
每日开工下孔前应检测孔内空气。当存在（ ）时，应首先排除，不得用纯氧进行通风换气。
A. 有毒气体
B. 有害气体
C. 氮气
D. 氧气
【多选题】
人工挖孔桩基础施工时，提土斗可使用（ ）作为工具。
A. 软布袋
B. 竹篮
C. 钢制斗
D. 铁制斗
【多选题】
固定构架的临时拉线应满足（ ）规定。
A. 应使用钢丝绳
B. 不得使用白棕绳等
C. 固定在同一个临时地锚上的拉线最多不超过两根
D. 固定在同一个临时地锚上的拉线最多不超过四根
【多选题】
组塔作业前，应检查抱杆（ ）、连接螺栓紧固等情况，判定合格后方可使用。
【多选题】
索道的（ ）应严格遵守GB 12141《货运架空索道安全规范》、GB 50127《架空索道工程技术规范》、DL 5009.2《电力建设安全工作规程 第2部分：电力线路》及有关技术规定。
A. 设计
B. 安装
C. 检验
D. 运行
E. 拆卸
【多选题】
索道架设完成后，需经（ ）安全检查验收合格后才能投入试运行，索道试运行合格后，方可运行。
A. 设计单位
B. 使用单位
C. 监理单位
D. 建设单位
【多选题】
滚动杆段时滚动（ ）不应有人。杆段（ ）移动时，应随时将支垫处用木楔掩牢。
【多选题】
金属抱杆出现（ ）情况时不得使用。
A. 局部弯曲严重
B. 磕瘪变形
C. 表面腐蚀
D. 裂纹
E. 脱焊
【多选题】
邻近带电体整体组立杆塔的（ ）安全距离应（ ）倒杆距离，并采取防感应电的措施。
【多选题】
内悬浮内（外）拉线抱杆分解组塔时，应视构件结构情况在其上、（ ）部位绑扎控制绳，下控制绳（也称攀根绳）宜使用（ ）。
【多选题】
提升（顶升）抱杆时，不得少于（ ）腰环，腰环固定钢丝绳应呈（ ），同时应设专人指挥。
A. 两道
B. 水平并收紧
C. 三道
D. 平行
【多选题】
抱杆就位后，四侧拉线应（ ），组塔过程中应有专人值守。
【多选题】
吊件离开地面约（ ）时应暂停起吊并进行检查，确认正常且吊件上无搁置物及人员后方可继续起吊，起吊速度应（ ）。
A. 100mm
B. 600mm
C. 均匀
D. 缓慢
【多选题】
木质跨越架所使用的杉木杆，出现（ ）等情况的不得使用。
A. 木质腐朽
B. 变色
C. 损伤严重
D. 弯曲过大
【多选题】
附件安装完毕后，方可拆除跨越架。（ ）跨越架应自上而下逐根拆除，并应有人传递，不得抛扔。不得上下同时拆架或将跨越架整体推倒。
【多选题】
人力及机械牵引架线时，除应在杆塔处设监护人外，对被跨越的（ ）和人畜较多处均应派专人监护。
A. 房屋
B. 路口
C. 河塘
D. 裸露岩石
E. 跨越架
【多选题】
牵引绳与导线、地线（光缆）连接应使用（ ）。
A. 专用连接网套
B. 专用牵引头
C. 挂胶滚动横梁
D. 防护栅栏
【多选题】
牵引过程中发生（ ）跳槽、走板翻转或平衡锤搭在导线上等情况时，应停机处理。
A. 导引绳
B. 牵引绳
C. 导线
D. 拉线
【多选题】
在跨越（ ）等的线段杆塔上安装附件时，应采取防止导线或地线坠落的措施。
A. 电力线
B. 铁路
C. 公路
D. 通航河流
【多选题】
同杆塔架设有多层电力线时，验电应（ ）。
A. 先验低压、后验高压
B. 先验高压、后验低压
C. 先验下层、后验上层
D. 先验上层、后验下层
E. 无顺序要求
【多选题】
施工作业票的种类（ ）。
A. 施工作业A票
B. 施工作业B票
C. 施工作业C票
D. 专业承包商通用作业票
【多选题】
填用一张施工作业票应具备下列哪些条件（ ）。
A. 同一工作负责人和施工班组负责施工
B. 同一区域
C. 同一类型
D. 不同类型
【多选题】
动火作业包括（ ）。
A. 在禁火区进行焊接与切割作业
B. 构支架安装
C. "在易燃
D. 炽热表面的临时性作业
【多选题】
下列哪些情况需填电力线路第一种工作票（ ）。
A. 在停电线路或同杆（塔）架设多回线路中的部分停电线路上的工作
B. 邻近电力线路而需采取停电措施的其他工作
C. 直流线路上不需要停电的工作
D. 在直流接地极线路或接地极上需要停电的工作
【多选题】
在工作中遇（ ）、（ ）、（ ）或（ ）威胁到工作人员安全的情况时，工作负责人或专责监护人可根据情况，临时停止工作。
【多选题】
电力线路工作票上工作内容填写应做到（ ）。
【多选题】
生产经营单位应当具备本法( )规定的安全生产条件;不具备安全生产条件的，不得从事生产经营活动。
A. 有关法律
B. 行政法规
C. 国家标准
D. 行业标准
【多选题】
设计单位应当按照（ ）进行设计，防止因设计不合理导致生产安全事故的发生。
A. 法律
B. 法规
C. 工程建设强制性标准
D. 以上都对
【多选题】
出租的机械设备和施工机具及配件，应当具有生产（制造） （ ）。
A. 许可证
B. 产品合格证
C. 行车证
D. 操作证
【多选题】
使用承租的机械设备和施工机具及配件的( )共同进行验收。
A. 施工总承包单位
B. 分包单位
C. 出租单位
D. 安装单位
【多选题】
施工单位的（ ）应当经建设行政主管部门或者其他有关部门考核合格后方可任职。
A. 主要负责人
B. 项目负责人
C. 专职安全生产管理人员
D. 技术负责人
