Where can I find a list of proof identities?

  • Context: High School 
  • Thread starter Thread starter Stickybees
  • Start date Start date
  • Tags Tags
    identities List Proof
Click For Summary
SUMMARY

The discussion centers on finding a reliable resource for proof identities, specifically basic logical symbols such as disjoint and if-then statements. A user successfully identified ProofWiki as an excellent source for these definitions. The site provides comprehensive information on various proof identities, ensuring accurate recall and facilitating further exploration of related concepts.

PREREQUISITES
  • Basic understanding of logical symbols and their meanings
  • Familiarity with proof techniques in mathematics
  • Knowledge of set theory concepts
  • Ability to navigate online educational resources
NEXT STEPS
  • Explore ProofWiki's Set Intersection definition for deeper insights into set operations
  • Research additional proof techniques such as induction and contradiction
  • Study logical equivalences and their applications in proofs
  • Review resources on formal logic to enhance understanding of proof identities
USEFUL FOR

Students of mathematics, educators teaching logic and proofs, and anyone seeking to solidify their understanding of proof identities and logical symbols.

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

Undergrad Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
829
Undergrad Maybe all reals can be listed?
  • · Replies 32 ·
2
Replies
32
Views
3K
High School How Can Bayesian Search Theory Simplify Finding Lost Everyday Items?
  • · Replies 1 ·
Replies
1
Views
2K
High School Looking for a list of astronomy collaborations
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Understanding Cantor's Diagonalization Proof: A Brief Explanation
  • · Replies 17 ·
Replies
17
Views
3K
High School Is it invalid to redefine the sgn function in this way in a proof?
  • · Replies 15 ·
Replies
15
Views
5K
High School Doing proofs: Setting an expression as a variable
  • · Replies 3 ·
Replies
3
Views
1K
Other Book list for a person with lots of interest in Physics?
  • · Replies 16 ·
Replies
16
Views
3K
Undergrad Prove Even # Transpositions in Identity Permutation w/ Induction & Contradiction
  • · Replies 8 ·
Replies
8
Views
5K
High School Question about change of variables
  • · Replies 29 ·
Replies
29
Views
5K