English edit

Etymology edit

sub- +‎ formula

Noun edit

subformula (plural subformulas or subformulae)

  1. (logic) A formula that is part of another formula.

Holonyms edit

Translations edit