问题 填空题

Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z

U,则 XZ→YZ为F所逻辑蕴涵。这条推理规则称作

答案

参考答案:增广律

选择题
多项选择题