Armstrong公理系统最基本的三个推理规则是：（）。
题目
Armstrong公理系统最基本的三个推理规则是：（）。
相似考题
更多“Armstrong公理系统最基本的三个推理规则是：（）。”相关问题
-
第1题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
正确答案：
增广律
Armstrong公理系统包括3条推理规则：
-
第2题：
Armstrong公理系统的3条推理规则是自反律、增广律和______。
正确答案：传递律
传递律 解析：Armstrong公理系统包括3条推理规则。设F是属性组U上的一组函数依赖，于是有以下推理规则。①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且Z∈U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。 -
第3题：
由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规则、分解规则和 ______。
正确答案：伪传递规则
伪传递规则 解析：Armstrong公理系统包括以下3条推理规则。①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下以下3条有用的规则。①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则．由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及ZY，有X→Z。 -
第4题：
Armstrong公理系统包括6个推理规则，下面哪一条是对伪传递规则的描述? ( )
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及Z
Y，有X→ZC．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ
正确答案：C
-
第5题：
下列关于Armstrong公理系统的叙述中，错误的是______。
A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来
C．通常把自反律、传递律和增广律统称为Armstrong公理系统
D．Armstrong公理系统中的传递律就是传递函数依赖
正确答案：D
解析：根据传递律和传递函数依赖的定义可知，这两者不是同一个概念，尽管它们形式类似。 -
第6题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指为（ ）为F所蕴涵。
答案：C解析： -
第7题：
（）总结了古希腊的推理几何，运用公理方法，以一些最基本、最原始、最简化的定义、公理为依据，演绎出不朽的巨著《几何原本》。
- A、欧几里得
- B、柏拉图
- C、德谟克利特
- D、亚里士多德
正确答案:A -
第8题：
Amrstrong公理系统的三条基本推理规则有（）、（）、（）。
正确答案:自反律；传递律；增广律 -
第9题：
试由amstrong 公理系统推导出下面三条推理规则
正确答案: （l）合并规则：若X一Z，X一Y，则有X一YZ
（2）伪传递规则：由x一Y，明吟z有翔一z
（3）分解规则：x一Y，zcy，有x一z
证明
（l）已知X一Z，由增广律知哟，YZ，又因为X一Y，可得狱一X卜）YZ，最后根据传递律得x一YZ。
（2）已知X一Y，据增广律得翔一Wy，因为阴几）Z，所以X林协明，Z，通过传递律可知翔一Z。
（3）已知zcy，根据自反律知、吟z，又因为x一Y，所以由传递律可得x一Z。 -
第10题：
什么是公理化方法？公理化系统遵循的基本原则是什么？
正确答案: 公理化方法：从一些基本的概念和公理出发，利用纯逻辑推理的方法，把一门学科建立成演绎系统的方法。 -
第11题：
填空题欧几里得总结了古希腊的推理几何，运用公理的方法，以一些最基本、最原始、最简化的定义、公理为依据，演绎出不朽巨著（）正确答案： 《几何原本》解析： 暂无解析 -
第12题：
填空题Annstrong公理系统的3条推理规则是（）、增广律和传递律。正确答案： 自反解析： 暂无解析 -
第13题：
Armstrong公理系统中的增广律的含义是:设RArmstrong公理系统中的增广律的含义是：设R＜U，F＞，是一个关系模式，X，Y是U中属性组，若x→Y为F所逻辑蕴含，且Z∈U，则【 】为F所逻辑蕴含。
正确答案：XZ→YZ
XZ→YZ 解析：根据Armstrong公理系统中的A2增广律可知答案为XZ→YZ。 -
第14题：
下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。
A．若Y→X， 则X→Y
B．若X→Y，WY→Z， 则XW→Z
C．若XY→Z， 则X→Z，Y→Z
D．若X→YZ， 则X→Y，X→Z
正确答案：B
解析：Armstrong公理系统包括以下3条推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下3条有用的规则：①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则。由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及ZY，有X→Z。对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。 -
第15题：
下列哪一条不属于Armstrong公理系统中的基本推理规则?
A．若Y∈x，则X→Y
B．若x→Y，则XZ→YZ
C．若x→Y，且z∈Y，则X→z
D．若x→Y，且Y→Z，则x→z
正确答案：C
解析：选项A)为自反律、选项B)为增广律、选项D)为传递律，选项c)是Armstrong公理的推论。 -
第16题：
下面关于函数依赖的叙述中，（ ）是Armstrong公理系统中的推理规则。
正确答案：B
Armstrong公理系统包括三条推理规则： -
第17题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（ ）为F所蕴涵。
A.若A→B，B→C，则A→CB.若Y⊆X⊆U，则X→Y。C.若A→B，A→C ,则A→BCD.若A→B，C⊆B,则A→C
正确答案：C
-
第18题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统 (Armstrong公理系统)中的合并规则是指为（ ）为F所蕴涵。
A. 若A→B，B→C，则A→C
B. 若Y?X?U，则X→Y
C. 若A→B，B→C ,则A→BC
D. 若A→B，C?B,则A-+C
答案：C解析： -
第19题：
Annstrong公理系统的3条推理规则是（）、增广律和传递律。
正确答案:自反 -
第20题：
欧几里得总结了古希腊的推理几何，运用公理的方法，以一些最基本、最原始、最简化的定义、公理为依据，演绎出不朽巨著（）
正确答案:《几何原本》 -
第21题：
Amrstrong公理系统的三条附加的推理规则有（）、（）、（）。
正确答案:分解规则；合并规则；伪传递规则 -
第22题：
问答题试由amstrong 公理系统推导出下面三条推理规则正确答案： （l）合并规则：若X一Z，X一Y，则有X一YZ
（2）伪传递规则：由x一Y，明吟z有翔一z
（3）分解规则：x一Y，zcy，有x一z
证明
（l）已知X一Z，由增广律知哟，YZ，又因为X一Y，可得狱一X卜）YZ，最后根据传递律得x一YZ。
（2）已知X一Y，据增广律得翔一Wy，因为阴几）Z，所以X林协明，Z，通过传递律可知翔一Z。
（3）已知zcy，根据自反律知、吟z，又因为x一Y，所以由传递律可得x一Z。解析： 暂无解析 -
第23题：
填空题Armstrong公理系统的三条推理规则是自反律、增广律和（）正确答案： 传递律解析： 暂无解析