首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
admin
2010-05-13
54
问题
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
选项
答案
增广律
解析
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://kaotiyun.com/show/5bvZ777K
本试题收录于:
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
如果R0=0x80000000,R1=4,R2=0x31322375,而指令STRR2,[R0,R1]!执行后,0x80000004中的数据为0x31,0x80000005中的数据为0x32,0x80000006中的数据0x23,0x80000007中的
嵌入式Linux操作系统由用户进程、OS服务组件和Linux内核3个部分组成(如图),下面选项中正确的是()。
一幅1024×768的彩色图像,每个像素使用16位表示,采用压缩比为5倍的算法压缩图像数据之后,其数据量大约是()MB。
某机械设备的控制器,其基本功能要求有:需要有8个数字量输入,用于采集设备的状态信息;且需要8个数字量输出,用于控制设备动作。具备一个RS-232接口,可以和上位机连接,接收上位机发送的命令及参数。需要提供一个基准定时信号,定时
若某嵌入式系统的应用程序基于μC/OS–II操作系统平台来开发,那么,应用程序的main()函数中,需要用函数【79】来创建任务。创建任务前用函数【80】来初始化μC/OS–II。
为提高SoC芯片设计效率,减少重复开发,通常将合格的经过验证的IC设计文件存储在数据库中,供反复使用。这些IC电路具有固定的不可再分解的功能特性,并受到知识产权保护,人们称之为“知识产权核”或“IP核”。按照IC设计文件的类型,IP核通常分为三种_____
在ARM的指令中,如果R1与R2不相等,则将R1与R2进行逻辑与操作,结果放R3中,并要求更新程序寄存器的状态位,用两条指令完成,则分别为【53】和【54】。
嵌入式系统硬件的逻辑组成可用下图描述,图中①、②、③、④处分别是()。
PowerDesigner是SYBASE公司提供的CASE工具,它包含多个模块,其中用于数据库概念数据建模(CDM)的模块是()。
在并发控制的技术中,最常用的是封锁方法。对于共享锁(S)和排他锁(X)来说,下面列出的相容关系中,哪一个是不正确的?
随机试题
根据《水利水电工程设计工程量计算规定》,砌筑工程量按()分别计算。
Aninvestigationbythecommitteeuncovered________instancesinwhichtheinstitution’sresourceshadbeenmisused.
微分方程y’’+y’+y=0的通解为________.
女,5岁,因右颌面部肿痛3天,口服抗生素无效而就诊,既往右下后牙反复肿痛过患牙存留主要决定于
以恶心、呕吐为主要症状的食物中毒是
某科研机构在某社区进行肥胖人群调查,除了进行体重测量,还进行了上臂围和皮褶厚度的测量。肱三头肌皮褶厚度测量的皮褶提起点在肩峰与尺骨鹰嘴连线中点()处。
手机:通话:上网
上海证券交易所周三举行发布会,上交所理事长桂敏杰在会上回答记者提问时表示,IPO没有暂停,只是放慢了节奏,目前证监会在进行IPO相关审核工作。IPO
某公司欲开发一个在线交易网站,在架构设计阶段,公司的架构师识别出3个核心质量属性场景。其中“网站正常运行时,用户发起的交易请求应该在3秒内完成”主要与①质量属性相关,通常可采用②架构策略实现该属性;“在线交易主站宕机后,能够在3秒内自动切换
ThefunctionsofFBIarethefollowingexcept______.
最新回复
(
0
)