首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
admin
2010-05-13
65
问题
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
选项
答案
增广律
解析
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://kaotiyun.com/show/5bvZ777K
本试题收录于：
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
已知内存0x30000010～0x30000013以大端模式存放一个32位无符号数0xAABBCCDD，R1＝0x30000010，R0＝0，执行ARM指令LDRHR0，[R1，#2]之后，R0的值为()。
下面有关微内核操作系统的叙述中，错误的是()。
假设数码相机使用的存储卡容量是1GB，数据压缩比平均是4，那么它一次可连续拍摄65536色的1024×1024，分辨率的彩色相片大约多少张?
如下关于开源操作系统的说法，正确的是()。
在ARM汇编语言程序设计中，以下说法错误的是()。
GNU是一种用于开发基于IJnux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中【79】是编译器、GDB是【80】工具。
使用GNUGCC开发应用程序时，若源文件为test．c，用命令：arm－linux－gcc－g－otesttest．c对该源文件进行编译，然后运行【79】_______命令进入调试环境。在调试环境下，键入命令：filetest来加载被调试的文件，然
GNU是一种用于开发基于Linux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中__________【79】是编译器、GDB是__________【80】工具。
下列关于μC／OS–II操作系统内核任务调度的说法中，不正确的是()。
在完全二叉树的顺序存储中，若结点i有左子女，则其左子女是结点()。
随机试题
消化性溃疡的临床特点。
肺泡与肺血管之问的气体交换过程为
甲状腺功能亢进的内科治疗宜选用
关于标底，下列说法正确的是()。
期货公司任用境外人士担任经理层人员职务的比例违反《期货公司董事、监事和高级管理人员任职资格管理办法》规定的，中国证监会及其派出机构可以责令公司更换或调整经理层人员。()
中国银行业协会的最高权力机构是()。
甲公司于2003年6月向乙公司订购一批木材，价值40万元，合同约定甲公司以银行汇票向乙公司付款，付款后10日内由丙仓储公司将货物发给甲公司。2003年6月17日，甲公司将自己手中的一张7月10日付款的、付款人为乙公司所在地B银行的银行汇票交给本公司
如果用甲、乙、丙三根水管同时向一个空水池里灌水，1小时可以灌满；如果用甲、乙两管，1小时20分钟可以灌满。若用丙管单独灌水，灌满这一池的水需要()小时。
社会主义公有制是我国经济制度的基础。社会主义公有制的两种基本形式是
ARecentErymologyoftheWord"Culture"“文化”一词的新词源Lookinanolddictionary—say,apre-1960Webster’s—andyou’lllikelyfin
最新回复
(
0
)
