Subformula

Origin

- + formula

Full definition of subformula

Noun

1. (logic) Given a formula, a formula that is part of the given formula.

Holonyms

• formula