Let x and y be integers. Prove that if (x)(y) is odd, then x and y are odd.
2) Given that the implication if (g or r), then - p is false and q is false, determine the truth value of r and p.