下面哪一条是对Armstrong公理系统中合并律的描述?()A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴

Question

下面哪一条是对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

Answer 1

正确答案：D
解析：Armstrong公理系统包括6个推理规则，自反律：若，则称X→Y为F所逻辑蕴含。增广律：若X→Y为F所逻辑蕴含，且，则XZ→YZ为F所逻辑蕴含。传递律；若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。合并律：由X→Y，X→Z，有X→YZ。伪传递律：由X→Y，WY→Z，有XW→Z。分解律：由X→Y及，有X→Z。