Субформульность
Übersetzung von "субформульность" ins Englisch
субформульность
SubstantivОсновная форма
/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Основная форма
/supfɐrmulʲnostʲ/
Основная форма
/supfɐrmulʲnostʲ/
Свойство формулы быть субформулой другой формулы.
Субформульность выражения учитывают при анализе структуры формулы.