如果Y⊆X⊆U,则X→Y成立,这条推理规则称为();如果X→Y和WY→Z成立,则WX→Z成立,这条推理规则称为()。
出自:计算机科学