【单选题】
命题公式(P∧(P→Q))→Q是___。
A. 矛盾式
B. 蕴含式
C. 重言式
D. 等值式
查看试卷，进入试卷练习
微信扫一扫，开始刷题
答案
C
解析
暂无解析
相关试题
【单选题】
谓词公式 ( 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={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. 不可传递的
推荐试题
【多选题】
依照《进出境动植物检疫法》规定实施检疫的范围包括____。
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. 不能进行技术处理的，责令销毁
【多选题】
根据《进出口商品检验法实施条例》的规定，对装运出口易腐烂变质食品的船舱和集装箱，____必须在装运前申请适载检验，未经检验合格的，不准装运。
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. 食品生产经营者使用食品添加剂、食品相关产品
【多选题】
____，应当进行食品安全风险评估。
A. 通过食品安全风险监测或者接到举报发现食品、食品添加剂、食品相关产品可能存在安全隐患的
B. 为制定或者修订食品安全国家标准提供科学依据需要进行风险评估的
C. 为确定监督管理的重点领域、重点品种需要进行风险评估的
D. 发现新的可能危害食品安全因素的
【多选题】
境外发生的食品安全事件可能对我国境内造成影响，或者在进口食品、食品添加剂、食品相关产品中发现严重食品安全问题的，海关应当____。
A. 立即停止进口
B. 及时采取风险预警或者控制措施
C. 向国务院食品药品监督管理、卫生行政、农业行政部门通报
D. 及时采取相应措施
【多选题】
食品安全标准的内容包括____。
A. 食品添加剂的品种、使用范围、用量
B. 对与食品安全、营养有关的标签、标识、说明书的要求
C. 食品生产经营过程的卫生要求
D. 与食品安全有关的质量要求
