First-order language
This is an old revision of this page, as edited by Jaques (talk | contribs) at 09:15, April 20, 2007. It may differ significantly from current revision.
A First-order language consists of the following symbols:
- A set of constants, such as A, B, C, ...
- A set of n-ary relations such as >(x, y).
- A set of n-ary functions such as +(x, y).
- An infinite set of variables such as x, y, z,...
- The connectives <math>\neg</math>, <math>\wedge</math>.
- quantifiers: <math>\forall</math>, <math>\exists</math>.
- parenthesis: <math>(</math>, <math>)</math>.
- The equality symbol <math>=</math>.