subformula

Contents

1 English
- 1.1 Etymology
- 1.2 Noun
  - 1.2.1 Holonyms
  - 1.2.2 Translations

EnglishEdit

EtymologyEdit

sub- +‎ formula

NounEdit

subformula (plural subformulas or subformulae)

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

HolonymsEdit

formula

TranslationsEdit

formula that is a part of another one

Czech: podformule f

Retrieved from "https://en.wiktionary.org/w/index.php?title=subformula&oldid=51754487"