【单选题】
设个体域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)
查看试卷,进入试卷练习
微信扫一扫,开始刷题

答案
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. 不可传递的
【单选题】
下列代数系统<S,*>中,哪个是群?___。
A. S={0,1,3,5},* 是模7加法
B. S=Q(有理数集合),* 是一般乘法
C. S=Z(整数集合),* 是一般减法
D. S={1,3,4,5,9},* 是模11乘法
【单选题】
具有如下定义的代数系统<G,*>,哪个不构成群?___
A. G={1,10},* 是模11乘法
B. G={1,3,4,5,9},* 是模11乘法]
C. G=Q,* 是普通加法
D. G=Q,* 是普通乘法
【单选题】
设Z是整数集合,+是一般加法,则下述函数中哪一个不是群<Z,+>的自同态? ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
下面哪个集合关于指定的运算构成环? ___
A. ,关于数的加法和乘法
B. {n阶实数矩阵},关于矩阵的加法和乘法
C. ,关于数的加法和乘法
D. ,关于矩阵的加法和乘法
推荐试题
【多选题】
为什么工业自动化多采用直流信号___。
A. 仪表信号传输过程中,直流信号不受交流感应的影响,容易解决仪表的抗干扰问题;
B. 直流信号不受传输线路电感、电容的影响,不存在相位移问题,因而接线简单;
C. 直流信号便于模数和数模转换,因而仪表便于同数据处理设备、电子计算机等连接;
D. 直流信号容易获得基准电压,如调节器的给定值等。
【多选题】
下列对核辐射料位计的描述正确的是___
A. 料位越高闪烁器收到的γ射线量越少;
B. 料位越高闪烁器收到的γ射线量越多;
C. 料位越低闪烁器收到的γ射线量越少;
D. 料位越低闪烁器收到的γ射线量越多。
【多选题】
下列对四色环电阻描述正确的是___。
A. 第一条色环:阻值的第一位数字;
B. 第二条色环:阻值的第二位数字;
C. 第三条色环:阻值的第三位数字;
D. 第四条色环:阻值的第四位数字。
【多选题】
下列关于UPS叙述正确的是___。
A. 开机时,先打开负载打开UPS的输出开关;
B. 关机时先关闭负载在关闭UPS的输出开关;
C. UPS的主要作用是净化交流电,提供不间断电源;
D. UPS的工作方式有在线式、后备式、在线互动式。
【多选题】
下列关于控制器算法无法登录的原因及处理方法正确的是___
A. 控制算法中的程序有误,程序无误后再登陆;
B. 通讯参数设置的不对,设置正确的通讯参数;
C. 主控制器地址不对,设置正确的地址;
D. 网线及通讯接口有误,检查网线及通讯接口。
【多选题】
下列关于热电阻的说法中正确的是___。
A. 铜热电阻的测温范围比铂热电阻测温范围宽;
B. 在相同的温度变化范围内,分度号Pt100的热电阻比Pt10的热电阻变化范围大,因而灵敏度较高;
C. 热电阻断路或引出线断路会使热电阻的显示仪表显示无穷大
D. 当温度为100度时,Pt100的热电阻的电阻是0欧姆。
【多选题】
下列哪些情况会导致主控单元的全下装___。
A. 主控单元内的程序丢失;
B. 执行过“工程”菜单中的“全部清空”命令;
C. 第一次编译工程后下装;
D. 修改数据库总控。