A formula is a formula that uses mathematical symbols to express a certain relationship (such as a law or theorem) between various quantities. It is universal and applicable to all similar problems. In mathematical logic, a formula is a formal grammatical object to express a proposition, but the proposition may depend on the free variable value of the formula.