首页 > 计算机 > 计算机三级 正文

Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,则XZ→YZ为F所逻辑蕴含。这

时间:2021-05-04 09:40:59 解答: 93 次

Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

正确答案:

增广律Armstrong公理系统包括3条推理规则:

请充值VIP继续使用(未注册用户支付后会自动注册登录)

×

95元 29元

VIP截止日期:2025-01-02 10:43:26

←请使用支付宝扫码支付

95元 29元

VIP截止日期:2025-01-02 10:43:26

←请使用微信扫码支付