- well-formed formula
- At its most general a formula may be thought of in logical theory as any string of symbols from the lexicon of the theory. A well-formed formula (abbreviated as wff) is one that obeys the formation rules of the system. Since other strings are typically of no interest, well-formed formulae are often simply referred to as formulae.

*Philosophy dictionary.
Academic.
2011.*

### Look at other dictionaries:

**Well-formed formula**— In mathematical logic, a well formed formula (often abbreviated WFF, pronounced wiff or wuff ) is a symbol or string of symbols (a formula) that is generated by the formal grammar of a formal language. To say that a string S is a WFF with respect … Wikipedia**Well-formed**— may refer to:* Well formed element, an element in webpage design * Well formed formula, a string that is generated by a formal grammar in logic * Well formed outcome, a Neuro Linguistic Programming conceptee also* Well formedness … Wikipedia**Formula (mathematical logic)**— In mathematical logic, a formula is a type of abstract object a token of which is a symbol or string of symbols which may be interpreted as any meaningful unit (i.e. a name, an adjective, a proposition, a phrase, a string of names, a string of… … Wikipedia**Formula SAE**— is a student design competition organized by the Society of Automotive Engineers. The competition was started back in 1978 and was originally called [http://www.sae.org/students/fsaehistory.pdf SAE Mini Indy] .The concept behind Formula SAE is… … Wikipedia**Formula One**— F1 redirects here. For other uses, see F1 (disambiguation). For other uses, see Formula One (disambiguation). Formula One Category Single seater Country or region Worldwide … Wikipedia**Formula SimRacing**— Infobox motorsport championship logo = pixels = 200px caption = The official Formula SimRacing logo, created for International SimRacing Club. category = Computer sim racing single seaters country/region = International inaugural2 = 2001 drivers … Wikipedia**Formula 16 (sailing)**— The Formula 16 (F16) sport catamaran is a 5 m long beach catamaran with an asymmetric spinnaker setup.It is actively sailed in two modes: doublehanded with a jib ( 2 up ), and singlehanded without a jib ( 1 up ).Its class rules setup is very… … Wikipedia**Formula Three Euroseries**— Infobox motorsport championship pixels = 199px caption = current season = 2008 Formula Three Euroseries season category = Single seaters inaugural = 2003 drivers = 29 (2007) teams = 12 (2007) constructors = 2 (2007) engines = 3 (2007)… … Wikipedia**Atomic formula**— In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia**Propositional formula**— In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia**History of Formula One**— Formula One has its roots in the European Grand Prix motor racing ( q.v. for pre 1947 history) of the 1920s and 1930s. However, the foundation of Formula One began in 1946 with the Fédération Internationale de l Automobile s (FIA s)… … Wikipedia