6,068
edits
Changes
Jump to navigation
Jump to search
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...
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>.
[[category:languages]]
[[category:mathematics]]
#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>.
[[category:languages]]
[[category:mathematics]]