Подформула

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

Существительное

подформула

подформулы / множ.

подформуле

подформулу

подформулой

подформул множ.

подформулам множ.

подформулами множ.

подформулах множ.

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

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

Существительное

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

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