First-Order Language

From Conservapedia

A First-order language in Zermelo-Fraenkel set theory consists of the following symbols:

  1. A set of constants, such as A, B, C, ...
  2. A set of n-ary relations such as >(x, y).
  3. A set of n-ary functions such as +(x, y).
  4. An infinite set of variables such as x, y, z,...
  5. The connectives , .
  6. quantifiers: , .
  7. parenthesis: , .
  8. The equality symbol .

First-order languages are used to describe mathematics in mathematical notation with mathematical formulae.


Categories: [Language] [Logic] [Mathematics]


Download as ZWI file | Last modified: 02/18/2023 09:03:44 | 5 views
☰ Source: https://www.conservapedia.com/First-order_language | License: CC BY-SA 3.0

ZWI signed:
  Encycloreader by the Knowledge Standards Foundation (KSF) ✓[what is this?]