ru

Субформульность

en

Übersetzung von "субформульность" ins Englisch

субформульность
Substantiv
raiting
Основная форма
/supfɐrmulʲnostʲ/
Основная форма
/supfɐrmulʲnostʲ/
Специальный логический термин; обычно употребляется только в единственном числе.
subformulahood
Logic; the property of being a subformula of another formula.
Субформульность этой формулы важна для доказательства.
The subformulahood of this formula is important for the proof.

Definitionen

субформульность
Substantiv
raiting
Основная форма
/supfɐrmulʲnostʲ/
Основная форма
/supfɐrmulʲnostʲ/
Свойство формулы быть субформулой другой формулы.
Субформульность выражения учитывают при анализе структуры формулы.