Let us name the statements as below p:xy is odd. q : both x and y are odd.
We have, to check whether the statement p⇒q is true or not, i.e., by checking its contrapositive statement i,e., ∼q⇒∼p.
Now, ∼q : it is false that both x and y are odd. This implies that x( or y ) is even.
Then, x=2n for some integer n.
Therefore, xy=2ny for some integer n. This shows that xy is even. That is ∼p is true.
Thus, we have shown that ∼q⇒∼p and hence the given statement is true.