A．rmstrong公理系统的三条推理规则是自反律、传递律和__________ 。

[试题]A．rmstrong公理系统的三条推理规则是自反律、__________、增广律。

[试题]（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。

[试题]（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。

[问答题,论述题] 试由amstrong 公理系统推导出下面三条推理规则

[单选题]下面哪一条是对Armstrong公理系统中合并律的描述?( )A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含B．由X→Y及，有X→ZC．由X→Y，WY→Z，有XW→ZD．由X→Y，X→Z，有X→YZ

[单选题]下列哪一条不属于Armstrong公理系统中的基本推理规则?A．若Y∈x，则X→YB．若x→Y，则XZ→YZC．若x→Y，且z∈Y，则X→zD．若x→Y，且Y→Z，则x→z

[单选题]下列哪些条不属于Armstrong公理系统中的基本推理规则？I．若YX,则X→YII．若X→Y，则XZ→YZIII. 若X→Y,且ZY,则X→ZIV．若X→Y,且Y→Z,则X→ZV．若X→Y，且X→Z,则X→YZA．仅I和IIIB．仅III和VC．仅II和IVD．仅IV和V

[单选题]下面关于函数依赖的叙述中，（ ）是Armstrong公理系统中的推理规则。

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。