UAB / IFCE

Curso: Licenciatura em Matemtica

Disciplina: Matemtica Discreta

Atividades de Aprofundamento da Aula 3

1. Determine o conjunto-verdade das seguintes sentenas abertas em A = {1, 3, 4, 7, 9,

11}:

a) x2 < 25 .

b) x2 + 2 A .
c) | 2 x 7 | 5 .
d) x divisor de 28.
e) x divisvel por 5.

2. Determine o conjunto-verdade da sentena aberta x2 + y2 4 em:

a) .
b) .

3. Determine o conjunto-verdade em A = {1, 2, 3, 4, 5, 6} de cada uma das sentenas

abertas compostas e indique se exprimem uma condio universal, possvel ou
impossvel:
a) x par x | 12 .

b) | x 2 |< 3 x2 11x + 30 = 0 .
c) x primo ( x 1) A .

4. Determine:

a) o valor lgico (V ou F) da proposio ( x )( x 2 < x) .

b) a negao da proposio ( x )( x 2 < x) .

c) caso existam, trs contra-exemplos para a proposio obtida no item (b).
5. Considerando as sentenas abertas p(x): x mltiplo de 3 e q(x): x2 > 5 x em A = {
6, 4, 2, 0, 3, 4, 5, 6}, determine:
a) os conjuntos-verdade de p ( x) e de q ( x) .
b) o conjunto-verdade de p( x) q ( x ) .
c) o valor lgico (V ou F) da proposio ( x)( p ( x ) q ( x )) .
d) a negao da proposio do item (c), substituindo as sentenas p ( x) e q ( x) por suas
expresses.