Definition:Well-Formed Formula

From ProofWiki
(Redirected from Definition:Well-Formed Word)
Jump to navigation Jump to search


Let $\mathcal F$ be a formal language whose alphabet is $\mathcal A$.

A well-formed formula is a collation in $\mathcal A$ which can be built by using the rules of formation of the formal grammar of $\mathcal F$.

That is, a collation in $\mathcal A$ is a well-formed formula in $\mathcal F$ if and only if it has a parsing sequence in $\mathcal F$.

Also known as

This is often encountered in its abbreviated form WFF, pronounced something like woof or oof, depending on personal preference.

Alternative names include well-formed word or simply formula.

(Well-formed) expression is also seen.