首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则 XZ→YZ为F所逻辑蕴涵。这条推理规则称作_____。
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则 XZ→YZ为F所逻辑蕴涵。这条推理规则称作_____。
admin
2007-12-14
72
问题
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z
U,则 XZ→YZ为F所逻辑蕴涵。这条推理规则称作_____。
选项
答案
增广律
解析
转载请注明原文地址:https://kaotiyun.com/show/vncZ777K
本试题收录于:
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
假设AL寄存器中的内容是1,执行指令SUB AL,0FFH后,进位标志CF和溢出标志 OF的状态分别是( )。
在Windows98中,可以安装3种类型的网络服务软件,它们分别是Microsoft网络上的文件与打印机共享、NetWare网络上的文件与打印机共享,以及NetWare______。
在为PC机配置硬盘时,应该特别注意它的技术指标。下面是关于目前PC机主流硬盘技术指标的叙述:Ⅰ.容量大多为数十GB以上Ⅱ.转速大多为5400r/m、7200r/m或10000r/mⅢ.平均访问时间大多在50ms~100ms之间
Windows2000是基于下列哪一个版本的Windows操作系统发展而来的?
下面关于作为PC机内存使用的ROM和RAM的叙述中,错误的是:
把高级程序设计语言编制的源程序转换成机器能执行的程序,这是由哪种系统软件完成的?______
Windows98 采用的是段页式存储管理,其程序的逻辑地址空间划分为若干个长度可变的段,每一段内部又划分为大小固定的页。每页的大小为( )。
Windows 2000的许多核心模块是以动态链接库形式出现的,Win32 API对应的所有函数也均包含在动态链接库中。动态链接库文件的文件扩展名通常是。
在WindowsXP环境下,用户可使用各种命令(例如IPCONFIG、FTP、PING、ROUTE等命令)处理网络问题。如果要检测网络连接性、可到达性等,可使用______命令。
下列叙述中最恰当地描述了进程与线程之间关系的是( )。
随机试题
近年来,随着我国工业化、城镇化进程的不断推进,越来越多的农民工涌入城市,他们为城市的发展做出了巨大的贡献。但是随之而来的人口迁移也带来了许多社会问题,尤其是农民工子女教育问题。打工子弟学校是城市为解决外来进城务工人员子女就学开办的学校,这
女性患者,23岁。间歇性心悸,气促3年,劳累时加重。1周前受凉后出现发热、咽痛、咳嗽,4天前出现心悸和气促加剧,双下肢水肿。查:T37℃,R34次/分,P108次/分,律不整,BP80/50mmHg。半坐位,四肢指(趾)端及唇轻度发绀,扁桃体Ⅱ度
患病动物体表发热,咳声不爽,声音宏大,鼻流粘涕,呼出气热,口渴喜饮,舌苔薄黄:口色短津,脉象浮数。按照中兽医理论,上述症状属于以下哪种疾病?()
下列居住区各项用地占总用地百分比的指标,正确的是:[2011-22]
【2009—3】题16~20:某10kV变电所,10kV系统中性点不接地,请回答下列问题。若变电所地处海拔高度3000m,室内实际环境温度25℃,规范规定室内高压母线长期允许载流量的综合校正系数应采用下列哪一项数值?
技术方案中,资本金的出资形态可以是现金,也可以是经过有资格的资产评估机构评估作价的其他形式出资,但不包括()。
按照在金融活动中所起的作用,金融中介可分为()。
学院模式的优点有()。
“曲高和寡”出自战国宋玉的《对楚王问》,这一成语的本义是曲调高深,能跟着唱的人就少,多指知音难得。引申义是言论或作品不通俗,能了解的人很少。如果从经济学的角度来理解,它所体现出的道理是()。
A.tendtoB.consideredC.ariseD.thinkofPhrases:A.itmaybe【T13】______foolishB.misunderstandings【T14】______betweenpe
最新回复
(
0
)