Definify.com
Definition 2024
subformula
subformula
English
Noun
subformula (plural subformulas or subformulae)
- (logic) Given a formula, a formula that is part of the given formula.
Holonyms
Translations
formula that is a part of another one
|