equivalence relation proof for all positive integers
109318
Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$
127596
Composition of equivalence relations
75007
How can I prove this relation between the elementary set theory and the elementary logic?
87928
Proof of logical equivalence of biconditional and other proposition
83518
Proving Two sets have same cardinality
60140
Proof of Equivalence Relation $R=\{(a,b)\in\Bbb N^2: 5\mid (2a+3b)\}$
139383
Prove that $\tau(2^n-1) \geq \tau(n)$ for all positive integers $n$.
145397
How to prove that for every $i$, $a_i = i$
70193
Show that the relation defined on an integral domain by "$x\sim y$" ("$x$ is associated with $y$") is a relation of equivalence.
131155
$x\sim y\iff x^2\equiv y^2\pmod{\!6}$ is an equivalence relation.
93952
Show that $X$ can be represented as a union of disjoint equivalence classes
129163
Showing that every positive integer can be represented in this form
19046
Show that if $a$ and $b$ are positive integers with $(a,b)=1$ then $(a^n, b^n) = 1$ for all positive integers n
76347
Shorter proof for some equvalences
53915
prove that $a \equiv b \mod m$ is an equivalence relation on the integers
56143
Proof of a basic $AC_\omega$ equivalence
48213
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$