Difference between revisions of "First-order language"
From Conservapedia
(New page: 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 functio...) |
(undeadend) |
||
| Line 3: | Line 3: | ||
#A set of n-ary relations such as ''>(x, y)''. | #A set of n-ary relations such as ''>(x, y)''. | ||
#A set of n-ary functions such as ''+(x, y)''. | #A set of n-ary functions such as ''+(x, y)''. | ||
| − | #An infinite set of variables such as ''x'', ''y'', ''z'',... | + | #An [[infinite]] set of variables such as ''x'', ''y'', ''z'',... |
#The connectives <math>\neg</math>, <math>\wedge</math>. | #The connectives <math>\neg</math>, <math>\wedge</math>. | ||
#quantifiers: <math>\forall</math>, <math>\exists</math>. | #quantifiers: <math>\forall</math>, <math>\exists</math>. | ||
Revision as of 15:51, September 18, 2007
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
, 
. - quantifiers:
, 
. - parenthesis:
, 
. - The equality symbol
.
