Понятие подформулы в дискретной математике

Что такое подформула? Не смогла найти нигде. Срочно нужно все что с ней связано