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

admin2006-10-18  33

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

选项

答案增广律

解析 Almstrong公理系统包括3条推理规则:自反律:若Y≤X≤U,则X→Y为F所逻辑蕴含;增广律:若x→Y为F所逻辑蕴含,且z≤u,则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则x→Z为F所逻辑蕴含。
转载请注明原文地址:https://kaotiyun.com/show/IK0Z777K
0

相关试题推荐
随机试题
最新回复(0)