Where can I find a list of proof identities?

[Stickybees]

Does anyone know if there is a good place to find a list of proof identities? Basic stuff like the disjoint or if-then in logic symbols. It would be nice to have a place to make sure I'm remembering them correctly and to search for more.

Thanks!

 

[Stickybees]

I found what I was looking for, this site is great :D

http://www.proofwiki.org/wiki/Category:Definitions
http://www.proofwiki.org/wiki/Definition:Set_Intersection