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