Well-Formed Formula

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactically valid expression of a formal language constructed from atomic formulas and logical connectives according to the formation rules of that language; commonly abbreviated WFF.