A sobrecarga de métodos é um exemplo de implementação do princípio do polimorfismo na programação orientada a objetos?

Sim, a sobrecarga de métodos (method overloading) é um exemplo de polimorfismo na programação orientada a objetos, especificamente o polimorfismo de tempo de compilação (polimorfismo estático).

A sobrecarga ocorre quando numa mesma classe existem vários métodos com o mesmo nome, mas com parâmetros diferentes (tipo, quantidade ou ordem). O compilador escolhe o método adequado na fase de compilação, dependendo dos argumentos passados.

Exemplo:

class Calculator {
    int add(int a, int b) {
        return a + b;
    }

    double add(double a, double b) {
        return a + b;
    }
}

Aqui, o método add está sobrecarregado para trabalhar com números inteiros e decimais.