что такой подформула?

Подформула это-логика высказываний или пропозицыональная логика, это раздел символической логики изучающий сложные высказывания образованные из простых и их взаимношения.