由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们是合并规则、分解规则和 ______。

admin2009-02-19  35

问题 由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们是合并规则、分解规则和 ______。

选项

答案伪传递规则

解析 Armstrong公理系统包括以下3条推理规则。①自反律。若YXU,则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及ZY,有X→Z。
转载请注明原文地址:https://jikaoti.com/ti/30Q7FFFM
0

最新回复(0)