由Armp公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们 发布时间:2021-08-24 13:40 │ 来源:www.tikuol.com 题型:填空题 问题: 由Armp公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们是合并规则、分解规则和 ______。