X be a non-empty set and let R be an equivalence relation on X. For each x ∈ X, define
[x]={y∈X suchthatxRy}
to be the equivalence class of x. Here x R y means (x, y) ∈ R.
SupposethatA=[x]andB=[y]. ProvethatifA∩B̸=∅,thenA=B.
Prove by induction that the following statements are true for all integers n
a) 12x2+22x3+…..+n2(n+1)= n(n+1)(n+2)(3n+1)/12
b)4007n-1 is divisible by 2003
For each of the following sentences, write the sentence in logical notation , negate the sentence , and say whether the sentence or its negation is true.
a) Given any integer, there is a larger integer.