判定溶剂的极性大小是（）

Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】

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

Atmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且

，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。

A．若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵

B．若X→Y，X→Z，则X→YZ为F所蕴涵

C．若X→Y，WY→Z，则XW→Z为F所蕴涵

D．若X→Y为F所蕴涵，且Z？U，则XZ→YZ为F所蕴涵

A．若X→Y,X→Z,则X→YZ为F所蕴涵

B．若X→Y,WY→Z,则XW→Z为F所蕴涵

C．若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵

D．若Ⅹ→Y为F所蕴涵,且Z U,则XZ→YZ为F所蕴涵

A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵

B.若X→Y，X→Z，则X→YZ为F所蕴涵

C.若X→Y，WY→Z，则XW→Z为F所蕴涵

D.若X→Y为F所蕴涵，且Z？U，则XZ→YZ为F所蕴涵

A．若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵

B．若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵

C．若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵

D．若 X→Y，为 F 所蕴涵，且 Z？U,则入 XZ→YZ 为 F 所蕴涵

A．若X→Y，X→Z，则X→YZ为F所蕴涵

B．若X→Y，WY→Z，则XW→Z为F所蕴涵

C．若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵

D．若X→Y，为F所蕴涵，且ZU,则入XZ→YZ为F所蕴涵

（52）设 F 是属性组U 上的一组函数依赖，下列哪一条属于 Armstrong 公理系统中的基本推理规则

A）若 X→Y 及 X→Z 为F 所逻辑蕴含，则 X→YZ 为F 所逻辑蕴含

B）若 X→Y 及 Y→Z 为F 所逻辑蕴含，则 X→Z 为F 所逻辑蕴含

C）若 X→Y 及 WY→Z 为F 所逻辑蕴含，则 XW→Z 为F 所逻辑蕴含

D）若 X→Y 为F 所逻辑蕴含，且 Z Y，则 X→Z为 F 所逻辑蕴含