well-formed formula

English

Noun

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

wff, WFF

Hyponyms

axiom

Holonyms

formal language

Meronyms

symbols

See also

well-posed

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.