Sie sind auf Seite 1von 4

Linguagens Formais e Autmatos

Lista de Exerccios No. 01


Teoria de Conjuntos, Relaes, Funes e Tcnicas de Demonstrao Recordao


1) Suponha o universo N, e sejam A = {0, 1, 2} e B = {2, 3}. Ento:
a) A B
b) A B
c) A B
d) ~A
e) 2
B
= P(B)
f) A x B

2) Sendo A = {a, e, u}, B = {i, o} e C = {1, 2}, determine:
a) A x B
b) A x C
c) B x C
d) C x B

3) Sendo A = {x, y, z}, determine A x A.

4) Sendo A = {0, 1, 2, 3}, B = {2, 3} e C = {x | x par menor que 12 e maior que 0}, determine:
a) A B
b) A C
c) B C
d) (A C) B
e) A B
f) A C
g) B C
h) (A B) C
i) (A B) C
j) A (B C)
k) A x B
l) B x (A C)
m) C x (A B)
n) A - C
o) C - A
p) C
A
B
q) C
B
(A C)
r) (A B) (A C)
s) B x (C - A)
t) (A x C) - (B x C)

5) Sendo A = {x e R | 0 s x s 1} e B = {x e R | -1 s x s }, represente graficamente os seguintes conjuntos:
a) A
b) B
c) A B
d) A B
e) A B
f) A B
g) A
h) B
i) A B
j) A B

6) Indique se so verdadeiras ou falsas as afirmativas abaixo:
a) C _ C
b) C e C
c) C e {C}
d) C _ {C}
e) {a, b} e {a, b, c, {a, b}}
f) {a, b} _ {a, b, c, {a, b}}
g) {a, b} _ 2
{a, b, {a, b}}

h) {a, b} e 2
{a, b, {a, b}}

i) {a, b, {a, b}} {a, b} = {a, b}

7) Indique os conjuntos abaixo em sua representao explcita:
a) ({1, 3, 5} {3, 1}) {3, 5, 7}
b) {{3}, {3, 5}, {{5, 7}, {7, 9}}}
c) ({1, 2, 5} {5, 7, 9}) ({5, 7, 9} {1, 2, 5})
d) 2
{7, 8, 9}
- 2
{7, 9}

e) 2
C


8) Prove cada uma das igualdades (propriedades) a seguir:
a) A (B C) = (A B) (A C)
b) A (B C) = (A B) (A C)
c) A (A B) = A
d) A (A B) = A
e) A (B C) = (A B) (A C)
f) A A = A; A A = A (Idempotncia)
g) A B = B A; A B = B A (Comutatividade)
h) ~(~A) = A (Duplo Complemento)
i) ~(A B) = ~A ~B (DeMorgan)
j) ~(A B) = ~A ~B (DeMorgan)
k) A ~A = U
l) A ~A = C

9) Seja S={a, b, c, d}
a) Qual a partio de S com menos elementos ?
b) Qual a partio de S com mais elementos ?
c) Liste todas as parties de S com exatamente dois membros.

10) Para o conjunto A = {C, a, {a}}, determine:
a) 2
A

b) A x B
c) A B
d) A B

11) Considere A = {m} e B ={x, y}. Determine:
a) 2
A
x 2
A

b) 2
A
x B
c) P(P(A))

12) Para a relao {(a,b), (a,a), (b,a), (b,b), (b,c), (c,b), (c,c)}, qual a sua relao inversa? Qual o grafo que
representa cada uma das duas relaes?

13) Considere as operaes relacionais abaixo apresentadas. Indique, para cada operao, se a mesma pode
ser classificada como reflexiva, simtrica ou transitiva.
a) , sobre N x N
b) , sobre N x N
c) =, sobre N x N
d) >, sobre N x N
e) _, sobre 2
N
x 2
N

f) , sobre 2
N
x 2
N


14) Sabendo-se que o OU-EXCLUSIVO simbolizado por A B, mostre que:
A B (AB) uma tautologia

15) Com a utilizao de conhecimentos da Lgica de Proposies, reescreva o programa Pascal a seguir com
uma expresso condicional simplificada:

