Todas as perguntas

O principio de substituição de Liskov diz que se dados tipos T e S sendo S subtipo de T então S deve poder ser substituído por T. Meu entendimento é que se eu tenho uma instância de S então eu posso ...