Logic and Algorithims

 1. Prove: For any integers x and y, if x is even, then xy is even.

2. Prove: For any integer x, if x 31 is even, then x is odd.

3. Prove: For every positive rational number x, there exists a positive rational number y such that y < x.