O Princípio da Substituição de Liskov (LSP) afirma que objetos de uma classe derivada devem poder substituir objetos de uma classe base sem alterar as propriedades desejáveis do programa, como a correção. Isso significa que a subclasse deve manter o comportamento esperado da superclasse. Vamos analisar as alternativas: A) Uma subclasse altera o tipo de retorno de um método da superclasse, tornando-o incompatível - Esta opção viola o LSP, pois altera o comportamento esperado ao mudar o tipo de retorno. B) Uma subclasse adiciona métodos extras, mas mantém o comportamento original dos métodos herdados - Esta opção não viola o LSP, pois o comportamento original é mantido. C) Uma subclasse respeita todas as assinaturas dos métodos da superclasse sem modificações - Esta opção não viola o LSP, pois mantém a compatibilidade. D) Uma subclasse estende a funcionalidade sem alterar a estrutura lógica da superclasse - Esta opção também não viola o LSP, pois a estrutura lógica é mantida. E) Uma subclasse apenas implementa interfaces sem modificar o comportamento esperado - Esta opção não viola o LSP, pois não altera o comportamento. Portanto, a alternativa que exemplifica uma violação do Princípio da Substituição de Liskov é: A) Uma subclasse altera o tipo de retorno de um método da superclasse, tornando-o incompatível.