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:
“But suppose, asks the student of the professor, we follow all your structural rules for writing, what about that “something else” that brings the book alive? What is the formula for that? The formula for that is not included in the curriculum.”
—Fannie Hurst (1889–1968)