【判断题】【消耗次数:1】
对谓词公式中的变元和谓词均指定以常项,则成命题。
正确
错误
参考答案:
复制
纠错
相关题目
【判断题】 若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
①  正确
②  错误
【判断题】 若谓词公式中有变元,则一定不是命题。
①  正确
②  错误
【判断题】 谓词公式中的改名规则只针对自由变元。
①  正确
②  错误
【单选题】 谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是(   )
①  自由变元
②  约束变元
③  既不是自由变元也不是约束变元
④  既是自由变元也是约束变元
【判断题】 (AB)都是谓词公式。
①  正确
②  错误
【判断题】 命题公式中只要没有变元就是命题。
①  正确
②  错误
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【判断题】 若论域指定并且有限,则可以对谓词进行量化断言处理,得命题。
①  正确
②  错误
【多选题】 将命题“小王学过英语和法语”用0 元谓词符号化合适的有:
①  令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)ùG(a)
②  令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)ùF(b)
③  令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)ùL(a, b2).
④  令 P: 小王学过英语; Q: 小王学过法语. 符号化为PùQ。
随机题目
【多选题】 建筑起重机械安装、拆卸工程档案应当包括以下资料:
①  安装、拆卸合同及安全协议书
②  安装、拆卸工程生产安全事故应急救援预案
③  安全施工技术交底的有关资料
④  建筑起重机械登记牌
⑤  安装、拆卸工程专项施工方案
【多选题】 建筑起重机械有下列哪些情形之一的( ),出租单位或者自购建筑起重机械的使用单位应当予以报废,并同原备案机关办理注销手续。
①  属国家明令淘汰或者禁止使用的
②  超过安全技术标准或者制造厂家规定的使用年限的
③  经检验达不到安全技术标准规定的
④  没有完整安全技术档案的
⑤  没有齐全有效的安全保护装置的
【多选题】 根据《建设工程安全生产管理条例》规定,施工单位应当为作业人员提供安全防护用具和安全防护服装,并书面告知( )。
①  操作规程
②  违章操作的危害
③  使用方法
④  使用要领
⑤  赔付数量
【多选题】 施工单位应当将施工现场的( )分开设置,并保持安全距离。
①  办公区
②  生活区
③  作业区
④  道路区
⑤  消防区
【多选题】 《建设工程安全生产管理条例》规定,施工单位应当在安全生产方面做好如下几项工作( )
①  建立健全安全生产责任制度和安全生产教育培训制度
②  制定安全生产规章制度和操作规程
③  保证本单位安全生产条件所需资金的投入
④  对所承担的建设工程进行定期和专项安全检查,并做好安全检查记录
⑤  提高管理者素质
【多选题】 施工单位的项目负责人应当由取得相应执业资格的人员担任,对建设工程项目的安全施工负责,落实安全生产责任制度. 安全生产规章制度和操作规程,确保安全生产费用的有效使用,并根据工程的特点组织制定安全施工措施,消除安全事故隐患,( )报告生产安全伤亡事故。
①  暂缓
②  及时
③  如实
④  分析
⑤  查清后
【多选题】 项目负责人应根据( )的要求,采取可靠的技术措施,消除安全隐患,保证施工安全。
①  工程特点
②  施工方法
③  施工程序
④  安全法规和标准
⑤  资金财力
【多选题】 施工单位应当在施工组织设计中编制有关安全的( )。
①  安全技术措施
②  施工现场临时用电方案
③  奖励惩罚方案
④  施工经济技术措施
⑤  作业材料选购方案
【多选题】 使用单位应当自建筑起重机械安装验收合格之日起30日内,将( ? )向使用登记机关办理建筑起重机械使用登记。
①  建筑起重机械安装验收资料
②  建筑起重机械安全管理制度
③  特种作业人员名单
④  建筑起重机械的使用说明书
⑤  安全员的证件原件
【多选题】 建筑施工中通常所说的“三宝”是指( )
①  安全带
②  安全锁
③  安全帽
④  安全网
⑤  安全鞋