找考题网-背景图
问答题

论述题 试由amstrong 公理系统推导出下面三条推理规则

【参考答案】

(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)已知......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)
热门试题