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

Revision as of 14:30, 8 April 2009

Revision as of 14:37, 8 April 2009

Line 217:

! Terminology used

! Preferred Terminology

|-

|signature

|signature

|-

|Nonnon-logical symbol, non-logical constant

|non-logical symbol

|-

|propositional variable, propositional letter, propositional symbol, sentential variable, sentential letter, sentential symbol

|

|-

|Non-logical symbol, non-logical constant

|

|-

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

|constant symbol

|

|-

|predicatefunction letter (arity >0), predicatefunction symbol, (arityoperation ≥0)letter, relationoperation symbol (arity >0)

|function symbol

|-

|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)

|

|-

|signature

|

|}