Changes

Jump to navigation Jump to search

First-order language (view source)

Revision as of 15:51, September 18, 2007

4 bytes added ,  15:51, September 18, 2007
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>.
Aschlafly
Anthony, Irenaeus, Siteadmin, apieditor, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
126,204

edits

Retrieved from "https://www.conservapedia.com/Special:MobileDiff/295385"

Navigation menu