Universidade de Pernambuco-UPE-Campus Garanhuns

Turma: Eng. de Software Disciplina: Matemática Discreta

Professor: Geovany Fernandes Patricio Data: / / 2023.

Quantificadores, Técnicas de demonstrações e Princı́pio de Indução

1. Negue corretamente, as frases abaixo. Em seguida, traduza, corretamente, usando quantificadores

(∀, ∃) e predicados (P (x)).

(a) “Todo estudante na sua classe teve aulas de cálculo.”

(b) “Existe um polı́tico honesto”.

(c) “Todos os brasileiros comem churrasco”.

(d) “Todo estudante desta classe estudou cálculo”

(e) “Algum estudante da classe visitou o México”

(f) “Todo estudante da classe visitou Canadá ou México”

2. Negue, corretamente, as proposições:

a) (∀x)(x2 > x). b) (∃x)(x2 = 2) c) (∀x)(x2 ≥ x) d) (∃x)(x2 ̸= 2).

3. Considere a proposição (predicado) P (x) : “a palavra x contém a letra a”. Determine os valores-
verdade das proposições abaixo.

a) P (Orange) b) P (Engenharia) c) P (Software) d) P (Professor)

4. Considere Q(x, y): “x é a capital de y.” Determine os valores-verdade das proposições abaixo.

a) Q(Garanhuns, Pernambuco) b) Q(Recife, Paraı́ba) c) Q(Recife, Pernambuco)

d) Q(Campina Grande, Paraı́ba)

5. Considere P (x): “x estuda mais de cinco horas todos os dias”, em que o domı́nio de x são os
estudantes da UPE. Expresse cada uma dessas quantificações em português.

a) (∃x)(P (x)) b) (∀x)(P (x)) c) ∼ [(∀x)(P (x))] d) (∼ ∀x)(P (x)) e) (∀x)(∼ P (x))

6. Considere P (x): “x fala russo” e Q(x): “x sabe a linguagem computacional C++”. Expresse
cada das sentenças abaixo em termos de P (x), Q(x), quantificadores e conectivos lógicos. O
domı́nio para quantificadores são todos os estudantes da UPE.

(a) Há um estudante na UPE que fala russo e sabe C++.

(b) Há um estudante na UPE que fala russo, mas não sabe C++.

(c) Todo estudante na UPE ou fala russo ou sabe C++.

(d) Nenhum estudante na UPE fala russo ou sabe C++.

 7. Encontre um contra-exemplo, se possı́vel, para cada proposição quantificadas universalmente, em que
o domı́nio para a variável envolvida é o conjunto dos números inteiros.

a) (∀x)(x ≥ x2 ) b) (∀x)(x > 0 ∨ x < 0) c) (∃x)(x > 0 ∧ x < 0) d) (∀x)(x2 = 1) e) (∃x)(x2 = 1)

8. Dê uma demonstração direta dos Teoremas:

(a) A soma de dois números inteiros pares é par.

(b) A soma de dois números inteiros ı́mpares é par.

(c) Seja n ∈ Z. Se n é ı́mpar, então n2 é ı́mpar.

(d) Sejam m, n ∈ Z. Se m e n são ambos quadrados perfeitos, então m · n também é um quadrado

perfeito. (Obs.: Um inteiro r é um quadrado perfeito se existe um inteiro b tal que r = b2 .)

9. Verifique se é possı́vel uma demonstração direta dos Teoremas abaixo. Em caso negativo, tente uma
demonstração indireta (contrapositiva).

(a) Seja n ∈ Z. Se n2 é ı́mpar, então n é ı́mpar.

(b) Seja n ∈ Z. Se n2 é par, então n é par.

(c) Seja n ∈ Z. Se n3 + 5 é ı́mpar, então n é par.

10. Prove o Teorema: Seja n ∈ N. Prove que n é ı́mpar se e somente se n2 for ı́mpar.

11. Mostre que a proposição: “Todo inteiro positivo é a soma dos quadrados de dois inteiros” é
falsa.

12. Mostre que se a, b ∈ R+ (reais positivos), então

a+b √
≤ a · b,
2
ou seja, a média aritmética sempre é menor do que ou igual a média geométrica.

(DICA: Sempre vale que: (a − b)2 ≥ 0)

13. .
14. Usando o princı́pio de indução, mostre que:

(a) n < 2n , ∀ n ∈ N.
n · (n + 1)
(b) 1 + 2 + 3 + 4 + ... + n = , ∀ n ∈ N.
2
(c) 1 + 3 + 5 + 7 + ... + (2n − 1) = n2 , ∀ n ∈ N.

(d) Para todo n ∈ N e n ≥ 3, então 2n < n!.

(e) Para todo n ∈ N e n ≥ 4, tem-se n! ≥ 4.

(f) Para todo n ∈ N e n ≥ 2, tem-se n! < nn .

Se divirtam!!! ; )