Capítulo 1

Exercícios: lógica

Exercício 1. Encontre o conjunto verdade de cada uma das sentenças aber-

tas, abaixo, em R.

(i) p(x) : x − 2 > 1;

(ii) p(x) : x2 − 6x + 5 = 0;

(iii) p(x) : (x − 2 > 1) ∧ (x2 − 6x + 5 = 0);

(iv) p(x) : (x − 2 > 1) ∨ (x2 − 6x + 5 = 0);

(v) p(x) : (x − 2 > 1) → (x2 − 6x + 5 = 0);

(vi) p(x) : (x − 2 > 1) ↔ (x2 − 6x + 5 = 0);

Resolução. (i)x − 2 > 1;

Vp = {x ∈ R| x > 3} =]3, +∞[.
Resolução. (ii) p(x) : x2 − 6x + 5 = 0;
Vp = {1, 5}.
Resolução. (iii) p(x) : (x − 2 > 1) ∧ (x2 − 6x + 5 = 0);
Vp = {5}.
Resolução. (iv)p(x) : (x − 2 > 1) ∨ (x2 − 6x + 5 = 0);
Vp = {1} ∪ {x ∈ R| x > 3} = {1}∪]3, +∞[.
Resolução. (v)p(x) : (x − 2 > 1) → (x2 − 6x + 5 = 0);
Vp = {x ∈ R| x ≤ 3} ∪ {5} =] − ∞, 3] ∪ {5}.

1
2 CAPÍTULO 1. EXERCÍCIOS: LÓGICA

Resolução. (vi) p(x) : (x − 2 > 1) ↔ (x2 − 6x + 5 = 0);

Vp =] − ∞, 1[∪]1, 3] ∪ {5}.

Exercício 2. Dar a negação de cada uma das seguintes proposições:

(i) (∀x ∈ R) (2x + 1 > 3);

(ii) (∃x ∈ R) (2x + 1 > 3);

(iii) (∀x ∈ R) (x3 − 3x = x + 1);

(iv) (∃x ∈ R) (x3 − 3x = x + 1);

(v) (∀x ∈ R) (2x + 1 > 3) ∧ (∃x ∈ R) (x3 − 3x = x + 1);

(vi) (∀x ∈ R) (x3 − 3x = x + 1) ∧ (∃x ∈ R) (2x + 1 > 3);

(vii) (∀x ∈ R) (2x + 1 > 3) ∨ (∀x ∈ R) (x3 − 3x = x + 1);

(viii) (∃x ∈ R) (x3 − 3x = x + 1) ∨ (∃x ∈ R) (2x + 1 > 3);

(ix) (∀x ∈ R) (2x + 1 > 3) → (∃x ∈ R) (x3 − 3x = x + 1);

(x) (∀x ∈ R) (x3 − 3x = x + 1) → (∀x ∈ R) (2x + 1 > 3);

(xi) (∀x ∈ R) (2x + 1 > 3) ↔ (∀x ∈ R) (x3 − 3x = x + 1);

(xii) (∀x ∈ R) (x3 − 3x = x + 1) ↔ (∃x ∈ R) (2x + 1 > 3).

Resolução. (i) (∀x ∈ R) (2x + 1 > 3);

(∃x ∈ R) (2x + 1 ≤ 3).

Resolução. (ii)
(∃x ∈ R) (2x + 1 > 3);
(∀x ∈ R) (2x + 1 ≤ 3);

(∀x ∈ R) (x3 − 3x = x + 1);

Resolução. (iii)
3
(∃x ∈ R) (x − 3x 6= x + 1);

(∃x ∈ R) (x3 − 3x = x + 1);

Resolução. (iv)
3
(∀x ∈ R) (x − 3x 6= x + 1);

Resolução. (v)(∀x ∈ R) (2x + 1 > 3) ∧ (∃x ∈ R) (x3 − 3x = x + 1);

(∃x ∈ R) (2x + 1 ≤ 3) ∨ (∀x ∈ R) (x3 − 3x 6= x + 1);
 3

Resolução. (vi)(∀x ∈ R) (x3 − 3x = x + 1) ∧ (∃x ∈ R) (2x + 1 > 3);

(∃x ∈ R) (x3 − 3x 6= x + 1) ∨ (∀x ∈ R) (2x + 1 ≤ 3);
Resolução. (vii)(∀x ∈ R) (2x + 1 > 3) ∨ (∀x ∈ R) (x3 − 3x = x + 1);
(∃x ∈ R) (2x + 1 ≤ 3) ∧ (∃x ∈ R) (x3 − 3x 6= x + 1);
(∃x ∈ R) (x3 − 3x = x + 1) ∨ (∃x ∈ R) (2x + 1 > 3);
Resolução. (viii)
(∀x ∈ R) (x3 − 3x 6= x + 1) ∧ (∀x ∈ R) (2x + 1 ≤ 3);
Resolução. (ix)(∀x ∈ R) (2x + 1 > 3) → (∃x ∈ R) (x3 − 3x = x + 1);
(∀x ∈ R) (2x + 1 > 3) ∧ (∀x ∈ R) (x3 − 3x 6= x + 1);
Resolução. (x)(∀x ∈ R) (x3 − 3x = x + 1) → (∀x ∈ R) (2x + 1 > 3);
(∀x ∈ R) (x3 − 3x = x + 1) ∧ (∃x ∈ R) (2x + 1 ≤ 3);
Resolução.
 (xi)(∀x ∈ R) (2x + 1 > 3) ↔ (∀x ∈ R) (x3 − 3x = x + 1);

(xi) (∃x ∈ R) (2x + 1 ≤ 3) ∧ (∀x ∈ R) (x3 − 3x = x + 1) ∨ (∀x ∈

R) (2x + 1 > 3) ∧ (∃x ∈ R) (x3 − 3x 6= x + 1) ;
Resolução.
 (∀x ∈ R) (x3 − 3x = x + 1) ↔ (∃x
(xii)
 ∈ R) (2x + 1 > 3).
(∃x ∈ R) (x −3x 6= x+1) ∧ (∃x ∈ R) (2x+1 > 3) ∨ (∀x ∈ R) (x3 −3x =
3

x + 1) ∧ (∀x ∈ R) (2x + 1 ≤ 3) .