Revision as of 22:49, 1 April 2009 edit Philogo (talk \| contribs) Extended confirmed users 7,483 edits m →Terminology ← Previous edit		Revision as of 22:52, 1 April 2009 edit undo Philogo (talk \| contribs) Extended confirmed users 7,483 edits m →Terminology Next edit →
Line 240: \| \|- \|[[extension]], [[denotation]] \| \|- Line 270: \| \|- \|[[property]] (arity>1), relation (arity>1) \| \|- \|[[formal system]], logical system, logistic system, logical calculus, logic \| \|- Line 285: \| \|- \|[[truthbearer]] \| \| \|-

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