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