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