试由amstrong 公理系统推导出下面三条推理规则：  （ 1 ）合并规则：若X 一Z ， X 一Y ，则有X 一YZ   （ 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z   （ 3 ）分解规则：x 一Y ， zcy ，有x 一z