O princípio da substituição de Liskov costuma ser enunciado da seguinte forma: deve ser possível substituir classes derivadas pelas classes bases s...

Sim, a alternativa correta que completa a lacuna é a letra "d) Substituição de Liskov". O princípio da substituição de Liskov é uma técnica de programação orientada a objetos que estabelece que, em um programa de computador, se uma função é chamada com um objeto de uma classe base, então o mesmo deveria funcionar corretamente se um objeto da classe derivada fosse passado em seu lugar. Isso significa que as classes derivadas devem ser substituíveis pelas classes base sem afetar a corretude do programa.