问答题

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

【参考答案】

(l)合并规则:若X一Z,X一Y,则有X一YZ
(2)伪传递规则:由x一Y,明吟z有翔一z
(3)分......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)