如果X→Y和Z⊆Y成立,则X→Z成立,这条推理规则称为____。
如果X→Y和Z⊆Y成立,则X→Z成立,这条推理规则称为____。
【正确答案】:分解性
Top