Подформула

Translation of "подформула" into English

Noun

Основная форма

/pɐtˈformʊlə/

подформула

подформулы / pl

подформуле

подформулу

подформулой

подформул pl

подформулам pl

подформулами pl

подформулах pl

подформулою

В логике подформула является частью более сложной формулы.

In logic, a subformula is a part of a more complex formula.

Noun

Основная форма

/pɐtˈformʊlə/

Часть формулы, которая выделяется в составе более сложной формулы и может рассматриваться как самостоятельная формула.

В логике подформула может быть использована для упрощения анализа сложных выражений.