(2)伪传递规则(Pseudotransitivity Rule):若X→Y和WY→Z,则WX→Z。
基于42个网页-相关网页
引理2:如下三条推理规则是正确的: 公理包含如下三条推理规则: (2) 伪传递规则(Pseudo Transitivity):如果X→Y,YW→Z,则 XW→Z。 (1) 合并规则(Union):如果X→Y,X→Z,则X→YZ。
基于12个网页-相关网页
伪传递规则
Pseudo-transfer rule
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动