根据推理规则导出的规则 1根据A1,A2,A3这三条推理规则可以得到下面三条推理规则: 合并规则:由X→y,X→z,有X→Yz。 (A2,A3) 伪传递规则:由X→Y,WY→z,有ⅩW→z (A2,A3) 分解规则:由Ⅹ→Y及zY,有X→z。 (A1,A3) 2根据合并规则和分解规则,可得引理6.1; 引理6.X→A1A2A成立的充分必要条件是X→A成立(i=,2,… k)。根据推理规则导出的规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： • 合并规则：由X→Y，X→Z，有X→YZ。 （A2， A3） • 伪传递规则：由X→Y，WY→Z，有XW→Z。 （A2， A3） • 分解规则：由X→Y及 Z  Y，有X→Z。 （A1， A3） 2.根据合并规则和分解规则，可得引理6.1； 引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…， k）