Source: wikibot/well-formed-formula
= Well-formed formula
{wiki=Well-formed_formula}
A **well-formed formula** (often abbreviated as WFF) is a string of symbols that is formulated according to the rules of a formal language, ensuring that it is syntactically correct. In the context of logic, particularly in propositional and first-order logic, a well-formed formula is a meaningful expression that can be evaluated as either true or false. \#\#\# Characteristics of Well-formed Formulas 1.