WELLFORMEDFORMULA
Well-formed formula
In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word 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.The above text is a snippet from Wikipedia: Well-formed formula
and as such is available under the Creative Commons Attribution/Share-Alike License.