Where can I find a list 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

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »
Thread 'Detail of Diagonalization Lemma'

Thread 'Detail of Diagonalization Lemma'

The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
View full post »

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
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
1K
I Proof for subgroup -- How prove it is a subgroup of Z^m?
Replies
11
Views
2K

Hot Threads

Recent Insights

Back
Top