FORMULA A formula is any sequence of symbols from the basic vocabulary of a formal language. A formula need not conform to the formation rules of the language. If it does, then it is a well-formed formula. [Coo09, p. 124-125]