Формула цели это супер краткое вербальное описание  ↑

Так точно. Формула цели это супер краткое вербальное описание, соответствующее логической конструкции: когда Х, тогда У.