Петрок — производная форма имени Петр, которое в переводе с древнегреческого означает «камень, скала». Фамилии с основой Петр встречаются среди славян очень часто. Поэтому Петроченко буквально понималось как «сын Петрока».