Definition:Well-Formed Formula/Also known as

Well-Formed Formula: Also known as

The term well-formed formula is often encountered in its abbreviated form WFF or wff, pronounced something like woof or oof, depending on personal preference.

Other names include well-formed word or simply formula.

Some less formal approaches use the term statement form.

(Well-formed) expression is also seen.

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules (in the context of the language of propositional logic)
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): well-formed formula (wff)
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): well-formed formula (wff)
• 2021: Richard Earl and James Nicholson: The Concise Oxford Dictionary of Mathematics (6th ed.) ... (previous) ... (next): well-formed formula (wff)