填空题 如果x->y,y->z成立，那么x->z也成立，这个推理规则称为 1。