subformula
Contents
EnglishEdit
EtymologyEdit
NounEdit
subformula (plural subformulas or subformulae)
 (logic) Given a formula, a formula that is part of the given formula.
HolonymsEdit
TranslationsEdit
formula that is a part of another one

subformula (plural subformulas or subformulae)
