-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Subformula
Übersetzung von "subformula" ins Russisch
subformula
Substantiv
UK
/sʌbˈfɔːmjʊlə/
US
/sʌbˈfɔrmjələ/
subformula
subformulas Pl.
subformulae Pl.
In logic, a subformula is a part of a larger formula.
В логике подформула является частью более крупной формулы.
Definitionen
subformula
Substantiv
UK
/sʌbˈfɔːmjʊlə/
US
/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.
subformula
Adjektiv
UK
/sʌbˈfɔːmjʊlə/
US
/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.