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