【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(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(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，则P(A-B)=P(A)-P(B)
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有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=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
【判断题】
设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系
【判断题】
设人的集合A上的朋友关系为R，则R是A上的相容关系
【判断题】
若集合A上的关系R是对称的，则Rc也是对称的
【判断题】
设<N,*>是代数系统，其中N为自然数集，*为二元运算，定义为：对任何的a,b∈N，有a*b=a，则*是可结合的
【判断题】
在一个代数系统中，若一个元素的逆元是惟一的，则运算必定是可结合的
【判断题】
设*是S上的可结合运算，若a∈S是可逆的，则a也是可约的
【判断题】
设*是S上的可结合运算，若a∈S是可约的，则a也是可逆的
【判断题】
设<A,,* >是一个代数系统，对于任意的a,b∈A，有ab=a，而*是A上的任意二元运算，则*对不一定是可分配的
【判断题】
<S,*>是独异点，a,b∈S，且a,b均有逆元，则(a*b)-1=a-1*b-1
推荐试题
【单选题】
IP 协议对应于OSI七层参考模型中的第 层。___
【单选题】
在开放系统互连参考模型（OSI）中， 以帧的形式传输数据流。___
A. 网络层
B. 会话层
C. 传输层
D. 数据链路层
【单选题】
数据封装的正确过程是 。___
A. 数据段-> 数据包-> 数据帧-> 数据流-> 数据
B. 数据流-> 数据段-> 数据包-> 数据帧-> 数据
C. 数据-> 数据包-> 数据段-> 数据帧-> 数据流
D. 数据-> 数据段-> 数据包-> 数据帧-> 数据流
【单选题】
HTTP默认使用TCP端口号 。___
【单选题】
通过控制台（console）端口配置刚出厂未经配置的路由器，终端的串口波特率应设置为 。___
A. 9600
B. 2400
C. 115200
D. 38400
【单选题】
传统防火墙工作在OSI七层的哪一层 。___
A. 应用层
B. 网络层
C. 数据链路层
D. 物理层
【单选题】
FTP默认使用的控制协议端口是 。___
【单选题】
TCP属于OSI参考模型的 。___
A. 网络层
B. 传输层
C. 会话层
D. 表示层
【单选题】
TCP协议通过 来区分不同的连接。___
A. 端口号
B. 端口号和IP地址
C. 端口号和MAC地址
D. IP地址和MAC地址
【单选题】
当路由器在自己的路由表中最终没有找到匹配项时，会根据 进行转发。___
A. 缺省路由
B. 静态路由
C. 路由表中第一条路由
D. 路由表中最后一条路由
【单选题】
IP地址203.108.2.110是 地址。___
【单选题】
ping实际上是基于 协议开发的应用程序。___
A. ICMP
B. IP
C. TCP
D. UDP
【单选题】
源主机ping目的设备时，如果网络工作正常，则目的设备在接收到该报文后，将会向源主机回应ICMP 报文。___
A. Echo Request
B. Echo Reply
C. TTL-Exceeded
D. Port-Unreachable
【单选题】
OSPF 协议将报文封装在 报文中。___
A. TCP
B. UDP
C. IP
D. PPP
【单选题】
如果想在H3C交换机（SWA）上查看目前存在哪些VLAN，则需要用到 命令。___
A. [SWA]show vlan
B. [SWA]display vlan all
C. [SWA]display vlan1
D. [SWA]display vlan 2
【单选题】
Windows操作系统下，如果让ping命令一直ping某一个主机，应该使用 参数。___
【单选题】
管理员可以在DHCP客户机上对IP地址租约进行更新，操作命令为 。___
A. nbtstat –c
B. ipconfig /release
C. ipconfig /renew
D. ipconfig /flushdns
【单选题】
如果没有特殊声明，匿名FTP服务登录帐号为 。___
A. user
B. anonymous
C. guest
D. 用户自己的电子邮件地址
【单选题】
注册表数据导出后的扩展名为 。___
A. reg
B. dat
C. exe
D. bat
【单选题】
为了检测 Windows 系统是否有木马入侵，可以先通过 命令来查看当前的活动连接端口。___
A. ipconfig
B. netstat -rn
C. racert –d
D. netstat –an
【单选题】
下列哪一条与操作系统安全配置的原则不符合 。___
A. 关闭没必要的服务
B. 不安装多余的组件
C. 安装最新的补丁程序
D. 开放更多的服务
【单选题】
Windows 2000 系统中哪个文件可以查看端口与服务的对应 。___
A. c:\winnt\system\drivers\etc\services
B. c:\winnt\system32\services
C. c:\winnt\system32\config\services
D. c:\winnt\system32\drivers\etc\services
【单选题】
在windows操作系统的命令行下，打开组策略编辑器的命令是 。___
A. mstsc
B. gpedit.exe
C. msc
D. gpedit.msc
【单选题】
Windows中查看域名解析的命令是 。___
A. ipconfig
B. nslookup
C. route print
D. net user
【单选题】
windows操作系统在命令行下查看计算机的ip地址的命令是 。___
A. ifconfig
B. ipconfig/all
C. ipconfig/release
D. ipconfig/renew
【单选题】
Windows系统能设置为在几次无效登录后锁定帐号，这可以防止 。___
A. 木马
B. 暴力攻击
C. IP欺骗
D. 缓存溢出攻击
【单选题】
在Windows 操作系统中，哪一条命令能够显示ARP表项信息 。___
A. display arp
B. arp –a
C. arp –d
D. show arp
【单选题】
你是一台系统为windows server 2003的计算机的系统管理员，出于安全性的考虑，你希望使用这台计算机的用户账号在设置密码时不能重复前5次的密码，应该采取的措施是 。___
A. 设置计算机本地安全策略中的安全选项，设置“账户锁定时间”的值为5
B. 设置计算机本地安全策略中的密码策略，设置“强制密码历史”的值为5
C. 设置计算机本地安全策略中的密码策略，设置“密码最长存留期”的值为5
D. 设置计算机本地安全策略中的密码策略，设置“密码最短存留期”的值为5
【单选题】
拒绝服务攻击损害了信息系统的哪一项性能 。___
A. 完整性
B. 可用性
C. 保密性
D. 可靠性
【单选题】
以下措施不能防止计算机病毒的是 。___
A. 计算机不接入互联网就能保证安全
B. 先用杀病毒软件将从别人机器上拷来的文件清查病毒
C. 不用来历不明的U盘
D. 经常关注防病毒软件的版本升级情况，并尽量取得最高版本的防毒软件
【单选题】
宏病毒可感染下列 文件。___
A. exe
B. doc
C. bat
D. txt
【单选题】
U 盘病毒依赖于哪个文件达到自我运行的目的 。___
A. autoron.inf
B. autoexec.bat
C. config.sys
D. system.ini
【单选题】
关于计算机病毒，下列说法错误的是 。___
A. 计算机病毒是一个程序
B. 计算机病毒具有传染性
C. 计算机病毒的运行不消耗CPU资源
D. 病毒并不一定都具有破坏力
【单选题】
蠕虫和传统计算机病毒的区别主要体现在 上。___
A. 存在形式
B. 传染机制
C. 传染目标
D. 破坏方式
【单选题】
在描述信息传输中bps表示的是 。___
A. 每秒传输的字节数
B. 每秒传输的指令数
C. 每秒传输的字数
D. 每秒传输的位数
【单选题】
在SQL中，建立表用的命令是 。___
A. create schema
B. create table
C. create view
D. create index
【单选题】
SQL语言中，删除表中数据的命令是 。___
A. delete
B. drop
C. clear
D. remove
【单选题】
SQL语言中，删除一个表的命令是 。___
A. delete
B. drop
C. clear
D. remove
【单选题】
SQL Server 2000中表查询的命令是 。___
A. use
B. select
C. update
D. drop
