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

2 阅读

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

请帮忙给出正确答案和分析,谢谢!