- #1
- 36
- 0
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!
Thanks!