Subformula

/sʌbˈfɔːmjʊlə/

/sʌbˈfɔrmjələ/

Перевод слова "subformula" на Русский язык

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

/sʌbˈfɔːmjʊlə/

/sʌbˈfɔrmjələ/

subformula

subformulas множ.

subformulae множ.

In logic, a subformula is a part of a larger formula.

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

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

/sʌbˈfɔːmjʊlə/

/sʌbˈfɔrmjələ/

A part of a larger formula, often used in mathematical logic or computer science, representing a smaller expression within a more complex expression.

In the logical expression (A ∧ (B ∨ C)), the subformula (B ∨ C) is evaluated first.

Прилагательное

/sʌbˈfɔːmjʊlə/

/sʌbˈfɔrmjələ/

Relating to or characteristic of a subformula within a larger logical expression.

The subformula property is crucial in proofs of cut-elimination.