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

Revision as of 20:10, 1 April 2009

Revision as of 20:15, 1 April 2009

Line 217:

|-

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

|

|a Preferred Terminology

|-

|first-order predicate logic, first-order logic, predicate logic,

|a Terminology used

|

|a Preferred Terminology

|-

|propositional variable, propositional letter, propositional symbol, sentential variable, sentential letter, sentential symbol

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-

|

|a Terminology used

|

|a Preferred Terminology

|-