早教吧 育儿知识 作业答案 考试题库 百科 知识分享
早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->

若A→B为F所逻辑蕴涵,且CU,则AC→BC为F所逻辑蕴涵,这是函数依赖的()推理规则。A.分配律B.自反律C.传

题目

若A→B为F所逻辑蕴涵,且CU,则AC→BC为F所逻辑蕴涵,这是函数依赖的( )推理规则。

A.分配律

B.自反律

C.传递律

D.增广律

参考答案
正确答案:D
解析:Armstrong公理系统包括3条基本的推理规则:①自反律。若YXU,则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。由以上的说明可以看出,题干所给的推理规则符合增广律的格式。