1) Utilize as provas direta, contraposicao e contradicao para mostrar que:
1.1) Se m e n sao numeros inteiros pares, entao m.n é par
1.2) para todo y inteiro, se y [e par, entao 3y+9 é impar
1.3) Se o quadrado de um numero inteiro é impar, entao o inteiro tem que ser impar.