Можно ли сказать, что наследование обеспечивает возможность объектам демонстрировать различное поведение при использовании одного интерфейса?

Да, наследование в объектно-ориентированном программировании позволяет создавать иерархии классов, где подклассы могут переопределять методы базового класса. Это обеспечивает возможность объектам разных классов демонстрировать различное поведение при использовании одного и того же интерфейса (набор методов). Такой механизм называется полиморфизмом.

Например, если есть базовый класс Животное с методом издать_звук(), то подклассы Собака и Кошка могут реализовать этот метод по-разному, но при вызове издать_звук() через ссылку на базовый класс будет выполнено поведение конкретного объекта.