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

Revision as of 14:37, 8 April 2009

Revision as of 14:39, 8 April 2009

Line 229:

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

|constant symbol

|-

|function letter, function symbol, operation letter, operation symbol

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

|function symbol (arity >0 or ≥0?)

|

|}