O princípio da substituição de Liskov (LSP) afirma que uma subclasse deve ser capaz de substituir sua superclasse sem que o comportamento do sistema seja alterado. Isso significa que a subclasse deve manter a compatibilidade com os métodos e comportamentos 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 claramente viola o princípio, pois mudar o tipo de retorno pode afetar o comportamento esperado. 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á seguindo as regras da superclasse. 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 funcionalidade é estendida, mas a estrutura lógica permanece intacta. E) Uma subclasse apenas implementa interfaces sem modificar o comportamento esperado - Esta opção não viola o princípio, pois a implementação de interfaces não altera o comportamento da superclasse. 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.