Matemática Discreta Profa. Kely D. V.

Villacorta
Depto. de Computação Cientı́fica kelydvv@ci.ufpb.br
Centro de Informática Prof. Felipe A. G. Moreno
Universidade Federal da Paraı́ba fgarcia@ci.ufpb.br

Lista de Exercı́cios: Quantificadores

Exercı́cio 1. Suponha que o conjunto universo é R

(i) Determine o valor-verdade da cada uma das seguintes proposições:
(a) ∀ x : |x| = x (d) ∃ x : x + 2 = x (g) ∃ x : 2x = x

(b) ∃ x : x2 = x (e) ∀ x : x + 1 > x (h) ∃ x : x2 + 3x = −2

(c) ∃ x : |x| = 0 (f) ∀ x : x2 = x (i) ∃ x : x2 + 5 = 2x

(ii) Negue cada uma das proposições do item anterior.

Exercı́cio 2. Suponha o conjunto universo {1, 2, 3, 4, 5, 6, 7, 8, 9}. Apresente um contraexemplo para

cada uma das seguintes proposições:
(a) ∀ x : x + 5 < 12 (b) ∀ x : x é primo (c) ∀ x : x2 > 1 (d) ∀ x : x é par

Exercı́cio 3. Suponha que o conjunto universo é {2, 3, 4, 5, 6, 7, 8, 9}.

(a) Determine o valor-verdade de cada uma das seguintes proposições:
(1) ∀ x, ∀ y : x + 5 < y + 12

(2) ∀ x, ∃ y : x ∗ y não é primo

(3) ∃ y, ∀ x : x ∗ y não é primo

(4) ∃ x, ∃ y : x2 > y

(5) ∀ x, ∃ y : x2 > y

(6) ∃ x, ∀ y : x2 > y

(7) ∀ x, ∀ y, ∀ z : x + y > z

(8) ∃ x, ∀ y, ∀ z : x + y > z

(9) ∀ x, ∃ y, ∀ z : x + y > z

(10) ∀ x, ∀ y, ∃ z : x + y > z

(11) ∀ x, ∃ y, ∃ z : x + y > z

(12) ∃ x, ∀ y, ∃ z : x + y > z
(b) Negue cada uma das proposições do item anterior.