首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
admin
2010-05-13
46
问题
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
选项
答案
增广律
解析
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://kaotiyun.com/show/5bvZ777K
本试题收录于:
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
数字图像的像素深度指每个像素用多少个二进位来表示。它决定了图像中可能出现的不同颜色(或不同亮度)的最大数目。像素深度是8位的灰度图像,其不同的亮度等级总数为__________【43】种。最多可以有大约1600万种颜色的图像称为真彩色图像,真彩色图像的像
下面关于嵌入式系统的叙述中,错误的是()。
UART传送一个字符时有固定的格式,如下图所示。图中①和②分别是【61】位和【62】位。
关于ARM嵌入式处理器的工作状态,以下说法错误的是()。
在微内核操作系统结构中,将【67】、低级存储管理、中断处理和【68】等必须的基本功能编译成一个功能精简、空间紧凑的模块,称为微内核。
在ARM汇编语言程序设计中,经常用到分支程序设计,以下不属于分支指令的是()。
片上调试技术是许多嵌入式处理器芯片采用的硬件调试技术。【79】_______标准是片上调试技术的一种国际标准,常用于芯片和电路板的调试。该标准中规定的TAP接口具有【80】_______根信号线。
Linux内核主要是由5个子系统组成的,如下图所示,其中的A是【73】_______子系统,B是【74】_______子系统。
设只包含根结点的二叉树的高度为0,高度为k的二叉树的最小结点数为()。
随机试题
甲、乙、丙、丁拟共同投资设立一有限合伙企业,甲、乙为普通合伙人,丙、丁为有限合伙人。四人草拟了一份合伙协议。该合伙协议的下列内容中,符合合伙企业法律制度规定的是()。
氯丙嗪对体温调节的影响具有什么特点:
治疗风热头痛、肝热目赤、破伤风的药物是
蒙特卡洛法的模拟次数一般应在()。
下列关于增值税税率的表述,正确的是()。
某公司发行期限为5年的债券,票面利率为6%,每年付息一次,面额为100元,市场同类债券的利率为5%,此债券的价格应为()元。
某饭店是由两家国有企业和一家集体企业投资、按五星级标准设计建造的商务饭店。该饭店的组织形式为有限责任公司,计划在2010年开张营业,届时将成为当地最高档次、最大规模的饭店。根据预测,2010年的经济形势较为乐观,加之该城市有两个国际合作项目开工,届时将会有
当购买性支出增加时,其对市场价格和企业利润的影响是()。
经营高风险旅游项目应当按照国家有关规定取得经营许可。()
Isitpossibletopersuademankindtolivewithoutwar?Warisanancientinstitutionwhichhasexistedforatleastsixthousan
最新回复
(
0
)