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

Revision as of 22:52, 1 April 2009

Revision as of 22:57, 1 April 2009

Line 212:

! Preferred Terminology

|-

|logical connective, connective, logical operator, propositional operator, truth-functional connective, logical connective symbol

|

|Preferred Terminology

|-

|propositional logic, sentential logic, propositional calculus, sentential calculus, statement logic, statement calculus

Line 267:

|

|-

|[[Property (philosophy)|property]], attribute, relation (arity=1)

|

|-

|[[Property (philosophy)|property]] (arity>1), relation (arity>1)

|

|-