河南公基
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU
华图教育 | 2020-04-09 12:46
收藏
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）
延伸阅读
微信咨询
微信中长按识别二维码 咨询客服
