试由amstrong 公理系统推导出下面三条推理规则： （ 1 ）合并规则：若X 一Z ， X 一Y ，则有X 一YZ （ 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z （ 3 ）分解规则：x 一Y ， zcy ，有x 一z
正确答案:（ 1 ）已知X 一Z ，由增广律知哟，YZ ，又因为X 一Y ，可得狱一X 卜）YZ ，最后根据传递律得x 一YZ 。
（ 2 ）已知X 一Y ，据增广律得翔一Wy ，因为阴几）Z ，所以X 林协明，Z ，通过传递律可知翔一Z 。
（ 3 ）已知zcy ，根据自反律知、吟z ，又因为x 一Y ，所以由传递律可得x 一Z 。
（ 2 ）已知X 一Y ，据增广律得翔一Wy ，因为阴几）Z ，所以X 林协明，Z ，通过传递律可知翔一Z 。
（ 3 ）已知zcy ，根据自反律知、吟z ，又因为x 一Y ，所以由传递律可得x 一Z 。
答案解析:有
微信扫一扫手机做题