Definify.com

Definition 2024


subformula

subformula

English

Noun

subformula (plural subformulas or subformulae)

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

Holonyms

Translations