Definition:Well-Formed Formula
From ProofWiki
Definition
A well-formed formula is the term used for a well-formed word, usually of propositional calculus or predicate calculus.
The term is usually encountered as WFF (pronounced something like woof or oof, depending on preference).
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 2.1$
