First-order language

From Conservapedia

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.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

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 $\text{[math]}$ , $\text{[math]}$ .
quantifiers: $\text{[math]}$ , $\text{[math]}$ .
parenthesis: $\text{[math]}$ , $\text{[math]}$ .
The equality symbol $\text{[math]}$ .

Retrieved from "https://conservapedia.com/index.php?title=First-order_language&oldid=118327"