Lista 4 Professor: Jemy Alex Mandujano Valle. E-mail: jemy.mandujano@uft.edu.br
Data de entrega: 13 de Setembro, 2023.
Observação: Entregar o trabalho no AVA
Exercı́cio 1 Use demonstração por contraposição para provar as proposições
1. Prove que se n é um inteiro e 3n + 2 é ı́mpar, então n é ı́mpar.
√ √ 2. Prove que se n = ab, em que a e b são inteiros positivos, então a ≤ n ou b ≤ n. 3. Seja x um número inteiro. Demonstre que se x2 + x + 1 é par, então x é ı́mpar. 4. Sejam a, b ∈ Z. Prove que se a2 (b2 − 2b) é impar, então a e b são ambos impares.
Exercı́cio 2 Use demonstração por contradição para provar as proposições
1. Seja n um inteiro. Se n2 é ı́mpar então n é ı́mpar.
2. Se x 6= 0, então x2 é positivo. 3. Se x2 + 2x + 3 = 0, então x 6= 2.
Exercı́cio 3 Demonstre ou apresente um contra-exemplo das seguintes sentenças.
1. Prove ou apresente um contra-exemplo: O produto de quaisquer três inteiros conse-
cutivos é par. 1 2. Prove ou apresente um contra-exemplo: Para um inteiro x, x + ≥ 2. x 3. Prove ou apresente um contra-exemplo: Para todo número primo n, n + 4 é primo.