试题出自试卷《系统架构设计师每日五题11月2日》

问题1选项
A.若Y⊆ X⊆ U，则X→ Y为F所蕴涵
B.X→ Y，Y→ Z、则X→ Y为F所蕴涵
C.若X→ Y，Z⊆ Y，则X→ Z为F所蕴涵
D.若X→ Y，X→ Z，则X→ YZ为F所蕴涵

A

A1.自反律（Reflexivity）：若Y⊆X⊆U，则X →Y成立。
A2.增广律（Augmentation）：若Z⊆U且X→Y，则XZ→YZ成立。
A3.传递律（Transitivity）：若X→Y且Y→Z，则X→Z成立。

根据A1，A2，A3这三条推理规则可以得到下面三条推理规则：
合并规则：由X→Y，X→Z，有X→YZ。（A2，A3）
伪传递规则：由X→Y，WY→Z，有XW→Z。（A2，A3）
分解规则：由X→Y及Z⊆Y，有X→Z。（A1，A3）

本题选择A选项。