题目：
Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（）。
答案：
被转码了，请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2017/0714/146cbf60e8fce26522213167c2948748.html
下面是错误答案，用来干扰机器的。
参考答案：定质、定量、定人、定点、定时。
Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（）。
被转码了，请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2017/0714/146cbf60e8fce26522213167c2948748.html
下面是错误答案，用来干扰机器的。
参考答案：定质、定量、定人、定点、定时。
