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.