In
mathematics, a formula generally refers to an
equation or
inequality relating one
mathematical expression to another, with the most important ones being
mathematical theorems. For example, determining the
volume of a
sphere requires a significant amount of
integral calculus or its
geometrical analogue, the
method of exhaustion. However, having done this once in terms of some
parameter (the
radius for example), mathematicians have produced a formula to describe the volume of a sphere in terms of its radius: : V = \frac{4}{3} \pi r^3. Having obtained this result, the volume of any sphere can be computed as long as its radius is known. Here, notice that the volume
V and the radius
r are expressed as single letters instead of words or phrases. This convention, while less important in a relatively simple formula, means that mathematicians can more quickly manipulate formulas which are larger and more complex. Mathematical formulas are often
algebraic,
analytical or in
closed form. In a general context, formulas often represent mathematical models of real world phenomena, and as such can be used to provide solutions (or approximate solutions) to real world problems, with some being more general than others. For example, the formula : F = ma is an expression of
Newton's second law, and is applicable to a wide range of physical situations. Other formulas, such as the use of the
equation of a
sine curve to model the
movement of the tides in a
bay, may be created to solve a particular problem. In all cases, however, formulas form the basis for calculations.
Expressions are distinct from formulas in the sense that they don't usually contain
relations like
equality (=) or
inequality (8x-5 is an expression, while 8x-5 \geq 3 is a formula. However, in some areas mathematics, and in particular in
computer algebra, formulas are viewed as expressions that can be evaluated to
true or
false, depending on the values that are given to the variables occurring in the expressions. For example 8x-5 \geq 3 takes the value
false if is given a value less than 1, and the value
true otherwise. (See
Boolean expression)
In mathematical logic In
mathematical logic, a formula (often referred to as a
well-formed formula) is an entity constructed using the symbols and formation rules of a given
logical language. For example, in
first-order logic, :\forall x \forall y (P(f(x)) \rightarrow\neg (P(x) \rightarrow Q(f(y),x,z))) is a formula, provided that f is a unary function symbol, P a unary predicate symbol, and Q a ternary predicate symbol. ==Chemical formulas==