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

Question

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

A．分配律

B．自反律

C．传递律

D．增广律

Answer 1

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