# Well-formed formula

## Syntactically correct logical formula / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Well-formed formula?

Summarize this article for a 10 year old

SHOW ALL QUESTIONS

For broader coverage of this topic, see Mathematical formula.

In mathematical logic, propositional logic and predicate logic, a **well-formed formula**, abbreviated **WFF** or **wff**, often simply **formula**, is a finite sequence of symbols from a given alphabet that is part of a formal language.^{[1]}

The abbreviation **wff** is pronounced "woof",^{[2]}^{[3]}^{[4]}^{[5]} or sometimes^{[6]} "wiff",^{[7]}^{[8]}^{[9]}, "weff",^{[10]}^{[11]} or "whiff".^{[12]}

A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.