well-formed formula

From Wiktionary, the free dictionary

Jump to navigation Jump to search

English[edit]

Noun[edit]

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

(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[edit]

wff, WFF

Hyponyms[edit]

axiom

Meronyms[edit]

symbols

Holonyms[edit]

formal language

See also[edit]

well-posed

References[edit]

well-formed formula on Wikipedia.Wikipedia

Retrieved from "https://en.wiktionary.org/w/index.php?title=well-formed_formula&oldid=70375603"