I I livro apresenta muito mais do que simples respostas de exercicios, pois di ut defini<;oes e suas interpreta<;oes, detalha as etapas de raciocinio

bem ( m desenvolvimentos frequentemente omitidos, explica as razoes da escoIlk) d determinado caminho, discute a 16gica e os passos 16gicos envolvidos, illl rpreta teoremas e suas provas sob diversos aspectos, apresenta ops;oes illl rn tivas, erros mais comuns, etc., sempre usando uma linguagem pre(i')i1, f rmal, mas acessivel e de fikil compreensao. Embora em grande parI{' nutocontido, complementa mas nao substitui 0 livro Matematica discreta /Jdrt computar;ao e informatica e, portanto, deve ser usado em conjunto com 1,1('. Aim,

objetivo

deste livro

e:

Uma linguagem de programar;ao junto de seus programas.

e (formalmente) e

definida em term os do con-

Capacitar 0 leitor para a aplical;;2JO sistematizada e formalizada de conceitos e resultados relativos a matematica disereta com enfase na computar;ao e informatica.

A questao da finitude desse conjunto uma discussao interessante, poi possivel pensar assim: se acrescentarmos uma instrur;ao, por exempl x: = 1, ao corpo de um programa Pascal, gera-se um novo programa. A ill trur;ao pode ser inc/uida qualquer numero de vezes e entao serao in fin it programas, ainda que obedecendo a exigencia de que um programa s6 p d' ter um numero finito de comandos.

soluc;ao: {x I x
nito.

e um

programa Pascal}. 0 conjunto (de programas)

infi

"-7
d Ji(
lIlI)

exerdcios resolvidos
exercicio 1.2 Para A s;6escorretas:

= {1}; B = {1, 2} e C = {{1}, 1}, marque a

firm,)

r va de forma alternativa (usando outra forma de notas;ao); e

e finito

ou infinito.

soluc;ao: Para cada item, a afirmar;ao correta e marcada com 0 sfmbol V e, na coluna da dire ita, eventualmente e apresentada uma rapida justifi tiVd
da resposta. AcB 2EBe2EtA AcB todos os elementos de B sao numeros e A conjunto BgA (1) E C Ar {1} ~ A ] ]

(In

(I

njunto e dito finito se pode ser denotado por extensao, ou seja, /istantlU tivamente todos os seus elementos, e infinito, caso con trario.

~ lInl ( IIjllnto pode ser definido par compreensao par meio de suas proprie-

[V]

I ill AsB

[v]
[ [

(I, IIII ''l, ) J par extensao, isto

e, exibindo

todos seus elementos.

lei Idl lei

AEB A=B AC

c um

I I

I()do') 0 numeros inteiros maiores que 10;

If 1 A{

Ivl Ivl

19]

A E C

[V] [] [V] [V] [ [V] [v] [v] ]

A={1}e{1}EC

Ill] A = C Ii] 1 EA

C~A

In
Ik]

1E C {1}EA {1} E C

o unico elemento de A conjunto {1}

e 0 numero

1 e nao

exercicio 1.5 0 conjunto vazio esta contido em qualquer conjunto (inclusive nele proprio)? Justifique a sua resposta. A defink;ao de continencia estabelece que A C B se e somente se todo elemento de A tambem elemento de B.

III

Ill1l 0 Et: C

Ill] 0~c

o conjunto vazio esta contido em qualquer conjunto (exerdcio 1.5)

solu~ao: 0 C B satisfaz a definiC;ao de contin encia para qualquer conjunto B, pois verdade que todo elementa de 0 (que nao existe) elemento de qualquer conjunto B.

exerdcio 1.3 Sejam a = {x 12x = 6} e b = 3. Justifique ou refute a seguinte afirmaC;;ao:

Essetipo de prova se chama prova par vacuidade. Neste capitulo e ao fango do livro veremos outros exemplos desse tipo de prova, sempre envolvendo 0 conjunto vazio.

Aqui se poe a diferenc;a entre um conjunto unitario e seu unico elemento. No rlesenvolvimento da soluC;ao,observe que a = {b}. solu~ao: a = {x /2x = 6} = {3}. Portanto, a = {3}
0

exercicio 1.6 Todo conjunto possui um subconjunto proprio? Justifique a sua resposta. solu~ao: Nao. 0 C A para qualquer conjunto A, inclusive quando A = 0 (exercicio 1.5), isto 0 0. Entretanto, vazio nao tem subconjunto pr6prio pois0 et 0.

que

e diferente

de

3.

e c

exercicio 1.7 Sejam A = {a, 1,2,3,4, 5}, B = {3, 4,5,6,7, 8}, C = {1, 3, 7, 8}. D = {3, 4}, E = {1, 3}, F = {1} eX um conjunto desconhecido. Para cada item abaixo, determine quais dos conjuntos A, B, C, D, E ou F pod em ser iguais aX. Esseexercfcio se refere definic;ao de con tin encia e a questao determinar que valores 0 conjunto X pode assumir entre A, B, C, 0, E e F,.satisfazendo cada uma das condic;oes. Observe que B
=

{a, {b, c}, {1, 2}}. Ou seja, B possui 3 elementos. Em par-

licular:
1 ~ B e 2 Et: B. Logo {1, 2} nao subconjunto de B,. por outro lado, {1, 2} E B. Logo 0 conjunto uniMrio {{ 1, 2}} subconjunto de B.

dado A c;;;. B, dado B c;;;. C

e fato que, para todo x, se x E A entao x E B; e e fato que, para todo x, se x E B entao x E C;

CrtBeCc;;;.C ErtBeEc;;;.C FrtBeFc;;;.C

entao fato que, para todo x, se x E A entao x E C. Em particular, dado a E A, entao a E C.

Nao necessariamente b E A. Contraexemplo." A

{a}, B

{a, b} e C

{a,

b, c}.

N'3o necessariamente c = {a, b, c}.

ti A. Contraexemplo." A

{a, c}, B

{a, b, c}

Bc;;;.BeBrtC oc;;;.BeOrtC

Nlio necessariamente dEB.

Contraexemplo." A

= {a}, B = {a, b} e C = {a,

h, c, d}

exercicio 1.8 Sejam A um subconjunto

uponha

que a
SaG

E A,

E B, c E C, d

ti

A,

de B e B um subconjunto de C. e ti B, f ti c. Quais das seguintes

IIi/II

'firma<;6es

verdadeiras?

J/hid ,. nd qu A c;;;. B, fato que, p ra todo x, se x E A entao x E B. '/TI i ulm; mo ti B, obrigatoriam nt ti A.

Considerando que A ~ B e B C C, fato que, para todo x, se x E A entao x E B ex E C. Em particular, como f t C obrigatoriamente f t A.

soluc;ao: A afirmar;;ao e fa/sa. De fato, um texto em portugues contem, em

gera/, uma serie de sfmb%s especiais como pontuar;;ao, aspas, parenteses, espar;;o(branco separador), ete.

exercicio

1.9 Marque os conjuntos que sac alfabetos:

b.2) N uma linguagem sobre Dfgitos, ou seja, Dfgitos*. II.

