首页 > 计算机科学与技术

网友您好，请在下方输入框内输入要搜索的题目：

请输入或粘贴题目内容搜题

搜题

拍照、语音搜题，请扫码下载APP

题目内容（请给出正确答案）

[单选题]

下面是"xC(x)， $x(A(x)ÚB(x))， "x(B(x)®ØC(x)) Þ$xA(x)的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。⑴$x(A(x)ÚB(x))， ()⑵A(a)ÚB(a) ()⑴⑶"xC(x) ()⑷C(a) ()⑶⑸"x(B(x)→ØC(x)) ()⑹B(a)→ØC(a) ()⑸⑺ØB(a) ()⑷⑹I12⑻A(a) ()⑵⑺I10⑼$xA(x)) ()⑻

A.⑴P；⑵US；⑶T；⑷UG；⑸P；⑹UG；⑺P；⑻T；⑼UG。

B.⑴P；⑵T；⑶T；⑷UG；⑸P；⑹US；⑺P；⑻T；⑼ES。

C.⑴P；⑵ES；⑶P；⑷US；⑸P；⑹US；⑺T；⑻T；⑼EG。

D.⑴P；⑵EG；⑶T；⑷UG；⑸P；⑹UG；⑺P；⑻T；⑼EG。

答案

查看答案

发布时间：2022-12-02

更多“ 下面是"xC(x)， $x(A(x)ÚB(x))， "x(B(x)®ØC(x)) Þ$xA(x)的谓词推理过程。在这个过”相关的问题

第1题

下面是类A的构造函数声明，其中正确的是()

A.void a(int x){...}

B.void A(int x){...}

C.a(int x){...}

D.A(int x){...}

点击查看答案

第2题

执行下面程序段后，x的值是()。 int x;printf("%d\n",(x=3*5,x+5));

A.5

B.20

C.15

D.10

点击查看答案

第3题

若随机变量X与Y不独立,则下面式子一定正确的是()

A.E(XY)=EX*EY

B.D(X+Y)=DX+DY

C.Cov(X,Y)=0

D.E(X+Y)=EX+EY

点击查看答案

第4题

设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，不正确的是()。

A.若Z=φ中，则X→→Y

B.若X→Y，则X→→Z

C.若X→Y，则X→→Y

D.若X→→Y，且Y'∈Y，则X→→Y'

点击查看答案

第5题

下面定义变量语句中，错误的是（)。

A.intx(10),y(10)

B.intx=y=10

C.intx=10,y=10

D.intx=10,y=x

点击查看答案

第6题

执行下面程序段后，x的值是（)。 intx;printf（"%d\n",（x=3*5,x＋5));

A.10

B.15

C.20

D.5

点击查看答案

第7题

下面正确的规则是（)。

A.若XM→Y，WY→Z，则XW→Z

B.若X→Y，Y→Z则Z→X

C.若XY→Z，则X→Z，Y→Z

D.若X→Y，Y→Z，则X→Z

点击查看答案

第8题

下面程序段运行后，变量a，b的值为（)。A=3∶b=4 IF a＞b Then x=a∶a=b∶b=x

A.3 4

B.4 3

C.3 3

D.4 4

点击查看答案

第9题

下面标题正确的是()

A.XX局关于几起重大火灾的通报

B.国务院办公厅关于发布《行政机关公文处理办法》的通知

C.X大学关于报送H省教育厅今年招生工作情况的请示

D.X省财政厅关于同意XX大学新建教学楼的函

点击查看答案

第10题

下面属于仿射密码的是()

A、ek(x)=x+k(mod 26)，dk(x)=y-k(mod 26)(x，y∈Z26)

B、∏=01234……2324250’1’2’3’4’……23’24’25’

C、P=C=Z26，且K={(a，b)∈Z26XZ26|gcd(a，26)=1}，对k=(a，b)∈K，定义e(x)=ax+b(mod 26)且dk(y)=a-1(y-b)(mod 26)

D、对于a，b，……，z这26个字母组成的单词，不改变明文字符，但要通过重排而改变他们的位置，实现加密

点击查看答案

第11题

若有语句：taticcharx[]="12345"; staticchary[]={'1','2','3','4','5'};则下面哪一个是正确的描述？()

A.x数组和y数组的长度相同

B.x数组长度大于y数组长度

C.x数组长度小于y数组长度

D.x数组等价于y数组

点击查看答案

账号：尚未登录

登录没有账号？去注册

购买搜题卡

公需课题库全部 >

福师大2021年8月课程考试《运动生理学》作业考核(期末A卷)四川农业大学20年12月《建筑测量(专科)》作业考核-答案电子科技大学《大学英语2(本科)》20秋在线作业2答卷 20秋东北大学《计算机辅助数控编程》在线平时作业2【满分答案】21春北交《列车牵引与制动》在线作业二参考答案 20秋学期东北大学《金属学与热处理基础》在线平时作业2【满分答案】北京中医药大学20秋《中医诊断学Z》平时作业6答案北京语言大学《社会保障概论》20秋作业2答案吉大《人体解剖学》21春在线作业二-0004参考答案兰州大学20春《计算机网络》平时作业2答案

考试指南全部 >

兵团24年三级安全评价师考试报名费 2023导游证成绩查询官网入口四川武汉导游证报考条件 2024年导游证考试要求有哪些？安全评价师考点都有哪里导游证成绩查询官网入口23年黑龙江 2023年辽宁导游证考试准考证考试时间导游证天津报考条件及要求辽宁23年注册安全评价师报考条件分析湖南导游证资格证书领取时间23年

下载APP

关注公众号

TOP