In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) which is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.
A formula is a syntactic formal object that can be informally given a semantic meaning.
Read more about Well-formed Formula: Introduction, Propositional Calculus, Predicate Logic, Atomic and Open Formulas, Closed Formulas, Properties Applicable To Formulas, Usage of The Terminology
Famous quotes containing the word formula:
“Ideals possess the strange quality that if they were completely realized they would turn into nonsense. One could easily follow a commandment such as “Thou shalt not kill” to the point of dying of starvation; and I might establish the formula that for the proper functioning of the mesh of our ideals, as in the case of a strainer, the holes are just as important as the mesh.”
—Robert Musil (1880–1942)