MAT1320 – Introdução à Matemática Discreta - 2020.

2 PUC-Rio

Lista de Exercı́cios 5

1. Sejam os predicados P (x, y) : x2 = y e Q(x, y) : x + y ≥ 0, onde as variáveis x e

y estão no universo U = {−1, 0, 1}. Determine o valor lógico das sentenças abaixo
(justificando):

(a) (∀x)(∃y)P (x, y).

(b) (∃x)(∀y)Q(x, y).

2. Dados os predicados:

P (x) : “x é par”.
Q(x) : “x é menor que 5”.
R(x) : “x é primo”.

determinar o maior subconjunto de U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} onde cada proposição

abaixo é verdadeira:

(a) P (x) ⇒ Q(x) ∨ R(x)

(b) (∼ P (x) ⇔ Q(x)) ∧ R(x)

3. Considere f como uma função do conjunto A para o conjunto B.

(a) Expresse a sentença “f é uma função injetora”usando quantificadores.

(b) Expresse a sentença “f é uma função sobrejetora”usando quantificadores.

4. Considere os predicados P (x) : x2 > x e Q(x) : x2 = 2.

(a) Quais as negações das sentenças ∀x P (x) e ∃x Q(x)?

(b) Qual o valor lógico das sentenças ∀x P (x) e ∃x Q(x) no universo dos números
inteiros?
(b) Qual o valor lógico das sentenças ∀x P (x) e ∃x Q(x) no universo dos números
reais?

5. Qual o valor lógico de ∀x(x2 ≥ x) se o universo consiste em todos os números reais? E

qual o valor lógico dessa proposição se o universo são todos os números inteiros?

6. Mostre que ¬∀x(P (x) → Q(x)) e ∃x(P (x) ∧ ¬Q(x)) são logicamente equivalentes.
7. Sejam os predicados P (x) : x ≥ 0 e Q(x) : x é par, onde a variável x está no universo
U = {−2, −1, 0, 1, 2}.

(a) Determine o maior subconjunto de U onde cada sentença abaixo é verdadeira:

(a.1) P (x) → Q(x).
(a.2) ¬(P (x) ∨ Q(x)).
(b) Determine o valor lógico das sentenças abaixo:
(b.1) ∀x : P (x) ∨ Q(x).
(b.2) ∃x : ¬P (x) → Q(x).

8. Considerando verdadeiro que: “Nenhum pianista é estudioso” e “Algum biólogo é estu-

dioso”. Pode-se corretamente concluir que (demonstre):

(a) Todo biólogo é pianista.

(b) Todo biólogo não é pianista.
(c) Algum biólogo é pianista.
(d) Algum biólogo não é pianista.
(e) Nenhum biólogo é pianista.

9. Considere estas sentenças, das quais as três primeiras são premissas e a quarta é uma
conclusão. O conjunto inteiro é chamado de argumento.

Todos os beija-flores são ricamente coloridos.

Nenhum pássaro grande vive de néctar.
Pássaros que não vivem de néctar são monótonos nas cores.
Beija-flores são pequenos.

Considere os predicados

P (x) : x é um beija-flor
Q(x) : x é grande
R(x) : x vive de néctar
S(x) : x é ricamente colorido

e que o universo consiste em todos os pássaros.

(a) Expresse as sentenças do argumento usando quantificadores e P (x), Q(x), R(x) e

S(x).

(b) Usando as regras de inferência, mostre que a quarta sentença é uma conclusão
válida a partir das três primeiras (ou seja, mostre que o argumento é válido).
10. Decida se os argumentos são válidos

(a) (f)
∀x : P (x) → Q(x)
∀x : P (x) → Q(x)
∀x : P (x)
∀x : ¬(Q(x) ∧ R(x))
−−−−−−−−
∀x : R(x)
∀x : Q(x)
−−−−−−−−−−
(b) ∀x : ¬P (x)
∀x : P (x) → Q(x)
∃x : P (x) (g)
−−−−−−−− ∀x : P (x) ∧ Q(x)
∀x : Q(x) ∀x : R(x) → ¬Q(x)
(c) ∀x : S(x) → ¬P (x)
∀x : P (x) → Q(x) −−−−−−−−−−−−−−−−
∃x : P (x) ∀x : (S(x) → Q(x)) ∧ (R(x) → P (x))
−−−−−−−−
(h)
∃x : Q(x)
(d) ∀x : P (x) ∧ Q(x)
∀x : R(x) → ¬Q(x)
∃x : P (x) → Q(x)
∀x : S(x) → ¬P (x)
∃x : P (x)
−−−−−−−−−−−−−−−−
−−−−−−−−
∃x : (S(x) → Q(x)) ∧ (R(x) → P (x))
∃x : Q(x)
(e)
∀x : P (x) → Q(x)
∀x : ¬Q(x)
−−−−−−−−
∀x : ¬P (x)