first-order language

References

first-order language

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

metalogic
Background and typical problems
A first-order language is given by a collection S of symbols for relations, functions, and constants, which, in combination with the symbols of elementary logic, single out certain combinations of symbols as sentences. Thus, for example, in the case of the system N (see above Example…
Read More
A first-order language is given by a collection S of symbols for relations, functions, and constants, which, in combination with the symbols of elementary logic, single out certain combinations of symbols as sentences. Thus, for example, in the case of the system N (see above Example…
Read More