Выдержка из книги
Клини С.К.
Введение в математику
Если А - формула, то А является подформулой формулы А. Если А и В - формулы, то подформулы формул А и В являются подформулами формул AID В, А В и А V В. Если А - формула, то подформулы А являются подформулами формулы - i А.
