(17)Annstrong公理系统的3条推理规则是___________、增广律和传递律。