Você está na página 1de 2

Introduo Lgica para Cincia da Computao

Profa Marcilene de Ftima Dianin Vianna marcilenedianin@gmail.com

6 Lista de Exerccios
1a)
c)
e)
g)
i)

Determine o conjunto-verdade em A = {0,1,2,3, ... , 10} de cada sentena aberta:


x < 7 x mpar
b) x par x + 2 10
3| x x<8
d) ( x + 4 ) A ( x2 5 ) A
x2 3 = 0 x2 = x
f) x par x2 < 9
x primo (x + 5) A
h) x2 16 x2 6x + 5 = 0
2
~ (x 3x = 0)
j) ~ (x | 12)

2- Determine o conjunto-verdade em A = {-3,-2,-1,0,1,2,3} de cada sentena aberta:


a) x2 par x2 1 = 0
b) x | 12 x primo
c) (x + 5 ) A x < 0
d) x2 1 0 x2 + 4 x + 3 = 0
2
2
e) x + x 6 < 0 x 9 = 0

3- Determine o conjunto-verdade em A = {0,1,2,3,4,5} de cada sentena aberta:


a) x2 3x = 0 x2 x = 0
b) x par x2 < 8
c) x primo ( x + 3 ) A
d) x2 > 12 x2 5x + 6 = 0
4- Determine Vp q e Vp q das sentenas abertas em IR p(x): 2x 3 0 e q(x): x + 1 0.
5- Determine Vp q, Vq p e Vp q das sentenas abertas p(x): x2 A e q(x): x mpar em A =
{1,2,3,4,5,6,7,8,9}.
6- Passe para a linguagem simblica:
a) Nem todos os ces so treinados.
b) Todos os que estudaram foram aprovados.
c) No existem polticos no corruptos.
d) Quando os metais so aquecidos, se dilatam.
e) Alguns homens inteligentes so trabalhadores.
f) Todo homem inteligente trabalhador.
g) Nem tudo que reluz ouro.
h) Os scios so industriais ou comerciantes.
i) No h sobreviventes do desastre.
j) H sobreviventes do desastre.
k) Existem jogadores habilidosos.
l) Os mdicos se opem ao tabagismo.
m) Todo nmero primo diferente de 1.
n) Est um dia de sol e todos os escoteiros partiram.
o) Se existem funcionrios eficientes, ento a empresa ter lucro.

7- Sendo IR o conjunto dos nmeros reais, determine o valor lgico de cada proposio a seguir:
a) xIR, | x | = x
b) xIR, x2 = x
c) xIR, | x | = 0
d) xIR, x + 2 = x
e) xIR, x + 1 > x
f) xIR, x2 = x

8- Seja A = {1,2,3,4,5}. Negue as proposies a seguir:


a) xA, x + 3 = 10
b) xA, x + 3 < 10
c) xA, x + 3 < 5
d) xA, x + 3 7
f) xA, x2 + 2x = 15
e) xA, 3x > 72
9- Seja A um conjunto qualquer e IR o conjunto dos reais. D a negao das proposies a seguir e
o conjunto verdade das letras e) e f), como esto e depois de negadas tambm:
a) xA, p(x) xA, q(x)
b) xA, p(x) xA, q(x)
c) xA, ~ p(x) xA, ~ q(x)
d) xA, p(x) xA, ~ q(x)
2
e) xIR, x + 2 7 xIR, x 1 = 3
f) xIR, x2 = 9 xIR, 2x 5 7
10- Seja o conjunto {1,2,3} o universo das variveis x, y e z. Determine o valor lgico de:
a) x, y, z, x2 + y2 < 2z2
b) x, y, z, x2 + y2 < 2z2
11- Considere os conjuntos H = {Carlos, Pedro, Mrio} e M = {Claudia, Lilian} e o predicado
I(x,y) = x irmo de y, onde H o universo de x, e M o universo de y. Suponha que Carlos e
Pedro sejam irmos de Cludia, e que Mrio seja irmo de Lilian. Examine a validade dos
seguintes enunciados:
a)
c)
e)
g)

xH, yM; I(x,y)


xH, yM; I(x,y)
yM, xH; I(x,y)
yM, xH; I(x,y)

b) xH, yM; I(x,y)


d) xH, yM; I(x,y)
f) yM, xH; I(x,y)
h) yM, xH; I(x,y)

Respostas:
1- a) {1,3,5} b) {0,2,4,6,8} c) {0,3,6} d) {3} e) {0,1} f) {0,2} g) {1,2,3,5} h) {5}
i) A {0} j) {0,5,7,8,9,10}
2- a) {3, 1,1,3} b) {3, 2,0,2,3} c) {3, 2, 1} d) {3, 1,1} e) {3,2,3}
3- a) {0,2,4,5} b) {0,2,3,5} c) {2,4} d) {0,1}
4- Vp q = [1, 3/2] e Vp q = [1, + )
5- Vp q = {1,3,4,5,6,7,8,9}, Vq p = {1,2,3,4,6,8} e Vp q = {1,3,4,6,8}
6- a) ~x (Cx Tx) ou x (Cx ~Tx) b) x (Ex Ax) c) ~x (Px ~Cx) d) x (Mx
Ax Dx) e) x ((Hx Ix) Tx) f) x ((Hx Ix) Tx) g) ~x (Rx Ox) ou x (Rx
~Ox) h) x (Sx Ix Cx) i) ~x (Sx) j) x (Sx) k) x (Jx Hx) l) x (Mx OTx)
m) x (Px D1x) n) S x (Ex Px) o) x (Fx Ex) Le
7- a) F | 3 | = 3 3, b) V, c) V, d) F a equao no tem soluo, e) V, f) F 32 = 9 3
8- a) xA, x + 3 10, b) xA, x + 3 10, c) xA, x + 3 5, d) xA, x + 3 > 7,
e) xA, 3x 72, f) xA, x2 + 2x 15
9- a) xA, ~ p(x) xA, ~ q(x), b) xA, ~ p(x) xA, ~ q(x), c) xA, p(x) xA,
q(x), d) xA, ~ p(x) xA, ~ q(x), e) xIR, x + 2 > 7 xIR, x2 1 3,
f) xIR, x2 9 xIR, 2x 5 = 7. V( e) ) = F e V( ~ e) ) = V, V( f) ) = V e V( ~ f) ) = F,
10- a) V, x = 1 e z = 3, b) F, z = 1.
11- a) V, b) F Carlos no irmo de Lilian, c) F Carlos no irmo de Lilian, d) V, e) F Cludia
no irm de Mrio, f) V, g) F Cludia no irm de Mrio, h) V

Você também pode gostar