Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions

Revision as of 20:15, 1 April 2009

Revision as of 20:30, 1 April 2009

Line 206:

For consistency use the following terminology in Logic articles:

''Drafting in progress drafted'' cf [[Wikipedia talk:WikiProject Logic/Standards for notation#Terminology]]

individual constant Mendelson 1964-1997; Mates 1972; Gamut 1991

constant Shoenfield 1967, Hodges 1993, Ebbinghaus et al 1996

(individual) constant symbol Chang & Keisler 1973-1989

constant symbol

Line 225 ⟶ 230:

|

|-

|Non-logical symbol, non-logical constant

|

|

|-

|___domain, ___domain of disourse, universe of discourse, universe, carrier, underlying set

|

|

|-

|individual constant, constant, (individual) constant symbol, constant symbol

|

|

|-

|predicate symbol, predicate, predicate letter (arity >0), predicate symbol (arity ≥0) relation symbol (arity >0)

|

|

|-

|function letter (arity >0), operation letter/symbol (arity >0), function symbol (arity ≥0)function symbol (arity >0)

|

|

|-