A是命题公式，A与(A*)*互为对偶式_答案

【判断题】

A是命题公式，A与(A*)*互为对偶式

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

A是命题公式，A(A*)*

A. 对

B. 错

查看答案解析

【判断题】

P是命题变元，P与P互为对偶式

A. 对

B. 错

查看答案解析

【判断题】

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

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

查看答案解析

推荐试题

【单选题】

公安部计算机管理监察部门对承担计算机信息安全专用产品检测任务的检测机构每平___进行一次监督检查。

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

B. 5

C. 20

D. 15

查看答案解析

【单选题】

公安部计算机管理监察部门审查合格的计算机信息系统安全专用产品，颁发___和安全专用产品“销售许可”标记；不合格的，书面通知申请者，并说明理由。

A. 营业证

B. 营业执照

C. 销售许可证

D. 行业标准证书

查看答案解析

【单选题】

公安部计算机管理监察部门审查合格的计算机信息系统安全专用产品，颁发销售许可证和安全专用产品___标记；不合格的，书面通知申请者，并说明理由。

A. “准许销售”

B. “合格”

C. “产品质量认证”

D. “销售许可”

查看答案解析

【单选题】

公安部计算机管理监察部门自接到计算机信息系统安全专用产品___之日起，应当在 15 日内对安全专用产品作出审核结果。

A. 检测要求

B. 功能检测

C. 检测申请

D. 安全检测

查看答案解析

【单选题】

公安部计算机管理监察部门自接到计算机信息系统安全专用产品检测申请之日起，应当在 15 日内对安全专用产品作出___。

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

B. 13

C. 21

D. 20

查看答案解析

【单选题】

对违反《计算机信息系统安全专用产品检测和销售许可证管理办法》规定的违法人作出行政处罚，应由县级以上(含县级)___决定，并填写行政处罚决定书，向被处罚人宣布。

A. 公安机关

B. 人民政府

C. 人民政府办公室

D. 县级人民法院

查看答案解析

【单选题】

计算机信息系统安全专用产品的检测通告和经安全功能检测确认的安全专用产品目录，由___发布。

A. 各省计算机管理监察机关

B. 国务院

C. 各省人民政府公安机关

D. 公安部计算机管理监察部门

查看答案解析

【单选题】

计算机信息系统安全专用产品检测机构申请书、检测机构批准书、《计算机信息系统安全专用产品销售许可证》、“销售许可”标记，由公安部___。

A. 制作

B. 批准

C. 制定式样、统一监制

D. 设计

查看答案解析

【单选题】

《计算机信息系统安全保护等级划分准则》___。

A. GB 17859--1999

B. GB2887--89

C. GB 9361--88

D. GBl7200--1999

查看答案解析

【单选题】

计算机信息系统可信计算基是：___。

A. 计算机系统装置

B. 计算机系统内保护装置

C. 计算机系统保护

D. 计算机系统安全

查看答案解析

【单选题】

主体是引起___在客体之间流动的人、进程或设备等。

A. 数据

B. 程序

C. 资讯

D. 信息

查看答案解析

【单选题】

敏感标记是表示客体安全级别并描述客体数据敏感性的一组信息，可信计算基中把敏感标记作为___的依据。

A. 自主访问控制决策

B. 强制访问控制决策

C. 安全控制决策

D. 监察管理决策

查看答案解析