Universidade Federal de Campina Grande

Curso: Cincia da Computao

Disciplina: Matemtica Discreta
Professor: Leandro Balby Marinho
Monitor: Jos Robson da Silva Araujo Junior
Perodo: 2017.1
Aluno(a): ____________________________________________________ Matrcula: _________________

SEGUNDA LISTA DE EXERCCIOS

Quando no explicitado, use o mtodo de sua preferncia para provar as proposies

a seguir, indicando-o.

1. Prove as proposies a seguir usando demonstrao direta:

a) O produto dos quadrados de dois inteiros um quadrado perfeito.

b) Se um nmero divisvel por 6, ento seu dobro divisvel por 4.

2. Prove se a seguinte proposio verdadeira ou falsa: todo nmero real pode ser
dividido por ele mesmo resultando em 1.

3. Prove que o produto de trs inteiros positivos consecutivos um nmero par.

4. Prove que 3 um nmero irracional por contradio (Dica: lembre-se que um

nmero racional pode ser escrito na forma /, com e inteiros primos entre si e
0).

5. Prove que se o quadrado de um inteiro mpar, ento ele deve ser mpar.

6. Prove as proposies seguintes atravs de induo:

a) 4 + 10 + 16 + + (6 2) = (3 + 1), 1
1 1 1
b) + + + (21)(2+1)
=
13 35 2+1
c) ! > 2 , 4

d) 7 2 divisvel por 5 0