WFF

(redirected from Well-formed formula)
Also found in: Acronyms, Encyclopedia, Wikipedia.

WFF

abbreviation for
(Logic) well-formed formula
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
Formation rules are a precise description of which strings of symbols are the well-formed formulas of a formal language.
By using logical connectives, [logical not], [conjunction], [disjunction], [right arrow], and [??], we can build what is called Well-Formed Formulas, compound propositions, which can be defined in the propositional logic as follows [16]:
The paradox occurs when a new symbol [DELTA] is introduced to the standard vocabulary of a formal arithmetic and its well-formed formulas increased to allow [DELTA]x where x is a numeral.