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

Revision as of 20:30, 1 April 2009

Revision as of 20:34, 1 April 2009

Line 240:

|

|-

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

|

|-

Line 246:

|

|-

|extension, denotation

|

|-

|intepretation

|

|-

|model

|

|-

|signature

|

|-

|structure

|

|-

|language, formal language, artificial language

|

|-

|argument, input

|

|-

|value, output

|

|-