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