Well-formed formula
From Wiki @ Karl Jones dot com
(Redirected from Well-formed formulas)
In mathematical logic, a well-formed formula, abbreviated wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.
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.
See also
External links
- Well-formed formula @ Wikipedia.org