如果X→Y和X→Z成立,那么X→YZ也成立,这个推理规则称为()。
出自:计算机科学