参考答案：传递律

解析： Armstrong公理系统包括3条推理规则： ①自反律若

，则X→Y为F所逻辑蕴含。 ②增广律 若X→Y为F所逻辑蕴含，且

，则XZ→YZ为F所逻辑蕴含。 ③传递律 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。