Well-formed formula
Syntactically correct logical formula / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Well-formed formula?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
For broader coverage of this topic, see Mathematical formula.
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.[1]
The abbreviation wff is pronounced "woof",[2][3][4][5] or sometimes[6] "wiff",[7][8][9], "weff",[10][11] or "whiff".[12]
A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.