if not ((valor1 < valor2) or odd(numero))
or (not(valor1 < valor2) and odd(numero)) then
comando1
else
comando2;

16) Indique o valor-verdade de cada uma das wffs a seguir na interpretao onde o domnio consiste nos
estados do Brasil, Q(x,y) x ao norte de y, P(x) x comea com a letra P e a Paran.
a) (x) P(x)
b) (x) (y) (z) [Q(x,y) . Q(y,z) Q(x,z)]
c) (-y) (-x) Q(y,x)
d) (x) (-y) [P(y) . Q(x,y)]
e) (-y) Q(a,y)

17) Usando a lgica proposicional, prove que a argumentao abaixo vlida. Utilize os smbolos
proposicionais indicados:

Se Jos pegou as jias ou a sra. Krasov mentiu, ento ocorreu um crime. O sr. Krasov no estava na
cidade. Se ocorreu um crime, ento o sr. Krasov estava na cidade. Portanto Jos no pegou as jias.
(J,M,C,E)

18) Prove que se dois inteiros so ambos divisveis por um inteiro n, ento a sua soma divisvel por n.

19) Prove ou apresente contra-exemplo:

a) O produto de quaisquer trs inteiros consecutivos par.
b) A soma de dois nmeros pares par.
c) O produto de um nmero mpar por um nmero par mpar.
d) A soma de dois nmeros mpares sempre mpar.
e) O produto de dois nmeros pares sempre par.
f) O produto de dois nmeros mpares sempre mpar.

20) Demonstre, utilizando induo matemtica, a validade das equaes abaixo para qualquer inteiro
positivo:
a) 1
3
+ 2
3
+ ... + n
3
= (n
2
(n+1)
2
) / 4
b) 2 + 6 + 10 + ... + (4n 2) = 2n
2

c) 2 + 4 + 6 + ... + 2n = n(n+1)
d) 4 + 10 + 16 + ... + (6n 2 ) = n(3n + 1)
e) 1
2
+ 2
2
+ ... + n
2
= (n(n+1)(2n+1)) / 6


21) Uma coleo S de cadeias de caracteres definida recursivamente por:
a) a e b pertencem a S
b) Se X pertence a S, ento Xb tambm pertence a S.

Quais das seguintes cadeias pertencem a S ?
a) a
b) ab
c) aba
d) aaab
e) bbbbb

22) Em um experimento, certa colnia de bactrias tem inicialmente uma populao de 50.000. Uma leitura
feita a cada duas horas, e no final de cada duas horas de intervalo h trs vezes mais bactrias que antes.

a) Escreva uma definio recursiva para A(n), onde A(n) o nmero de bactrias presentes no incio do n-
simo perodo de tempo.

b) No incio de qual intervalo existem 1.350.000 bactrias presentes?

23) Quais dos pares de proposies abaixo so equivalentes? Justifique.
a) (p q) e (~p v q)
b) (~p . ~q) e (~(p . q))
c) (~p v ~q) e (~(p . q))
d) (p . (q v r)) e ((p . q) v (p . r))
e) (p v (q . r)) e ((p . q) v (p . r))

24) Considerando os conjuntos A={1, 2, 3, 4}, B={2, 4, 6, 8, 10} e C={a, b, c, d, e}, verifique se so funes
as relaes abaixo. Caso sejam funes, classific-las como funes (i) parciais ou totais e (ii) injetora,
sobrejetora ou bijetora.
a) Entre A e B: {(1,2), (2,4), (3,6), (4,8)}
b) Entre A e C: {(2,a), (4,c), (3,6), (2,b)}
c) Entre B e C: {(2,a), (4,c), (6,d), (8,b), (10,e)}
d) Entre A e B: {(1,2), (2,4), (4,10)}
e) Entre C e B: {(a,10), (c,2), (b,10), (e,4), (d,8)}
f) Entre C e A: {(a,1), (b,2), (c,3), (d,4)}
g) Entre C e A: {(a,3), (b,4), (c,2), (d,1), (e,1)}