问题
单项选择题
Armp公理系统包括6个推理规则，下面哪一条是对伪传递规则的描述 ( )
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及Z
Y，有X→Z
C．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ
答案
参考答案：C
解析：
[分析]： 选项A是公理系统中传递律的描述，选项B是对推理规则中的分解规则的描述，选项D是对合并规则的描述，选项C正是对伪传递规则的描述。
搜题请搜索小程序“爱下问搜题”