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

Revision as of 14:56, 8 April 2009

Revision as of 15:02, 8 April 2009

Line 240:

|-

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

|in propositional/sentential logic: prop./sent. variable<br>in first-order logic: nullary predicate/relation symbol

|???

|

|}