Eu li que o princípio de substituição de Liskov é violado se:
As pré-condições são reforçadas, ou
Pós-condições são enfraquecidas
Mas ainda não entendi completamente como esses dois pontos violariam o princípio da substituição de Liskov. Alguém pode explicar com um exemplo. Especificamente, como qualquer uma das condições acima causaria uma situação em que um objeto de subclasse não pode ser substituído por um objeto de superclasse?