e um

subconjunto de

soluc;ao: Para cada item, a afirmar;;ao correta

e marcada com 0 sfmb%

[ [ [v] [v] ] ]

soluc;ao: Esse item possui duas respostas, dependendo se a abordagem

sobre a sintaxe ("forma") ou sobre a semantica ("significado"):

[aJ Conjunto lb] Conjunto Ie] Conjunto Id] Conjunto Ie] Conjunto If] Conjunto

dos numeros naturais dos numeros primos das letras do alfabeto brasileiro dos algarismos arabicos dos algarismos romanos {a, b, c, d}

[II] [II] [II]

[v]

sintaticamente, a afirmar;;ao verdadeira pois qua/quer numero natural pode ser escrito usando os sfmb%s do a/fabeto Dfgitos; semanticamente fa/sa, pois existem infinitas formas de representar os numeros natura is como, por exemp/o, usando qua/quer a/fabeto binario como o {O, 1}. Nesse caso, a interpretar;;ao dessasdiferentes formas sempre a mesma e essainterpretar;;ao que define con/unto dos numero naturais.

IgJ Ihl

Conjunto das vogais Conjunto das letras gregas

Quest6es sobre sintaxe e semfmtica sao apenas superficia/mente abordadas neste /ivro e sac usua/mente deta/hadas em discip/inas como linguagens formais e semantica formal, respectivamente.

,. exerCICIO

110 .

SeJ'am'" = {a be .:.." ,

, ... ,

z}eDigitos={O,1,2,3,4,5,6,7,

8, 9} alfabetos. Entao:

lal

Para cada um dos alfabetos abaixo, descreva 0 correspondente conjunto de todas as palavras: a.1)

soluc;ao: A afirmar;;ao e fa/sa, tanto sintMica como semanticamente (ver item

anterior sobre uma breve discussao de quest6es sintMicas e semfmticas). De fa to, a pa/avra vazia e nao representa um numero natural.

I
I I I' '/

~ . ",' soI u~ao. ~ - { 8, a b c a.2) Digitos

z aa ab ac ... az, ba, bb, bc, ... bz,aaa, ... }

I I I I I

exercicio 1.11 Em que condic.;:oes 0 conjunto de todas os palindromos bre um alfabeto constitui uma linguagem finita?

50-

soluC;ao: Dfgitos* = {e, 0, 1,2, ...,9,00,01,02, ...,09, ...,90,91,92, ...,99,

OOO,... }

Ib[

Discuta as seguintes afirmac.;:oes:

Para um a/fabeto unitario, qua/quer pa/avra (de qua/quer comprimento) um pallndromo, po is constitufda por uma sequencia fin ita de um mesmo sfmbo/0 justaposto. Nesse caso, conjunto dos pallndromos infinito. Obviamente, para a/fabetos binarios ou maiores, um racioclnio ana/ogo va/ido. Entretan10, sC' () a/fabelo for vazio, a unica cadf:,'iadf.' crlrilcleres passlve/ a pa/avra vii/ill I:, rl qua/6 um pallndromo.

b.1)

," ...

Portugu&s

e uma linguagem

sobre~, au seja,

e um subconjunto

de