UFSCar  Universidade Federal de São Carlos

1021232-A/B  Matemática Discreta (1o /2019) LISTA 3

Prof. Alex Carlucci Rezende alexcrezende@dm.ufscar.br
Prof. José Antonio Salvador salvador@dm.ufscar.br

1. Seja A = {1, 2, 3, 4, 5}. Determine o valor lógico de cada uma das sentenças a seguir.

(a) ∃x ∈ A, x + 3 = 10 (c) ∃x ∈ A, x + 3 < 5

(b) ∀x ∈ A, x + 3 < 10 (d) ∀x ∈ A, x + 3 ≤ 7

2. Determine o valor lógico de cada sentença a seguir em que U = {1, 2, 3} é o conjunto

universo.

(a) ∃x∀y, x3 < y + 1 (b) ∀x∃y, x2 + y 2 < 12 (c) ∀x∀y, x2 + y 2 < 12

3. Negue cada uma das seguintes sentenças.

(a) Todos os alunos vivem em alojamentos.

(b) Todos os professores são legais.

(c) Alguns alunos têm 25 anos ou mais.

(d) Se o professor faltar, então alguns alunos não completarão suas tarefas.

(e) Todos os alunos completaram suas tarefas e o professor está presente.

(f) Alguns alunos não completaram suas tarefas ou o professor faltou.

4. Negue todas as sentenças do Exercício 1.

5. Encontre um contraexemplo para cada uma das sentenças considerando U = {3, 5, 7, 9} o

conjunto universo.

(a) ∀x, x + 3 ≥ 7 (c) ∀x, x é primo

(b) ∀x, x é ímpar (d) ∀x, |x| = x

6. Negue as seguintes proposições.

(a) ∀x, p(x) → q(x) (e) ∀x ∃y, p(x, y)

(b) ∀x, p(x) ∨ q(x) → r(x) (f) ∀x ∃y, p(x) ∨ q(y)
(c) ∃x, p(x) ∧ q(x) (g) ∃x ∃y, p(x)∧ ∼ q(y)
(d) ∃x, p(x) ↔ q(x) (h) ∀x ∀y, p(x, y)