任一命题公式的主析取范式和它的主合取范式互为对偶式_答案

【判断题】

任一命题公式的主析取范式和它的主合取范式互为对偶式

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

任一命题公式都可以表示成与其等值的若干极小项的析取式

A. 对

B. 错

查看答案解析

【判断题】

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

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. 错

查看答案解析

推荐试题

【单选题】

将一根导线均匀拉长为原长度的3倍,则阻值为原来的___倍。

A. 3

B. 1/3

C. 9

D. 1/9

查看答案解析

【单选题】

产生串联谐振的条件是___。

A. XL＞Xc

B. XL＜Xc

C. XL＝Xc

D. XL≥Xc

E. XL≤Xc

查看答案解析

【单选题】

空载高压长线路的末端电压___始端电压。

A. 低于

B. 高于

C. 等于

D. 低于或等于

查看答案解析

【单选题】

额定电压为220V的灯泡接在110V电源上,灯泡的功率是原来的___。

A. 2

B. 4

C. 1/2

D. 1/4

查看答案解析

【单选题】

两只额定电压相同的电阻串联接在电路中,其阻值较大的电阻发热___。

A. 相同

B. 较大

C. 较小

查看答案解析

【单选题】

电路主要由负载、线路、电源、___组成。

A. 变压器

B. 开关

C. 发电机

D. 仪表

查看答案解析

【单选题】

电流是由电子的定向移动形成的,习惯上把___定向移动的方向作为电流的方向。

A. 左手定则

B. 右手定则

C. N-S

D. 正电荷

E. 负电荷

查看答案解析

【单选题】

导体的电阻不但与导体的长度、截面有关,而且还与导体的___有关。

A. 温度

B. 湿度

C. 距离

D. 材质

查看答案解析

【单选题】

交流电的三要素是指最大值、频率、___。

A. 相位

B. 角度

C. 初相角

D. 电压

查看答案解析

【单选题】

正弦交流电的有效值等核最大值的___。

A. 1/3

B. 1/2

C. 2

D. 0.7

查看答案解析

【单选题】

阻值不随外加电压或电流的大小而改变的电阻叫___。

A. 固定电阻

B. 可变电阻

C. 线性电阻

D. 非线性电阻

查看答案解析

【单选题】

阻值随外加电压或电流的大小而改变的电阻叫___。

A. 固定电阻

B. 可变电阻

C. 线性电阻

D. 非线性电阻

查看答案解析

【单选题】

在三相四线制中,当三相负载不平衡时,三相电压相等,中性线电流___。

A. 等于零

B. 不等于零

C. 增大

D. 减小

查看答案解析

【单选题】

串联电路中,电压的分配与电阻成___。

A. 正比

B. 反比

C. 1:1

D. 2:1

查看答案解析

【单选题】

并联电路中,电流的分配与电阻成___。

A. 正比

B. 反比

C. 1:1

D. 2:1

查看答案解析

【单选题】

线圈中感应电动势的方向可以根据___定律,并应用线圈的右手螺旋定则来判定。

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:1

B. 2:1

C. 3:1

D. 4:1

查看答案解析

【单选题】

变压器的铁芯采用相互绝缘的薄硅钢片制造,主要目的是为了降低___。

A. 杂散损耗

B. 铜耗

C. 涡流损耗

D. 磁滞损耗

查看答案解析

【单选题】

电力系统中以“kWh”作为___的计量单位

A. 电压

B. 电能

C. 电功率

D. 电位

查看答案解析

【单选题】

我国交流电的频率为50Hz，其周期为___秒。

A. 0.01

B. 0.02

C. 0.1

D. 0.2

查看答案解析

【单选题】

三相电动势的相序为U-V-W称为___

A. 负序

B. 正序

C. 零序

D. 反序

查看答案解析

【单选题】

在变电所三相母线应分别涂以___色,以示正相序

A. 红、黄、绿。

B. 黄、绿、红。

C. 绿、黄、红。

查看答案解析

【单选题】

正序的顺序是___

A. U、V、W。

B. V、U、W。

C. U、W、V。

D. W、V、U。

查看答案解析

【多选题】

为了实现集团管控一体化，建立统一的结算和费用报账平台，资金结算管理平台都有那几个模块___

A. 资金管理

B. 预算管理

C. 结算管理

D. 项目管理

E. 资产管理

查看答案解析

【多选题】

为了强化资金使用的计划性与效率性，帮助集团掌控未来资金收支计划，为资金筹划提供数据支持，资金管理模块都有哪几种计划类型___

A. 周资金计划

B. 月资金计划

C. 季度资金计划

D. 年度资金计划

查看答案解析

【多选题】

资金结算管理平台实现的主要作用___

A. 预算资金双重控制（业务发起预算控制，付款资金计划校验）

B. 资金预算全过程管理（资金计划从业务发起到平衡，到付款检查全过程管理）

C. 融资全生命周期管理（实现融资从授信，申请到最后还款的全周期管理）

D. 完整的分析体系（预算、资金和结算多种类型的统计分析）

E. 内部资金往来数据同源（本部与下属单位资金往来业务，一方处理，双方记账）

查看答案解析

【多选题】

预算管理模块中预算项目控制模式有哪几种___

A. 绝对控制

B. 建议控制

C. 不控制

D. 刚性控制

查看答案解析

【多选题】

下面哪些内容属于结算管理模块的___

A. 费用报销单

B. 对外结算申请（总账）

C. 预算项目分解

D. 资金支付申请单

E. 周资金计划

查看答案解析

【多选题】

资金管理中融资模块的业务类型有哪些___

A. 到款

B. 还款

C. 计提利息

D. 付息

E. 收取利息

查看答案解析

【多选题】

资金管理模块涉及的主要业务有___

A. 资金计划

B. 资金集中

C. 资金支付申请

D. 融资管理

E. 银行账户管理

查看答案解析

【多选题】

用户如何修改自己用户名的密码信息。___

A. :通过首选项进行修改。

B. :点击个人信息属性设置进行修改。

C. :无法修改。

查看答案解析

【多选题】

１：２：３：４： ___

A. :１、清空一条记录；２、删除一条记录；３、切换责任；４、查找。

B. :１、删除一条记录；２、清空一条记录；３、切换责任；４、查找。

C. :１、查找；２、清空一条记录；３、切换责任；４、删除一条记录。

D. :１、清空一条记录；２、删除一条记录；３、切换责任；４、显示浏览器。

查看答案解析

【多选题】

在ERP系统中，哪个快捷方式可以实现复制上一行数据的功能？___

A. :SHIFT+F6

B. :COPY

C. :F11

D. :CTRL+L

查看答案解析