使用单位应对每台提升机建立设备技术档案备查,其内容应包括()。
A. 验收
B. 检修
C. 安装
D. 试验
E. 事故情况
下列属于建筑施工企业专职安全生产管理人员安全生产管理能力考核要点的是()。
A. 能有效组织和督促本工程项目安全生产工作,落实安全生产责任制
B. 能保证安全生产费用的有效使用
C. 能认真贯彻执行国家安全生产方针、政策、法规和标准
D. 能有效对安全生产进行现场监督检查
E. 能及时、如实报告生产安全事故
下列式子不是谓词合式公式的是()
A. ("x)P(x)→R(y)
B. ("x) ┐P(x)Þ("x)(P(x)→Q(x))
C. ("x)($y)(P(x)∧Q(y))→($x)R(x)
D. ("x)(P(x,y)→Q(x,z))∨($z)R(x,z)
设论域为{1,2},与公式("x)A(x)等价的是()
A(1)∨A(2)
B. A(1)→A(2)
C. A(1)∧A(2)
D. A(2)→A(1)