subformula

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

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]