在谓词公式中，一个变量只能是自由变量或约束变量中的一种_答案

【判断题】

在谓词公式中，一个变量只能是自由变量或约束变量中的一种

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)

A. 对

B. 错

查看答案解析

【判断题】

同一谓词公式，指定不同的论域，其真值不一定相同

A. 对

B. 错

查看答案解析

【判断题】

谓词公式(x)P(x)(y)﹁P(y)是矛盾式

A. 对

B. 错

查看答案解析

【判断题】

(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真

A. 对

B. 错

查看答案解析

【判断题】

对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)

A. 对

B. 错

查看答案解析

【判断题】

(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)

A. 对

B. 错

查看答案解析

【判断题】

P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

任意一个谓词公式都与一个前束范式等价

A. 对

B. 错

查看答案解析

【判断题】

公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )

A. 对

B. 错

查看答案解析

【判断题】

公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))

A. 对

B. 错

查看答案解析

【判断题】

是正确的

A. 对

B. 错

查看答案解析

【判断题】

对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)

A. 对

B. 错

查看答案解析

【判断题】

若P∪Q=Q，P∩Q=Φ，则P=Φ

A. 对

B. 错

查看答案解析

【判断题】

{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}

A. 对

B. 错

查看答案解析

【判断题】

设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B

A. 对

B. 错

查看答案解析

【判断题】

设A、B是集合，则命题AB 和A∈B可能同时成立

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，则P(A-B)=P(A)-P(B)

A. 对

B. 错

查看答案解析

【判断题】

若A-BB，则BA

A. 对

B. 错

查看答案解析

【判断题】

对每个集合A，有{A}P(A)

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

若AB=AC，则B=C

A. 对

B. 错

查看答案解析

【判断题】

集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的

A. 对

B. 错

查看答案解析

【判断题】

集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个自反关系，则RS也是自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个反自反关系，则RS也是反自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个对称关系，则RS也对称的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个传递关系，则RS也是传递的

A. 对

B. 错

查看答案解析

【判断题】

若R为是集合A上的反对称关系，则t(R)一定是反对称的

A. 对

B. 错

查看答案解析

【判断题】

若R是集合A上的传递关系，则R2也是集合A上的传递关系

A. 对

B. 错

查看答案解析

【判断题】

设R和S是集合A上的等价关系，则R∪S一定是等价的

A. 对

B. 错

查看答案解析

【判断题】

设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系

A. 对

B. 错

查看答案解析

【判断题】

平面上直线间的平行关系是等价关系

A. 对

B. 错

查看答案解析

【判断题】

设人的集合A上的朋友关系为R，则R是A上的相容关系

A. 对

B. 错

查看答案解析

【判断题】

若集合A上的关系R是对称的，则Rc也是对称的

A. 对

B. 错

查看答案解析

【判断题】

一个不是自反的关系，一定是反自反的

A. 对

B. 错

查看答案解析

推荐试题

【单选题】

小麦线条花叶病毒的学名是：___。

A. Maize chlorotic mottle virus

B. Arabis mosaic virus

C. Cucumber green mottle mosaic virus

D. Wheat streak mosaic virus

查看答案解析

【单选题】

___是指根茎的维管束组织受到病原物侵害，造成导管堵塞，影响水分的运输而发生部分枝叶或全株性凋萎。

A. 畸形

B. 腐烂

C. 萎蔫

D. 黄化

查看答案解析

【单选题】

双名法的双名分别是指“属名”和“种加词”，二者书写时___。

A. “属名”斜体；“种加词”正体

B. “属名”正体；“种加词”斜体

C. “属名”正体；“种加词”斜体

D. “属名”斜体；“种加词”斜体

查看答案解析

【单选题】

学名常附带些缩写字，如spp.表示___。

A. species plurimus；许多种

B. subspecies；亚种

C. species plurimus；亚种

D. subspecies ；许多种

查看答案解析

【单选题】

狭义的种子是指由受精后发育成熟的___。

A. 种皮

B. 胚

C. 胚乳

D. 胚珠

查看答案解析

【单选题】

茎有很多的变态形式，比如姜是：___。

A. 鳞茎

B. 根状茎

C. 枝刺

D. 块根

查看答案解析

【单选题】

林奈在1753年发表的《植物种志》（Species Plantarum）书中，采用前人的建议创立：___。

A. 学名

B. 双名命名法

C. 三名法

D. 单名法

查看答案解析

【单选题】

进境散装粮食，无特殊原因，须经锚地___检验检疫合格后，方可靠泊卸货。

A. 表层

B. 上层

C. 中层

D. 下层

查看答案解析

【单选题】

