设F是属性组U上的一组函数依赖，下列( )属于Armp公理系统中的基本推理规则。

A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

C．若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含

D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

诊断眼眶爆裂骨折，最好的检查方法（）

A.X线平片

B.CT冠状扫描

C.CT横断扫描

D.MRI

E.矢状面重建