【单选题】
令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为:___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
查看试卷,进入试卷练习
微信扫一扫,开始刷题

答案
B
解析
暂无解析
相关试题
【单选题】
设个体域A={a,b},公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中:P(a)是( x)P(x)的有效结论,其理论根据是___。
A. 全称规定规则(US)
B. 全称推广规则(UG)
C. 存在规定规则(ES)
D. 存在推广规则(EG)
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6},则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A},则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的,对称的
D. 反自反的,传递的
【单选题】
设集合A={a,b,c},R是A上的二元关系,R={<a,a>,<a,b>,<a,c>,<c,a>},那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
下列代数系统<S,*>中,哪个是群?___。
A. S={0,1,3,5},* 是模7加法
B. S=Q(有理数集合),* 是一般乘法
C. S=Z(整数集合),* 是一般减法
D. S={1,3,4,5,9},* 是模11乘法
【单选题】
具有如下定义的代数系统<G,*>,哪个不构成群?___
A. G={1,10},* 是模11乘法
B. G={1,3,4,5,9},* 是模11乘法]
C. G=Q,* 是普通加法
D. G=Q,* 是普通乘法
【单选题】
设Z是整数集合,+是一般加法,则下述函数中哪一个不是群<Z,+>的自同态? ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
下面哪个集合关于指定的运算构成环? ___
A. ,关于数的加法和乘法
B. {n阶实数矩阵},关于矩阵的加法和乘法
C. ,关于数的加法和乘法
D. ,关于矩阵的加法和乘法
推荐试题
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,旧轨件未明确调拨地点者,可按以下原则编列:①已明确调拨的铁路局,但未明确调拨地点者,则由___起算;②未明确调拨的铁路局者,则按工程所在地区的铁路局所在地的车站起算。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,若设计为临时占地取填料,其发生的租用土地、青苗补偿、拆迁补偿、复垦及其他所有与土地有关的费用等纳入___。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,风沙地区施工增加费内容包括___,材料费,人工、机械降效增加的费用,风力预警观测设施费用,以及积沙、风蚀的清理修复等费用。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,计算机软件开发与购置费。指购买计算机硬件所附带的单独计价的软件,或需另行开发与购置的软件所需的费用。不包括项目___工作所需软件。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,路桥分界:不设置路桥过渡段时,桥台后缺口填筑属___范围,设置路桥过渡段时,台后过渡段属路基范围。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,单项概算编制综合概算和总概算的基础,是详细反映各工程类别和重大、特大工点主要概算费用的文件;___是反映一个总概算范围内工程投资总额及其构成的文件;总概算是反映整个建设项目投资规模和投资构成的文件。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文中规定,财务费用包括企业经营期间发生的短期贷款利息净支出,金融机构手续费,___,以及其他财务费用。
【填空题】
根据《铁路基本建设工程设计概预算编制办法》<国铁科法[2017]30号>文规定,设备原价指标准设备的___<含按专业标准要求的保证在运输过程中不受损失的一般包装费,及按产品设计规定配带的工具、附件和易损件的费用>或非标准设备的加工订货价<包括材料费、加工费及加工厂的管理费等>。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,夜间施工增加费指根据设计、施工技术规范和合理的施工组织要求,必须在夜间施工或必须昼夜连续施工而发生的夜班补助费、施工照明设备摊销、照明用电及___等费用。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,材料费指施工过程中耗用的构成工程实体的原材料、辅助材料、构配件、零件、半成品或成品等,按___的材料价格计算的费用。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,定额建筑安装工程费包括定额直接费、___、措施费、企业管理费、规费、利润、税金和专项费 用,定额直接费包括定额人工费、定额材料费、定额施工机械使用费。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,企业管理费的基本费用中工具用具使用费包括企业管理使用的不属于___的工具、器具、家具、交 通工具和检验、试验、测绘、消防用具等的购置、维修和摊销费。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,企业管理费的基本费用中其他包含技术转让费、技术开发费、___、招投标费、业务招待费、绿化费、广告费、公证费、定额测定费、法律顾问费、审计费、咨询费以及施工标准化、规范化、精细化管理等费用。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,施工场地建设费包括按照工地建设标准化要求进行承包人驻地、___、钢筋集中加工、混合料集中拌制、构件集中预制等所需的办公、生活居住房屋<包括职工家属房屋及探亲房屋>,公用房屋<如广播室、文体活动室、医疗室等>和生产用房屋<如仓库、加工厂、加工棚、发电站、变电站、空压机站、停机棚、值班室等>等费用。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-201>规定,施工场地建设费包括场区平整<山岭重丘区的土石方工程除外>、场地硬化、排水、绿化、标志、污水处理设施、围墙隔离设施等的费用,不包括钢筋加工的机械设备、混合料拌和设备及安拆、预制构件台座、预应力张拉设备、起重及养护设备,以及概算、预算定额中___的费用。
【填空题】
根据《公路工程建设项目概算预算编制办法》<JTG3830-2018>规定,临时征地使用费指为满足施工所需的___、预制场、拌和场、仓库、加工厂<棚>、堆料场、取弃土场、进出场便道、便桥等所有的临时用地及其附着物的补偿费用。