集装箱装载的进境粮食，根据每批报检的集装箱数量确定开箱抽检集装箱数量，当数量超过5个集装箱的，则每增加___集装箱增加抽检1个。

A. 30个

B. 20个

C. 10个

D. 5个

查看答案解析

【单选题】

船运散装粮食取样时，在距离船舱四壁至少1m远的全舱范围内至少均匀布点___，从各个抽样点货物表面10cm以下扦取原始样品。每舱抽取一份不少于____的复合样品。

A. 5个；5kg

B. 5个；50kg

C. 50个；5kg

D. 50个；50 kg

查看答案解析

【单选题】

散装进境粮食，同一申报号、同一品种、同一等级的粮食申报数量少于10,000吨的，每500吨扦取1个原始样品，样品量不少于___。

A. 2千克

B. 4千克

C. 6千克

D. 8千克

查看答案解析

【单选题】

对袋装进境粮食，申报总件数10-100袋（件），随机取___。

A. 5袋（件）

B. 10袋（件）

C. 15袋（件）

D. 20袋（件）

查看答案解析

【单选题】

进境粮食发现检疫性杂草种子的样品，通常至少保存___，以备复验、谈判和仲裁之用。

A. 1个月

B. 3个月

C. 6个月

D. 12个月

查看答案解析

【单选题】

进境粮食检验样品个体大于所检的杂草籽的主要检查___，检验样品个体小于所检的杂草籽的主要检查____。

A. 筛上物；筛上物

B. 筛上物；筛下物

C. 筛下物；筛上物

D. 筛下物；筛下物

查看答案解析

【单选题】

___即用分样板划成两对角线分为四等份，再混和相对的2份，继续用上法分样，直达平均样的最低要求。

A. 铲取法

B. 四分法

C. 分样器选取

D. 随机法

查看答案解析

【单选题】

若进境集装箱粮食为袋装，进入箱内或者通过掏箱随机抽取具有代表性的___粮食倒包取样。

A. 1-2袋

B. 2-3袋

C. 3-4袋

D. 3-5袋

查看答案解析

【单选题】

进境粮食人工双套管取样法：参照SN/T2504、SN/T 0800．1执行。在抽检的集装箱内随机选取___抽取样品，尽量保证采样点在集装箱内分布均匀。

A. 6个点

B. 7个点

C. 8个点

D. 9个点

查看答案解析

【单选题】

___是最常用的方法，也是杂草鉴定的首选方法。

A. 外部形态特征鉴定

B. 分子生物学检测方法

C. 细胞学鉴定法

D. 组织培养法

查看答案解析

【单选题】

进境粮食采用四分法，取平均样品的___作为检验样品。

A. 四分之一

B. 四分之一至二分之一

C. 二分之一至四分之三

D. 四分之三

查看答案解析

【单选题】

有些隶属不同科的种子，形态特点也很相似，如苋科的苋属与___的藜属种子。

A. 苋科

B. 藜科

C. 豆科

D. 禾本科

查看答案解析

【单选题】

杂草___主要以幼苗萌发方式、子叶、真叶及上胚轴和下胚轴的形态特征为依据。

A. 分子生物学法鉴定

B. 解剖法鉴定

C. 组织培养法鉴定

D. 幼苗鉴定

查看答案解析

【单选题】

如在进口矿堆上发现杂草生长，杂草监测范围应扩展至周边___。

A. 50米

B. 100米

C. 150米

D. 200米

查看答案解析

【单选题】

在港口、码头、仓库进行杂草监测时，需对装卸、储存地及周边___范围内的区域进行监测，对农田、围墙周边及清扫垃圾（下脚料）堆放处等应进行重点检查。

A. 50米

B. 100米

C. 300米

D. 500米

查看答案解析

【单选题】

在对进口矿产品堆场进行杂草监测时，堆放期超过___的矿堆为监测重点。

A. 1个月

B. 2个月

C. 3个月

D. 4个月

查看答案解析

【单选题】

___是可对水果果实造成危害的检疫性昆虫。

A. 地中海实蝇

B. 椰心叶甲

C. 谷斑皮蠹

D. 暗褐断眼天牛

查看答案解析

【单选题】

昆虫是属于动物界、___、昆虫纲的一类无脊椎动物。

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. 小条实蝇

查看答案解析

【单选题】

___可携带松材线虫进行传播。

A. 松墨天牛

B. 松树蜂

C. 松叶峰

D. 松突圆蚧

查看答案解析

【单选题】

红棕象甲Rhynchophorus ferrugineus (Olivier)是危害___的一种重要害虫。

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. 0.1 MM

B. 0.5 MM

C. 1 MM

D. 2 MM

查看答案解析