O princípio da substituição de Liskov (LSP) afirma que objetos de uma superclasse devem poder ser substituídos por objetos de uma subclasse 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 princípio, pois alterar o tipo de retorno pode causar comportamentos inesperados no sistema. B) Uma subclasse adiciona métodos extras, mas mantém o comportamento original dos métodos herdados - Esta opção não viola o princípio, pois o comportamento original é mantido. C) Uma subclasse respeita todas as assinaturas dos métodos da superclasse sem modificações - Esta opção também não viola o princípio, pois a subclasse está mantendo a compatibilidade. D) Uma subclasse estende a funcionalidade sem alterar a estrutura lógica da superclasse - Esta opção não viola o princípio, pois a subclasse está apenas estendendo a funcionalidade. E) Uma subclasse apenas implementa interfaces sem modificar o comportamento esperado - Esta opção não viola o princípio, pois a implementação da interface não altera o comportamento esperado. 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.