Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
增广律Armstrong公理系统包括3条推理规则:
VIP截止日期:2025-01-02 10:43:26
←请使用支付宝扫码支付VIP截止日期:2025-01-02 10:43:26
←请使用微信扫码支付