早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->
若A→B为F所逻辑蕴涵,且C(图片)U,则AC→BC为F所逻辑蕴涵,这是函数依赖的 ()推理规则。A.分配律B.自
题目
若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。
A．分配律
B．自反律
C．传递律
D．增广律
参考答案
正确答案：D
解析：Armstrong公理系统包括以下3条基本的推理规则。①自反律。若Y(图片)X(图片)U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且Z(图片)U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。由以上的说明可以看出，题干所给的推理规则符合增广律的格式。
解析：Armstrong公理系统包括以下3条基本的推理规则。①自反律。若Y(图片)X(图片)U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且Z(图片)U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。由以上的说明可以看出，题干所给的推理规则符合增广律的格式。
看了若A→B为F所逻辑蕴涵,且C(...的网友还看了以下：
空间向量基地问题如,a,b,c是不共面的向量,下面选项种可构成基底的一组a.2a,a-b,a+2b 数学 2020-05-13 …
求长方体表面积时S底=2*(A*B+B*C+A*C)这个公式的各求的是哪个面S底=2*(A*B+B 数学 2020-05-13 …
matlab 符号的集合运算比如syms a b c;union([a b c],[a a c]) 其他 2020-05-16 …
如图4-1-41,在直角三角形ABC中,两条直角边长分别是3cm、4cm,斜边长为5cm,若分别以 数学 2020-05-17 …
a*b*c=b(a*c)这是乘法交换结合律吗?a*b*c=b(a*c)这是乘法结合律,还是乘法交换 数学 2020-06-05 …
定理都是充要条件吗在不等式这章定理二:如果A>B,且B>C,那么A>C.这是个充要条件? 数学 2020-06-23 …
现实生活中有许多事物有传递性,也有一些事物不具有传递性.“剪刀、石头、布”这个游戏,是典型的不具有 其他 2020-08-01 …
如果a∥bb∥c那么a∥c这个推理的依据是（）（A）等量代换（B）平行线的定义（C）经过直线外一点 数学 2020-08-02 …
归纳推理和类比推理是数学中常用的合情推理;把所有情况都考虑在内的演绎推理规则叫做完全归纳推理;如果“ 数学 2020-11-21 …
下列句子中，标点符号使用正确的一组是（）A.你是参加电子计算机培训班呢？还是参加物理兴趣班呢？B.给 语文 2020-11-26 …