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

Revision as of 15:02, 8 April 2009

Revision as of 15:03, 8 April 2009

Line 240:

|-

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

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

|

|}