首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
admin
2010-05-13
63
问题
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
选项
答案
增广律
解析
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://www.kaotiyun.com/show/5bvZ777K
本试题收录于:
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
以下关于ARM处理器CPSR寄存器说法错误的是()。
μC/OS-II是目前常用的嵌入式操作系统之一,其内核只提供【69】_______调度、任务间通信与同步、任务管理、时间管理和【70】_______管理等基本功能,资源消耗非常小。
嵌入式系统中的CPU具有一些与通用计算机所使用的CPU不同的特点,下面不是其特点的是()。
ARM处理器中用作程序计数器PC的通用寄存器是()。
SoC芯片中的CPU绝大多数是以IP核的方式集成在芯片中的,很少再自行设计开发。目前32位嵌入式处理器主要采用的是由__________【41】国一家专门从事RISC处理器内核设计公司设计的__________【42】内核。
对于内存容量而言,1KB=【59】_______B;而对于外存(如磁盘、U盘等)容量而言,1KB=【60】_______B。
按照AMBA总线规范,基于ARM内核的嵌入式处理器芯片采用系统总线与【57】_______总线两层结构的方式构建片上系统。其中的系统总线主要用于连接【58】_______带宽快速组件。
在ARM汇编语言程序设计中,经常用到分支程序设计,以下不属于分支指令的是()。
Linux内核主要是由5个子系统组成的,如下图所示,其中的A是【73】_______子系统,B是【74】_______子系统。
随着无线通信技术的发展,用户不受时间地点约束,随时随地访问互联网已经成为现实。目前采用无线方式接入互联网的技术主要有3类,它们是【45】接入、GPRs移动电话网接入和3G移动电话网接入,第1类接入方式必须在安装有【46】的区域中才能接入。
随机试题
我国化学工业多年来治理尘毒的实践证明,在多数情况下,靠单一的方法去防治尘毒是可行的。
肾盂积水的影像改变,最早出现在
最常见的白内障类型是
济南某报关公司(未办理跨关区分支机构,在济南海关办理了报关注册),经常接受济南地区的进出口公司的委托,在济南以外的威海、烟台、青岛海关办理报关纳税,这种行为属于非法报关。()
()是一种资本化的租赁,在分析长期偿债能力时,已经包含在债务比率指标计算之中。
必修课程与选修课程的实质是学生“一般发展”与“个性发展”之间的关系。()
二、根据下列资料,回答101—105题。2015年保险公司原保险保费收入24282.52亿元,同比增长20.00%,比上一年高2.51%。其中,产险业务原保险保费收入7994.97亿元,同比增长10.99%;寿险业务原保险保费收入13241.52
我国佛教艺术驰名中外,云冈石窟、龙门石窟和莫高窟三大石窟举世皆知。以下关于三大石窟地理位置的描述,正确的是:
下列外国的法学流派中,出现时间最早的是()。
Thereisnodenyingthatourworldisbecomingmoreandmoredeveloped.Duetothe【B1】______conveniencesbroughtaboutbythe
最新回复
(
0
)