当前位置: X题卡 > 所有题目 > 题目详情

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

查看本题答案

你可能感兴趣的试题

若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且Z[*]Y,则X→Z为F所逻辑蕴含  
若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且Z属于Y,则X→Z为F所逻辑蕴含  
若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  由X→Y及Z
Y,有X→Z  
由X→Y,WY→Z,有XW→Z  由X→Y,X→Z,有X→YZ  

热门试题

更多