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:
“I cannot give you the formula for success, but I can give you the formula for failure—which is: Try to please everybody.”
—Herbert B. Swope (1882–1958)