填空题
由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规则、分解规则和 ______。
- 1、
【正确答案】
1、伪传递规则
【答案解析】[解析] Armstrong公理系统包括以下3条推理规则。
①自反律。若Y
XU，则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。
③传递律．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
根据以上3条推理规则可以得到以下以下3条有用的规则。
①合并规则。由X→Y，X→Z，有X→YZ。
②伪传递规则．由X→Y，WY→Z，有XW→Z。
③分解规则。由X→Y及Z
XU，则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。
③传递律．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
根据以上3条推理规则可以得到以下以下3条有用的规则。
①合并规则。由X→Y，X→Z，有X→YZ。
②伪传递规则．由X→Y，WY→Z，有XW→Z。
③分解规则。由X→Y及Z