subformula in German subformula in German Teilformel noun (logic) A formula that is part of another formula. Add to Flashcards
