单选题
Armstrong公理系统包括6个推理规则，下面哪一条是对伪传递规则的描述? ( )
A、
若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B、
由X→Y及Z
C、
由X→Y，WY→Z，有XW→Z
D、
由X→Y，X→Z，有X→YZ
【正确答案】
C
【答案解析】
[分析] 选项A是公理系统中传递律的描述，选项B是对推理规则中的分解规则的描述，选项D是对合并规则的描述，选项C正是对伪传递规则的描述。
提交答案
关闭