well-formed formula

English

Noun

well-formed formula (plural well-formed formulas or well-formed formulae)

1. (logic) A statement that is expressed in a valid, syntactically correct, manner.

   This program works correctly on all well-formed formulas but it blows up on illegal input.

Abbreviations

• wff, WFF

Hyponyms

• axiom

Holonyms

• formal language

Meronyms

• symbols

See also

• well-posed

References

• well-formed formula on Wikipedia.Wikipedia