问题
问答题 论述题
试由amp 公理系统推导出下面三条推理规则
答案
参考答案：
（l）合并规则：若X一Z，X一Y，则有X一YZ
（2）伪传递规则：由x一Y，明吟z有翔一z
（3）分解规则：x一Y，zcy，有x一z
证明
（l）已知X一Z，由增广律知哟，YZ，又因为X一Y，可得狱一X卜）YZ，最后根据传递律得x一YZ。
（2）已知X一Y，据增广律得翔一Wy，因为阴几）Z，所以X林协明，Z，通过传递律可知翔一Z。
（3）已知zcy，根据自反律知、吟z，又因为x一Y，所以由传递律可得x一Z。