Правильно ли понял понятие — абстрактый метод?

Значит ли это что в остальных потомках этот метод будет(должен) уже просто быть виден с функционалом, созданным в п.2?

Нет, в абстрактном родителе метод все также пуст и все потомки этого родителя обязаны этот метод реализовать.

В принципе, верно.
1) Абстрактный класс может иметь абстрактный метод — то есть метод без реализации
2) Каждый прямой потомок абстрактного класса обязуется его реализовать
Потомок потомка уже имеет дело с перегруженным методом, поэтому не обязан самостоятельно его реализовывать.

Если нет никаких дополнительных модификаторов доступа, то да - метод определенный в базовом классе будет доступен в классе потомке. Наследование для этого и придумано.