Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,则XZ→YZ为F所逻辑蕴含。这
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
正确答案：增广律Armstrong公理系统包括3条推理规则：
词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
正确答案：增广律Armstrong公理系统包括3条推理规则：
词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。