Aluno N.

º Turma Data - -

1 Indica, justificando, o valor lógico de cada uma das seguintes proposições:

1.1. ∀ x ∈ ℤ − , 1 − 1 − x ≤ 0
2

1.2. ∀ x ∈ ℝ , x 2 > 0

1.3. ∀ x ∈ ℝ , x2 = x

1.4. ∃ n ∈ ℕ : 2n + 1 é um número par

2 Considera em ℝ as condições:
7 − 2x 1
a ( x ) : 12 − 3 x ≥ 0 , b ( x ) : x < 3 , c ( x ) : <
6 2

Sejam A , B e C os conjuntos-solução das condições a ( x ) , b ( x ) e c ( x ) , respetivamente.

2.1. Representa em extensão:

a) { x ∈ ℕ : b ( x )}
b) { x ∈ ℕ : a ( x ) ∧ c ( x )}
2.2. Representa na forma de intervalo ou reunião de intervalos disjuntos:
a) A ∩ C
b) B \ C
c) A ∩ B

2.3. Determina o valor lógico de cada uma das proposições, indicando um contraexemplo
no caso de considerares falso.
a) ∀ x ∈ ℤ− : a ( x )

b) ∀ x ∈ ℕ : ~ c ( x )

c) ∀ x ∈ C : − x ∈ C

d) ∀ x ∈ ℝ : b ( x ) ⇒ c ( x )

3 Considera as condições p ( x ) : x + 1 ≤ 5 e q ( x ) : 0,1x < 1

2

3.1. Justifica que, em ℕ , as condições p ( x ) e q ( x ) são equivalentes.

3.2. Diz, justificando, qual é o valor lógico da proposição ∀ x ∈ ℝ , p ( x ) ⇒ q ( x ) .

3.3. Escreve a implicação contrarrecíproca de x + 1 ≤ 5 ⇒ 0,1x < 1 .

2
1
1− x
1.1. 1 − ≤ 0 § 2 − 1 + x ≤ 0 § x ≤ −1 .
2

O valor lógico de ∀ x ∈ ℤ − , 1 − 1 − x ≤ 0 é verdadeiro.

2

1.2. Se x = 0 tem-se 02 > 0 , o que é falso.

O valor lógico de ∀ x ∈ ℝ , x 2 > 0 é falso.

2
1.3. Considerando, por exemplo, x = −3 , tem-se ( −3 ) ≠ −3 .
O valor lógico de ∀ x ∈ ℝ , x 2 = x é falso.

1.4. Verifica-se que ∀ n ∈ ℕ : 2n + 1 é um número ímpar.

O valor lógico de ∃ n ∈ ℕ : 2n + 1 é um número par, é falso.

2
12 − 3 x ≥ 0 § −3 x ≥ −12 § x ≤ 4 ; A =] − ∞ , 4 ]
x < 3 § −3 < x < 3 ; B =] − 3 , 3[
7 − 2x 1 §
< 7 − 2 x < 3 § − 2 x < − 4 § x > 2 ; C = ] 2 , + ∞[
6 2

2.1. a) { x ∈ ℕ : b ( x )} = {1 , 2}
b) { x ∈ ℕ : a ( x ) ∧ c ( x )} = {3 , 4}

2.2. a) A ∩ C =] − ∞ , 4] ∩ ] 2 , + ∞[ = ]2 , 4]

b) B \ C = B ∩ C = ] − 3 , 2]

c) A ∩ B = ] − ∞ , 4 ] ∩ ( ] − ∞ , − 3 ] ∪ [3 , + ∞[ ) = ] − ∞ , − 3] ∪ [3 , 4]

2.3. a) ∀ x ∈ ℤ − : a ( x ) ; verdadeiro.

b) ∃ x ∈ ℕ : ∼ c ( x ) ; verdadeiro.

c) ∀ x ∈ C , − x ∈ C ; falso. Por exemplo, 3 ∈ C e −3 ∉ C .

d) ∀ x ∈ ℝ , b ( x ) ⇒ c ( x ) ; falso. Por exemplo, −2 ∈ B e −2 ∉ C .

3
3.1. x + 1 ≤ 5 § x ≤ 9 ; 0,1x < 1 § x < 10 ;
2
{ x ∈ ℕ : p ( x )} = { x ∈ ℕ : q ( x )} = {1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9}
3.2. Sejam P e Q os conjuntos-solução de p ( x ) e q ( x ) em ℝ . P = ] − ∞ , 9] e
Q = ] − ∞ , 10[ .
Como P ⊂ Q , conclui-se que a proposição é verdadeira.

3.3. A implicação contrarrecíproca de x + 1 ≤ 5 ⇒ 0,1x < 1 é 0,1 x ≥ 1 ⇒ x + 1 > 5 .

2 2