Definition talk:Logical Symbols
From ProofWiki
Note that we have definitions of all of these entities already entered on PW. You might want to check to see whether they are relevant in this context and have the appropriate meanings - if so, feel free to link to them; if not, feel free to modify them as appropriate. --Matt Westwood 06:18, 25 August 2009 (UTC)
On an unrelated note, we've generally been putting defintions in the definitions category. I think that in this case it might make sense to make a new subcategory of Definitions/Logic, that is you should put
