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

Revision as of 14:46, 8 April 2009

Revision as of 14:52, 8 April 2009

Line 216:

|-

! Terminology used

! Preferred Terminologyterminology

! Preferred meaning

|-

|signature

|signature

|a set of non-logical symbols

|-

|non-logical symbol, non-logical constant

|non-logical symbol

|any of the symbols below

|-

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

|function symbol

|function symboleither (arity either >0, i.e. excl. constant symbols,<br>or arity ≥0, i.e. excluding or including constant symbols)

|-

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

|constant symbol

|

|-

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

|predicate symbol or relation symbol

|either arity >0, i.e. excl. symbols below<br>or arity ≥0, i.e. including symbols below

|-

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

|???

|

|}