Where can I find a list of proof identities?

AI Thread Summary
A user seeks a reliable source for a list of proof identities, specifically basic concepts like disjoint and if-then statements in logic symbols. They express a desire to verify their understanding and explore additional identities. The user later shares a helpful resource, ProofWiki, which contains definitions and explanations of various proof identities. The provided links direct to specific categories and definitions relevant to the inquiry. ProofWiki is recommended as a valuable tool for those looking to enhance their knowledge of proof identities.
Stickybees
Messages
36
Reaction score
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!
 
Physics news on Phys.org

Similar threads

I Axioms of Fuzzy Logic
Replies
7
Views
1K
I Is this conditional expectation identity true?
Replies
1
Views
2K
B How Can Bayesian Search Theory Simplify Finding Lost Everyday Items?
Replies
1
Views
2K
I When does ## { n \choose k } ## represent set of lists?
Replies
20
Views
2K
Finding the number of ways to arrange identical balls in a circle (3 different colors)
Replies
15
Views
247
Unique Identities: Proving O₁ = O₂ in Theorem for Proof of Identity
Replies
3
Views
1K
I Understanding Cantor's Diagonalization Proof: A Brief Explanation
Replies
17
Views
2K
I Proving Probability of Union with Indicator Variables in Three Events
Replies
4
Views
2K
I Question regarding writing proofs
Replies
4
Views
1K
B Looking for a list of astronomy collaborations
Replies
2
Views
2K

Hot Threads

Recent Insights

Back
Top