logic Definition Subformula A subformula is a formula contained in another formula. More precisely, a formula is a subformula of a formula if or if occurs as a proper part of according to the formation rules of the underlying logic.