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