找考题网-背景图
单项选择题

A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含B.由X→Y及,有X→ZC.由X→Y,WY→Z,有X……

下面哪一条是对Armstrong公理系统中合并律的描述( )

A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
B.由X→Y及
,有X→Z
C.由X→Y,WY→Z,有XW→Z
D.由X→Y,X→Z,有X→YZ