:''For help on Wikipedia math, see ''
In
mathematical logic, a 'formula' is a formal syntactic object that expresses a
proposition.
The exact definition of a formula depends on the particular development of formal logic in question, but a fairly typical one (specific to
first-order logic) goes as follows: Formulas are defined relative to a particular 'language', which consists of a collection of 'variables', 'constants', 'logic symbols', 'function symbols', and 'relation symbols', where each of the function and relation symbols comes supplied with an
arity that indicates the number of arguments it takes.
Then a 'term' is defined recursively as
#A variable,
#A constant, or
#''f''(''t''
1,...,''t''
''n''), where ''f'' is an ''n''-ary function symbol, and ''t''
1,...,''t''
''n'' are terms.
An
atomic formula is one of the form:
#''t''
1=''t''
2, where ''t''
1 and ''t''
2 are terms, or
#''R''(''t''
1,...,''t''
''n''), where ''R'' is an ''n''-ary relation symbol, and ''t''
1,...,''t''
''n'' are terms.
Finally, the set of formulae is defined to be the smallest set containing the set of atomic formulae such that the following holds:
#
is a formula when
is a formula;
#
and
are formulae when
and
are formulae;
#
''x''
is a formula when ''x'' is a variable and
is a formula.
If a formula has no occurrences of
''x'', for any variable ''x'', then it is called ''quantifier free''. An ''existential formula'' is a string of existential quantification followed by a quantifier free formula.
See also
★
WFF
References
Fundamentals of Mathematical Logic, Hinman, P., , , A K Peters, 2005, ISBN 1-568-81262-0