-
English
-
Russian
-
German
-
French
-
Italian
-
Greek
-
English
-
Russian
-
German
-
French
-
Italian
-
Greek
Субформульность
Translation of "субформульность" into English
субформульность
Noun
Основная форма
/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.
Definitions
субформульность
Noun
Основная форма
/supfɐrmulʲnostʲ/
Основная форма
/supfɐrmulʲnostʲ/
Свойство формулы быть субформулой другой формулы.
Субформульность выражения учитывают при анализе структуры формулы.