EDPA Lista1 Demonstracoes

UFG - Instituto de Informática Estruturas de Dados e Projeto de Algoritmos
Mestrado em Computação Prof a . Márcia Cappelle1
Listas de exercícios – 2018.1
1 – Técnicas de demonstração
1. Sejam a e b inteiros, com a 6= 0. Dizemos que a divide b se existe um inteiro c tal que b = ac.
Dizemos também que b é divisível a ou que b é múltiplo de a. A notação correspondente é a | b
quando a divide b e a - b em caso contrário. Observe que, pela definição, todo inteiro x divide 0
(zero); d | b ⇔ (−d) | b; e todo inteiro a é divisível por 1 e por a. Por exemplo, 3 | 9, 4 | 12, 6 - 16,
3 | −15 e 5 | 0.
Sejam a, b, c e d inteiros. Responda Verdadeiro ou Falso. Justifique suas afirmações (demonstre
ou exiba um contraexemplo).
(a) Se a|b e b|a então a = b.

(b) Se a|c e b|d, então ab|cd.
(c) Se a|b e a|c, então a|(b + c).
(d) Se a|c e b|c, então (a + b)|c.
2. Encontre um contraexemplo para cada uma das afirmações listadas a seguir:
(a) Todos os animais que vivem nos oceanos são peixes.

(b) Toda figura geométrica com 4 ângulos retos é um quadrado.
(c) ∀ n ∈ N, (n < 10) ⇒ (n > 5).
(d) ∀ n ∈ N∗+ , n2 ≤ 10 + 5n.
(e) A soma de dois pares consecutivos é divisível por 4.
(f) O produto de dois ímpares consecutivos é divisível por 3.
(g) Existem inteiros x e y tais que x + y = 314, 11|x e 11|y.
3. Seja A = {1, 2, {1, 2}, {3}, ∅}. Diga, justificando, se as seguintes proposições são verdadeiras ou
falsas:
(a) 1 ∈ A. (e) {1, 2} ⊆ A.

(b) {1} ∈ A. (f) 3 ∈ A.
(c) {1, 2} ∈ A. (g) ∅ ⊆ A.
(d) ∅ ∈ A. (h) {∅} ⊆ A.
4. Sejam os conjuntos A, B, C ⊆ N.
(a) Dado que A ⊆ B, mostre que P(A) ⊆ P(B), onde P(S) denota o conjunto das partes do
conjunto S.
(b) Mostre que (A \ B) \ C ⊆ A \ (B \ C).
(c) Mostre que se A é subconjunto de B e se B é subconjunto próprio de C, então A é subconjunto
próprio de C.
1
e-mail: [email protected]
1
(d) Pode-se definir A ⊆ B em termos de álgebra de conjuntos como A∩B = A. Use esta definição
para provar que se A ⊆ B e B ⊆ C, então A ⊆ C.
5. Demonstre que o quadrado de um número ímpar é um número ímpar.
6. Prove por contraposição que se x + y ≥ 2, em que x e y são números reais, então x ≥ 1 ou y ≥ 1.
7. Prove por contradição cada uma das proposições abaixo:
(a) Se x e y são números reais e 25x + 5y = 1723, então x ou y não é um inteiro.

(b) Se um número somado a ele mesmo é igual a ele mesmo, então esse número é 0.
8. Sendo A, B e C subconjuntos de um conjunto U qualquer, responda Verdadeiro ou Falso para

cada proposição. Justifique suas afirmações (demonstre ou exiba um contraexemplo).
(a) A ∪ B = ∅ =⇒ A = ∅ e B = ∅ (g) |A \ B| = |A| − |B|

(b) (A \ B) \ C = (A \ C) \ B (h) (A ∪ B) \ B = A
(c) (A ∪ B) \ C = (A \ C) ∩ (B \ C)
(i) A − B = A ⇐⇒ A ∩ B = ∅
(d) A = B \ C =⇒ B = (A ∪ C)
(e) A \ B = ∅ =⇒ A ∩ B = ∅ (j) A × (B ∩ C) = (A × B) ∩ (A × C)
(f) B = A ∪ C =⇒ A = (B \ C) (k) A ∪ B ⊆ A − B =⇒ B = ∅

EDPA Lista1 Demonstracoes

Enviado por

Direitos autorais:

Formatos disponíveis

EDPA Lista1 Demonstracoes

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

EDPA Lista1 Demonstracoes

Enviado por

Direitos autorais:

Formatos disponíveis

UFG - Instituto de Informática Estruturas de Dados e Projeto de Algoritmos

Mestrado em Computação Prof a . Márcia Cappelle1

Listas de exercícios – 2018.1

(a) Se a|b e b|a então a = b.

2. Encontre um contraexemplo para cada uma das afirmações listadas a seguir:

(a) Todos os animais que vivem nos oceanos são peixes.

(a) 1 ∈ A. (e) {1, 2} ⊆ A.

(a) Se x e y são números reais e 25x + 5y = 1723, então x ou y não é um inteiro.

8. Sendo A, B e C subconjuntos de um conjunto U qualquer, responda Verdadeiro ou Falso para

(a) A ∪ B = ∅ =⇒ A = ∅ e B = ∅ (g) |A \ B| = |A| − |B|

Você também pode gostar