Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述()。

9 查阅

Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述()。

A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含

B.由X→Y及Z→Y,有X→Z

C.由X→Y,WY→Z,有XW→Z

D.由X→Y,X→Z,有X→YZ

参考答案:

答案:由X→Y,WY→Z,有XW→Z