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) Given a formula, a formula that is part of the given formula.

Holonyms[edit]

Translations[edit]