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

admin2009-02-19  21

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

选项 A、分配律
B、自反律
C、传递律
D、增广律

答案8

解析 Armstrong公理系统包括3条基本的推理规则:①自反律。若YXU,则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。由以上的说明可以看出,题干所给的推理规则符合增广律的格式。
转载请注明原文地址:https://jikaoti.com/ti/ujQ7FFFM
0

随机试题
最新回复(0)