Aluno N.

º Turma Data - -

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

1.1.  x   1 x
, 1 0
2

1.2.  x  , x2  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.1. 1  1  x  0 § 2  1  x  0 § x  1 .
2

O valor lógico de  x   1 x
, 1  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.

1.3. Considerando, por exemplo, x  3 , tem-se  3 

2
 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 § 2x  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,1x  1  x  1  5 .

2 2