【正确答案】 1、增广律    

【答案解析】【解析】Almstrong公理系统包括3条推理规则：自反律：若Y≤X≤U，则X→Y为F所逻辑蕴含；增 广律：若x→Y为F所逻辑蕴含，且z≤u，则XZ→YZ为F所逻辑蕴含；传递律：若X→Y及 Y→Z为F所逻辑蕴含，则x→Z为F所逻辑蕴含。