No contexto da base teórica da normalização em projetos de modelagem de bancos de dados, é possível expandir um conjunto de dependências funcionais por meio de deduções de acordo com os Axiomas de Armstrong.
À luz desses axiomas, assinale a dedução inválida.