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

Revision as of 20:34, 1 April 2009

Revision as of 20:38, 1 April 2009

Line 218:

! Preferred Terminology

|-

|logical connective, connective, logical operator, propositional operator, trithtruth-fucntionalfunctional connective

|Preferred Terminology

|-

Line 268:

|-

|value, output

|

|-

|function, operator

|

|-

|property, attribute, relation (arity=1)

|

|-

|property (arity>1), relation (arity>1)

|

|-

|

|

|-

|

|

|-

|

|

|-

|

|

|-