【单选题】
设谓词P(x):x是奇数，Q(x):x是偶数，谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的？___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【单选题】
设C(x):x是运动员，G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人，B(x):x犯错误，命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设Z(x):x是整数，N(x):x是负数，S(x,y):y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式：___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令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 )))
【单选题】
设个体域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
【单选题】
在0________Φ之间填上正确的符号。 ___
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0}，则方程f1(x)·f2(x)=0的解为___。
【单选题】
幂集(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. 反自反的，传递的
【单选题】
设S={1,2,3}，下图给出了S上的两个关系R1，R2，则复合关系 是___。
A. 自反的
B. 传递的
C. 对称的
D. 等价的
【单选题】
设A={1,2,3,4,5}，ρ={<i,j>| i<j,i,j∈A}，则 的性质是___。
A. 对称的
B. 自反的
C. 反对称的
D. 反自反、反对称、传递的
【单选题】
设集合A={a,b,c}，R是A上的二元关系，R={<a,a>,<a,b>,<a,c>,<c,a>}，那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
设R和S是集合A上的等价关系，则R∪S的对称性___。
A. 一定成立
B. 一定不成立
C. 不一定成立
D. 不可能成立
【单选题】
设R和S是非空集合A上的等价关系，下述各式是等价关系的为___。
A. (A×A)-R
B. R2
C. R-S
D. r(R-S)
【单选题】
集合A上的关系R是相容关系的必要条件是___。
A. 自反、反对称的
B. 反自反、对称的
C. 传递、自反的
D. 自反、对称的
【单选题】
设R是集合A上的偏序关系， 是R的逆关系，则R∪ 是___。
A. 偏序关系
B. 等价关系
C. 相容关系
D. 都不是
【单选题】
设集合A中有4个元素，则A上的不同的等价关系的个数为___。
A. 11个
B. 14个
C. 15个
D. 17个
【单选题】
设A={a,b,c}，B={1,2}，令f: A→B，则不同的函数的个数为___。
A. 2+3个
B. 23个
C. 2×3个
D. 32个
【单选题】
函数的复合满足___。
A. 交换律
B. 结合律
C. 幂等律
D. 分配律
【单选题】
若f, g是满射，则复合函数 必是___。
【单选题】
若 是满射，则___。
A. f必是满射
B. f必是单射
C. g必是满射
D. g必是单射
【单选题】
f: Z→Z，对任意的i∈Z，有f(i)=i(mod8)，则f是___。
A. 不是双射
B. 单射
C. 满射
D. 双射
【单选题】
Z是整数集合，函数f定义为：f:Z→Z，f(x)=| x |-2x，则f是___。
A. 单射
B. 满射
C. 双射
D. 非单射也非满射
【单选题】
设S={a,b}，则S上总共可定义的二元运算的个数是___。
【单选题】
下列运算中，哪种运算关于整数集不能构成半群？ ___
【单选题】
Q是有理数集，<Q，*>（其中*为普通乘法）不能构成___。
A. 群
B. 独异点
C. 半群
D. 交换半群
【单选题】
R为实数集，运算*定义为：a,b∈R, a*b=a·| b |，则代数系统<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，* 是普通乘法
【单选题】
任何一个有限群在同构的意义下可以看作是___。
A. 循环群
B. 置换群
C. 变换群
D. 阿贝尔群
【单选题】
设H，K是群<G， >的子群，下面哪个代数系统仍是<G， >的子群？___
A. <HK， >
B. <H∩K， >
C. <K-H， >
D. <H-K， >
【单选题】
任意一个具有多个等幂元的半群，它___。
A. 不能构成群
B. 不一定能构成群
C. 必能构成群
D. 能构成交换群
【单选题】
设Z是整数集合，＋是一般加法，则下述函数中哪一个不是群<Z，＋>的自同态？ ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
群<R，＋>与<R-{0},×>之间的关系是___。
A. 同态
B. 同构
C. 后者是前者的子群
D. B，C均正确
【单选题】
若<H，*>是<G，*>的真子群，且| H |=n, | G |=m，则有___。
A. n整除m
B. m整除n
C. n整除m且m整除n
D. n不整除m且m不整除n
推荐试题
【单选题】
"电子转单 "是指通过系统网络，将产地检验检疫机构和（）的相关信息相互连通。___
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. 监管场所经营人
【单选题】
（）是整个海关进出口业务的中心环节，也是电子口岸执法系统中的重要组成部分。___
A. 检验检疫
B. 电子转单
C. 报关业务
D. 电子审单
【单选题】
（）是指通过一定的结算工具和支付系统对于因贸易或投资发生的资金实现两个或两个以上国家或地区之间的转移行为。___
A. 支付
B. 跨境支付
C. 交易
D. 物流
【单选题】
（）需求是确保数据分析过程有效性的首要条件，可以为收集数据、分析数据提供清晰的目标。___
A. 收集数据
B. 分析数据
C. 识别信息
D. 过程改进
【单选题】
（）在整个跨境电子商务中的比重最大，约占整个电子商务出口的 90%，（）虽只占跨境电子商务总量的 10%左右，但却是增长最为迅速的部分。___
A. B2B、 B2C
B. B2C、 B2B
C. C2B、 C2C
D. C2C、 C2B
【单选题】
（）之所以成为一种新的营销模式，是因为互联网拥有巨大的用户群。___
A. 生产
B. 网络营销
C. 推销
D. 市场营销
【单选题】
（）指为电商提供物流配送的企业。___
A. 物流企业
B. 电商平台
C. 报关企业
D. 监管场所经营人
【单选题】
“电子商务 ”是通过（）进行销售商品、提供服务等的经营活动。___
A. 增值网
B. 虚拟网
C. 互联网
D. 局域网
【单选题】
“电子转单 ”是指通过系统网络，出境货物经（）将检验检疫合格后的相关电子信息传输到出境口岸检验检疫机构。___
A. 产地检验检疫机构
B. 报检地检验检疫机构
C. 发货地检验检疫机构
D. 目的地检验检疫机构
【单选题】
“通关单联网核查 ”的基本要求一是先（）后（），二是通关单纸质单证信息与通关单电子数据必须一致。___
A. 报检、报关
B. 报关、报检
C. 报检、通关
D. 报关、通关
【单选题】
《电子商务示范法》是（）于 1996年通过的，这将促进协调和统一国际贸易法。___
A. 国际贸易法委员会
B. 国际商会
C. 欧盟贸易法委员会.
D. 美国贸易法委员会
【单选题】
《电子商务示范法》由谁颁发？___
A. 美国商业部国际贸易管理局
B. 中国商务部
C. 联合国国际贸易法委员会
D. 国际贸易组织机构
【单选题】
B2C跨境电商或平台的代表企业不包括 ?___
A. Ebay
B. 速卖通
C. 亚马逊
D. 兰亭集势
【单选题】
跨境进口 B2C模式是（）。___
A. 台招商
B. 保税自营 +直采
C. 跨境供应链服务商
D. 海外买手制
【单选题】
O2O营销模式的特点错误的是？___
A. 获取更丰富、全面的商家及其服务的内容信息
B. 更加便捷的向商家在线咨询并进行预售
C. 获得相比线下直接消费较为便宜的价格
D. O2O可以托管代运营
【单选题】
SET协议又称为___
A. 安全套接层协议
B. 安全电子交易协议
C. 信息传输安全协议
D. 网上购物协议
【单选题】
阿里巴巴国际站的定位是什么 ?___
A. 以客户为中心的服务型企业
B. 全球中小供应商与采购商
C. 中小型企业的网上贸易市场
D. 以客户为中心的主导型企业
【单选题】
按《》需核查货证的，出境检验检疫关系人应配合出境口岸检验检疫机构完成检验检疫工作。___
A. 口岸查验管理规定
B. 出境货物换单凭证
C. 口岸检验检疫规定
D. 出境货物通关单
【单选题】
按照（）贸易术语成交的出口合同，在装船前须由我进出口公司及时向保险公司办理投保手续，填制投保单。___
A. FOB
B. CIF
C. CFR
D. CNF
【单选题】
保税仓库中储存的是？___
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. 物流单据
【单选题】
出口收汇系统为出口收汇核销单建立了电子底账数据，核销单的基本信息以及各部门对核销单的操作情况都将保存在（），供外汇管理局查询并进行核销单挂失等各项操作。___
A. 电子口岸
B. 电子审计系统
C. 电子口岸数据中心
D. 电子计费中心
【单选题】
除出口活动物、重点检查有关名单内企业申报的货物、以及国家质检总局确定的货物等必须逐批核查货证外，其他货物的口岸查验核查货证的比例为申报查验批次的___
A. 1-3%
B. 1-4%
C. 1-5%
D. 1-6%
