[问答题,论述题]

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

参考答案与解析：