设F是属性组U上的一组函数依赖，下列哪一条不属于Armp公理系统中的基本推理规则？（）

A．若YXU，则X→Y为F所逻辑蕴含

B．若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含

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

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

一患者左小腿外侧反复溃破流脓6年。检查：见左小腿上段外侧脓窦两处。X线摄片示：腓骨于上1/2段不规则破坏，有死腔3处，其中两腔内含有死骨，骨皮质广泛硬化。宜采用何种措施( )

A．换药，应用有效抗生素
B．行死骨摘除术，伤口敞开换药治疗
C．行死骨摘处术，蝶形术
D．行死骨摘除术，闭合冲洗吸引疗法
E．行病变骨段全部截除术