Consider the relation R on Z as: ∀m,n ∈Z, mRn ⇔ m − n is odd . Is R reflexive, symmetric,
or transitive? What would the proof or counter proof be?
Since R is a reflexive since m-n is linear, but I'm not sure how that would work with the proofs.
Update: it is not true, but it is true for if the relation is $mRn \Leftrightarrow m-n$ is even
Let's prove the three properties:
Yes, $m-m=0 \Rightarrow mRm$, and 0 is even.
$mRn \Rightarrow m-n$ is even $\Rightarrow n-m$ is even (the opposite of an even is another even) $\Rightarrow nRm$
We have $m-n$ and $n-o$ are both even numbers. Now $m-p = (m-n)+(n-o)$. Just realise that even plus even is even, so $m-p$ is even and therefore $mRp$
I think with this you can see why it is false for odd numbers.