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:
“So, if we must give a general formula applicable to all kinds of soul, we must describe it as the first actuality [entelechy] of a natural organized body.”
—Aristotle (384–323 B.C.)