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:
“The formula for achieving a successful relationship is simple: you should treat all disasters as if they were trivialities but never treat a triviality as if it were a disaster.”
—Quentin Crisp (b. 1908)