问答题
论述题
试由amstrong 公理系统推导出下面三条推理规则
【参考答案】
（l）合并规则：若X一Z，X一Y，则有X一YZ
（2）伪传递规则：由x一Y，明吟z有翔一z
（3）分......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
