【单选题】
命题公式P→(Q↓P)是___。
A. 重言式
B. 可满足式
C. 矛盾式
D. 等值式
查看试卷,进入试卷练习
微信扫一扫,开始刷题
答案
B
解析
暂无解析
相关试题
【单选题】
P ﹁Q ___。
A. ﹁P→(P→﹁Q)
B. (﹁P∨Q)∧(﹁Q∨P )
C. (﹁P∨﹁Q)∧(﹁Q∨P)
D. (﹁P∨﹁Q)∧(Q∨P )
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极小项的个数为___。
A. 8
B. 3
C. 5
D. 0
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极大项的个数为___。
A. 0
B. 8
C. 5
D. 3
【单选题】
命题公式﹁(P∧Q)→R的成真赋值为___。
A. 000,001,110
B. 001,011,101,110,111
C. 全体赋值
D. 无
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中量词 x的作用域是___。
A. ( x)(P(x)∨( y)R(y))
B. P(x)
C. P(x)∨( y)R(y)
D. P(x) ,Q(x)
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中变元x是___。
A. 自由变量
B. 约束变量
C. 既不是自由变量也不是约束变量
D. 既是自由变量也是约束变量
【单选题】
设谓词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-B=Φ,则有___。
A. B=Φ
B. B≠Φ
C.
D.
【单选题】
设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________Φ之间填上正确的符号。 ___
A. =
B. ∈
C.
D.
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)·f2(x)=0的解为___。
A. M∩N
B. M∪N
C.
D. M-N
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
空集Φ的幂集P(Φ)的基数是___。
A. 0
B. 1
C. 3
D. 4
【单选题】
集合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. 映射
B. 单射
C. 满射
D. 双射
【单选题】
若 是满射,则___。
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上总共可定义的二元运算的个数是___。
A. 4
B. 8
C. 16
D. 32
【单选题】
下列运算中,哪种运算关于整数集不能构成半群? ___
A.
B.
C.
D.
【单选题】
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. 对新建、扩建、改建的公共场所的选址和设计进行卫生审查
【多选题】
公共场所直接为顾客服务的人员,患有_______以及其他有碍公共卫生的疾病的,治愈前不得从事直接为顾客服务的工作。 ___
A. 痢疾、伤寒
B. 病毒性肝炎
C. 活动期肺结核
D. 皮肤病
【多选题】
从中华人民共和国境外引进农业转基因生物用于研究、试验的,应当符合的条件包括:___
A. 引进单位具有国务院农业行政主管部门规定的申请资格
B. 引进的农业转基因生物在国(境)外已经进行了相应的研究、试验
C. 有相应的安全管理、防范措施
D. 输出国家或者地区已经允许作为相应用途并投放市场
【判断题】
商检机构和经国家商检部门许可的检验机构,依法对进出口商品实施检验
A. 对
B. 错
【判断题】
进口商品未经商检机构检验的,不准销售和使用
A. 对
B. 错
【判断题】
对法定检验的进出口商品,尚未制定国家技术规范的强制性要求的,可以参照国家商检部门指定的行业标准进行检验
A. 对
B. 错
【判断题】
法定检验的进出口商品,有国家技术规范的强制性要求的,按照国家技术规范的强制性要求进行检验
A. 对
B. 错
【判断题】
经国家商检部门许可的检验机构,可以接受对外贸易关系人或者外国检验机构的委托,办理进出口商品检验鉴定业务
A. 对
B. 错
【判断题】
法律、行政法规规定由其他检验机构实施检验的进出口商品或者检验项目,依照有关法律、行政法规的规定办理
A. 对
B. 错
【判断题】
对重要的进口商品和大型成套设备,应当进行装运前预检验
A. 对
B. 错
【判断题】
为出口危险货物生产包装容器的企业,必须向商检机构申请进行包装容器的使用鉴定
A. 对
B. 错
【判断题】
国家商检部门应当公布进出口商品抽查检验结果或者向有关部门通报抽查检验情况
A. 对
B. 错
【判断题】
商检机构根据便利对外贸易的需要,可以根据国家规定对法定检验的进出口商品进行出厂前的质量监督管理和检验
A. 对
B. 错
【判断题】
国家商检部门和商检机构依法对经国家商检部门许可的检验机构的进出口商品检验鉴定业务活动进行监督,可以对其检验的商品抽查检验
A. 对
B. 错
【判断题】
商检机构依照《进出口商品检验法》对实施许可制度的进出口商品实行认证管理,查验单证,核对证货是否相符
A. 对
B. 错
【判断题】
当事人对进出口商品复验结论不服应首先依法申请行政复议,对复议结论不服的,再提起行政诉讼
A. 对
B. 错
【判断题】
因科学研究需要可以引进动植物检疫禁止进境物
A. 对
B. 错
【判断题】
通过贸易、科技合作、交换、赠送、援助等方式输入动植物、动植物产品和其他检疫物的,应当在合同或者协议中订明双方商定的检疫要求
A. 对
B. 错
【判断题】
输出动植物、动植物产品和其他检疫物,检疫不合格又无有效方法作除害处理的,不准出境
A. 对
B. 错
【判断题】
对过境植物、动植物产品和其他检疫物口岸动植物检疫机关发现有《进出境动植物检疫法》规定的一类、二类动物传染病、寄生虫病;植物危险性病、虫、杂草的,作除害处理或者不准过境
A. 对
B. 错
【判断题】
对过境植物、动植物产品和其他检疫物,口岸动植物检疫机关检查运输工具或者包装,经检疫合格的,准予过境
A. 对
B. 错
【判断题】
按照《进出境动植物检疫法》规定,进境供拆解用的废旧船舶,由口岸动植物检疫机关实施动植物检疫
A. 对
B. 错
【判断题】
《进出境动植物检疫法》规定的“其他检疫物”是指除了动植物、动植物产品以外的所有应实施动植物检疫的货物和物品
A. 对
B. 错
【判断题】
《进出境动植物检疫法》规定,已经加工的植物产品不属须实施检疫的植物产品范围
A. 对
B. 错
【判断题】
国境卫生检疫法规定的传染病是指检疫传染病和监测传染病
A. 对
B. 错
【判断题】
来自国外的船舶、航空器因故停泊、降落在中国境内非口岸地点的时候,船舶、航空器的负责人应当立即向就近的国境卫生检疫机关或者当地卫生行政部门报告
A. 对
B. 错
【判断题】
国境卫生检疫机关对来自疫区的行李、货物、邮包等物品,应当进行卫生检查,实施消毒、除鼠、除虫或者其他卫生处理
A. 对
B. 错
【判断题】
各地医疗单位对持有国境卫生检疫机关发给的就诊方便卡的人员应当优先诊治
A. 对
B. 错
【判断题】
我国缔结或者参加的有关卫生检疫的国际条约同《国境卫生检疫法》有不同规定的,适用《国境卫生检疫法》的规定
A. 对
B. 错
【判断题】
任何组织或个人有权举报食品生产经营中的违法行为,依法向有关部门了解食品安全信息,对食品安全监督管理工作提出意见和建议
A. 对
B. 错
【判断题】
食品安全风险评估采集样品应当按照成本价格支付费用
A. 对
B. 错
【判断题】
食品安全风险评估结果是制定、修订食品安全标准和对食品安全实施监督管理的科学依据
A. 对
B. 错
【判断题】
从事接触直接入口食品工作的食品生产经营人员应当每年进行健康检查,取得健康证明后方可上岗工作
A. 对
B. 错
【判断题】
生产经营转基因食品应当按照规定显著标示
A. 对
B. 错
【判断题】
食品和食品添加剂与其标签、说明书的内容不符的,不得上市销售
A. 对
B. 错
【判断题】
首次进口的保健食品应当经国务院食品药品监督管理部门备案
A. 对
B. 错
【判断题】
进口的保健食品应当是出口国(地区)主管部门准许上市销售的产品
A. 对
B. 错
【判断题】
婴幼儿配方食品生产企业应当实施从原料进厂到成品出厂的全过程质量控制,对出厂的婴幼儿配方食品实施抽批检验,保证食品安全
A. 对
B. 错
【判断题】
进口婴幼儿配方乳粉的产品配方应当经海关注册
A. 对
B. 错
【判断题】
同一企业可以用同一配方生产不同品牌的婴幼儿配方乳粉
A. 对
B. 错