Escolar Documentos
Profissional Documentos
Cultura Documentos
So Paulo
2009
Pr-Reitoria de Graduao, Universidade Estadual Paulista, 2009.
ISBN 978-85-98605-88-3
CDD 004.0151
Ficha catalogrfica elaborada pela Coordenadoria Geral de Bibliotecas da Unesp
Universidade Estadual Paulista
Reitor
Herman Jacobus Cornelis Voorwald
Vice-Reitor
Julio Cezar Durigan
Chefe de Gabinete
Carlos Antonio Gamero
Pr-Reitora de Graduao
Sheila Zambello de Pinho
Pr-Reitora de Ps-Graduao
Marilza Vieira Cunha Rudge
Pr-Reitora de Pesquisa
Maria Jos Soares Mendes Giannini
Pr-Reitor de Administrao
Ricardo Samih Georges Abi Rached
Secretria Geral
Maria Dalva Silva Pagotto
COMISSO EXECUTIVA
Elizabeth Berwerth Stucchi
Jos Roberto Corra Saglietti
Klaus Schlnzen Junior
Leonor Maria Tanuri
APOIO TCNICO
Ivonette de Mattos
Jos Welington Gonalves Vieira
PROJETO GRFICO
PROGRAMA DE APOIO
PRODUO DE MATERIAL DIDTICO
Ao Felipe (AFS)
A Rita e Isabela (CMS),
dedicamos.
Prefacio
1 LOGICA 17
1.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2 Calculo Proposicional . . . . . . . . . . . . . . . . . 20
1.3 Equivalencia e Implicacao Logica . . . . . . . . . . . 31
1.4 Predicados, Sentencas Abertas e Quanticadores . . 37
1.5 Metodos de Prova . . . . . . . . . . . . . . . . . . . 43
1.5.1 Argumentos e Regras de Inferencia . . . . . . 43
1.5.2 Regras de Inferencia para Proposicoes
Quanticadas . . . . . . . . . . . . . . . . . . 56
1.5.3 Metodos de Demonstracao de Teoremas . . . 58
3 CONJUNTOS 121
3.1 Diagrama de Venn-Euler . . . . . . . . . . . . . . . . 126
3.2 Operacoes entre Conjuntos . . . . . . . . . . . . . . 126
3.2.1 Reuniao ou Uniao de Conjuntos . . . . . . . . 126
3.2.2 Intersecao de Conjuntos . . . . . . . . . . . . 128
3.2.3 Diferenca de Dois Conjuntos e Conjunto Com-
plementar . . . . . . . . . . . . . . . . . . . . 130
3.3 Numero de Elementos de um Conjunto . . . . . . . . 135
3.4 Produto Cartesiano e Gracos . . . . . . . . . . . . . 136
3.5 Representacao Computacional de Conjuntos . . . . . 138
4 RELACOES 145
4.1 Relacoes . . . . . . . . . . . . . . . . . . . . . . . . . 145
4.1.1 Representacoes . . . . . . . . . . . . . . . . . 145
4.1.2 Comentarios e Observacoes . . . . . . . . . . 147
4.1.3 Domnio e Imagem . . . . . . . . . . . . . . . 149
4.1.4 Inversa de uma Relacao . . . . . . . . . . . . 150
4.1.5 Composicao de Relacoes . . . . . . . . . . . . 151
4.1.6 Propriedades de Relacoes Sobre Conjuntos . . 155
4.2 Relacao de Equivalencia . . . . . . . . . . . . . . . . 163
4.3 Relacoes de Ordens - Conjuntos Ordenados . . . . . 171
4.3.1 Diagrama de Hasse . . . . . . . . . . . . . . . 175
4.3.2 Elementos Especiais de Conjuntos
Parcialmente Ordenados . . . . . . . . . . . . 177
4.4 Funcoes ou Aplicacoes . . . . . . . . . . . . . . . . . 185
4.4.1 Imagem Direta e Imagem Inversa . . . . . . . 187
4.4.2 Restricao e Prolongamento de Funcoes . . . . 188
4.4.3 Funcoes Injetoras e Sobrejetoras . . . . . . . 189
4.4.4 Funcao Inversa . . . . . . . . . . . . . . . . . 191
4.4.5 Composicao de Funcoes . . . . . . . . . . . . 193
4.4.6 Algumas Funcoes Importantes: . . . . . . . . 198
BIBLIOGRAFIA 393
1.1 Introducao
Segundo Pierce, mais de uma centena de denicoes ja foram pro-
postas para responder a questao, o que e logica?. Mas, para ele,
a principal funcao da logica e a classicacao das argumentacoes, de
modo que se possa separar as boasdas mas. Logica seria (ou
e), entao, o estudo e a analise de metodos e princpios empregados
para distinguir boas (corretas) e mas (incorretas) argumentacoes.
Lembramos que os argumentos sao, via de regra, elaborados com
o to de convencer, e esta e, realmente, uma de suas mais impor-
tantes e legtimas funcoes. Indivduos diferentes formulam cada
enunciado com metodos diferentes, como adivinhar ou sonhar, e
entao vem com o problema de convencer os demais (por vezes eles
proprios) da veracidade do palpite.
Alem dos metodos inspiracionais e pessoais, como usam os artis-
tas e os msticos, tres outros metodos sao conhecidos.
O primeiro, embora seja barbaro, e muito empregado pela hu-
manidade. Consiste em dizer O enunciado tal e verdadeiro porque
o chefe (ou o uso, ou o governo, etc.) diz que e, e os descrentes
sao convencidospor algum tipo de forca. Este metodo tem uma
desvantagem a longo prazo, porque pode bem acontecer que um
grande projeto baseado em princpios impostos por um chefe saia
errado, com grande desperdcio de tempo e dinheiro. A historia
esta repleta de exemplos.
18 Aspectos Formais da Computacao
2 2 2
AC = AB + BC + (t t1 )(t t2 ) . . . (t tn )
onde t e o tempo agora e ti sao os tempos de vericacoes ante-
2 2 2
riores, ou ainda, AC = AB + BC + d com d = 0, uma constante
pequena demais para ser detectado experimentalmente.
Poderamos argumentar que a primeira armacao e valida por-
que e mais simples, baseando-se em que A NATUREZA E SIM-
PLES. Mas, isto introduz uma hipotese nao provada (embora util,
e a historia da humanidade apresenta muitos exemplos em que o
que e complexopara uma geracao e simples para a seguinte).
A descoberta do terceiro metodo, aparentemente, foi um feito
peculiar da civilizacao grega. Recordando o problema: achar um
modo pelo qual o indivduo A pode fazer uma armacao k e te-
la aceita por um outro indivduo B, que talvez no incio esteja
descrente.
O metodo encontrado pelos gregos, e usado com bastante sucesso
no estudo da geometria, consiste em formular um conjunto im-
parcial de regras, pelo qual B ouve o argumento de A em apoio
a k e concorda em deixar A continuar em cada estagio do argu-
mento, se certas condicoes estiverem satisfeitas. Se A satisfaz a es-
sas condicoes em cada estagio do argumento, ate que o argumento
esteja completo, entao B concorda em se convencer.
Segundo este metodo, sao apresentados certos axiomas e deni-
coes cujo objetivo e limitar a argumentacao de modo que, para se
estabelecer qualquer proposicao, pode-se partir dos axiomas (que
sao pensados como expressando verdades que nenhuma pessoa sa
Logica 19
Smbolo Utilizado
e ou &
ou ou +
ou (exclusivo)
se entao
se, e somente se
nao ou
Estudaremos os valores-verdade da negacao de uma proposicao
e de proposicoes compostas obtidas usando-se cada um dos conec-
tivos.
1. Negacao (nao)
2. Conjuncao
Observe a sentenca: Estou cansado e com sono. Podemos
decompo-la em duas:
3. Disjuncao
p q pq p q pq
V V V V V F
V F V V F V
F V V F V V
F F F F F F
4. Condicional ()
p q pq
V V V
V F F
F V V
F F V
p p p p
V F F
F V F
Denicao 1.6 Toda proposicao, que nao seja uma tautologia nem
contradicao, e dita indeterminada ou contingencia. Assim, a tabela-
verdade de uma contingencia admite, em sua coluna nal, valores
falsos e tambem verdadeiros.
Logica 27
proposicoes:
(a) O tempo esta frio e estou cansado.
(b) Ou e desejavel a boa saude, ou fui mal informado.
(c) As laranjas nao sao adequadas para usa-las em saladas de frutas.
(d) Existe um numero real que somado a 6 da como resultado 13.
(a) p (e) p q
(b) (p q) r (f ) p (q r)
(c) (p q) (q r) (g) p (q r)
(d) p q (h) (p q) ( p q)
Notacao: P Q ou P Q.
p q pq q p q ( p) A B
V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V
32 Aspectos Formais da Computacao
p q p q (p q) q p q D E
V V V F F F V
V F F V V V V
F V V F F F V
F F V F V F V
p q p q p q CD A B A B
V V F F F F F F F
V F F V V V V V F
F V V F V V V F V
F F V V F F F F F
p q p q p q p q
V V V V F V
V F F F F F
F V V V V V
F F V V V F
34 Aspectos Formais da Computacao
(p q) p q
mesma tabela
p q p q (p q) p q p q
V V V F F F F
V F F V V F V
F V F V V V F
F F F V V V V
A primeira observacao que fazemos dos Teoremas 1.12 e 1.13
e que estas propriedades iniciais de equivalencia logica podem ser
usadas para construir ou vericar outras equivalencias logicas. A
razao disto e que podemos trocar uma proposicao composta por
outra que e logicamente equivalente a ela sem mudar o valor-verdade
da proposicao composta. Vamos exemplicar esta tecnica que,
muitas vezes, serve para obter uma proposicao mais simples logica-
mente equivalente a proposicao composta original. Este processo e
dito simplicacao.
Exemplo Mostre que (p q) (p q) e uma tautologia, sem usar
tabela-verdade.
Solucao:
(p q) (p q)
(p q) (p q) (Prop. do condicional)
( p q) (p q) (Leis de DeMorgan)
( p p) ( q q) (Leis assoc. e comut.)
T T (Leis complementares)
T (idempotentes).
A segunda observacao e que, em geral, usamos sentencas logi-
camente equivalentes para negar determinados tipos de proposi-
coes compostas. Mais precisamente, usando os tens (c), (d), (h)
e (e), temos formas para a negacao de sentencas compostas. Por
exemplo, a negacao da proposicao: Joao e Paulista ou Paulo e
Carioca e Joao nao e Paulista e Paulo nao e Carioca, (tem (d)
Logica 35
Note que nem e preciso fazer a tabela para vericar esta im-
plicacao logica, desde que p q e verdadeira sempre que p o for.
36 Aspectos Formais da Computacao
Exerccios
(1) Demonstre que: (i) p q q p p q,
(ii) p q ( p q) (p q).
(2) Prove que o smbolo condicional nao e associativo, ou seja,
prove que [(p q) r] [p (q r)].
(3) Para proposicoes p e q demonstre que:
(i) (p q) p p q, (ii) (p q) p p q,
(iii) p ( p q) p q e p ( p q) p q.
(4) Verique se: [(p q) (r q) r] = p.
(5) Construa as tabelas-verdade e simplique cada uma das seguintes
proposicoes compostas:
(i) [( p q) (p r)] [(r p) r],
(ii) [p (q r)] [q (p r)],
(iii) {p [q (q (p p)]} {q (r r)}.
(6) Verique se: (a) p = (p q), (b) p = (p q),
(c) (p q) = (p q).
(7) Demonstre as seguintes leis:
(a) (p q) p = q, (b) p q = p,
(c) (p q) q = p,
(d) (i) p (p q) p q, (ii) (p q) q p q,
(iii) p (p q) p e p (p q) p, (prop. Absorcao).
(8) Demonstre a propriedade distributiva a esquerda de em
relacao a , isto e: [p (q r)] [(p q) (p r)].
(9) Duas operacoes bastante usadas em circuitos logicos sao o
NAND (do ingles, nao e) que pode ser denotado e denido por
Logica 37
p|q := (p q) e NOR (do ingles, nao ou), que pode ser denotado
e denido por p q := (p q).
(i) Use as propriedades ja vistas e faca a tabela para as operacoes
NAND e NOR.
(ii) Com base na tabela construda, reescreva as denicoes.
(10) Complete as demonstracoes dos Teoremas 1.12 e 1.13.
Dupla Quanticacao
Muitas vezes, em matematica e em outras ciencias, ocorrem
sentencas abertas ou proposicoes com duas ou mais variaveis. Por
exemplo, considere a proposicao: Todos os alunos do Ibilce tem um
computador ou tem um colega (aluno do Ibilce) que tem um com-
putador. Esta proposicao pode ser posta em linguagem matemati
ca como segue. Seja C(x) : x tem um computador e F (x, y) : x
e y sao colegas, onde x, y pertencem ao universo de discurso U
constitudos pelos alunos do Ibilce. A sentenca pode ser traduzida
na forma:
x U, [C(x) (y U : C(y) F (x, y))].
Exemplo (1) A proposicao: x Z, y R : x + y = 4 e
lida do seguinte modo: Para todo x em Z, para todo y em R,
x + y = 4, ou entao Para todo numero inteiro x e todo numero
real y, x + y = 4. Note que esta proposicao e falsa, pois, por
exemplo P (0, 0) e falsa, onde P (x, y) : x + y = 4.
Outro modo de escrever esta proposicao pode ser: (x, y)
Z R : x + y = 4, que pode ser lida do seguinte modo: Para todo
par (x, y) em Z R : x mais y e igual a 4.
Exemplo (2) A leitura da proposicao: x Z, y R : x + y =
4 e: Para todo x em Z (ou para todo inteiro x) existe y em R
(ou existe um numero real y), tal que x + y = 4.
Esta proposicao e verdadeira pois, para cada x Z, basta tomar
y = 4 x R que temos P (x, 4 x) verdadeira, pois P (x, 4 x)
e x + (4 x) = 4.
Note que na quanticacao x, y : P (x, y), em geral, y ca
dependendo de x e, as vezes, ca melhor ler assim: Para cada
x, y, P (x, y).
Quando invertemos os quanticadores, o sentido e outro bem
Logica 41
diferente, veja:
Exemplo (3) A proposicao: x Z, y R : x + y = 4 deve
ser lida do seguinte modo:
Existe um inteiro x, para todo numero real y, x + y = 4.
Nesta proposicao, depois da variavel x deve ser entendido que
existe o termo tal que. Assim a leitura ca:
Existe um inteiro x, tal que para todo numero real y : x+y =
4.
Assim, esta proposicao e falsa, pois nao existe um numero inteiro x
que satisfaca x + y = 4 para todo numero real y. Aqui o sentido
e a existencia de um numero inteiro x xado, tal que x + y = 4 e
satisfeita para todo y real. As vezes podem existir outros elementos
x que satisfazem P (x, y), y; por exemplo, a proposicao: x, y :
x + y 2 0 sobre o conjunto universo dos numeros reais e tal
que qualquer numero real positivo x = a xado torna a expressao:
a + y 2 0 para todo y R verdadeira.
Finalmente a proposicao:
Exemplo (4) x Z, y R : x + y = 4 e verdadeira e
se le: Existe x Z, existe y R tal que x + y = 4, P (0, 4) e
verdadeira.
Resumindo, temos os seguintes tipos de quanticacoes para
funcoes proposicionais com duas variaveis: x, y, P (x, y);
x, y, P (x, y); x, y, P (x, y); x, y, P (x, y).
A quanticacao de proposicoes pode ser estendida para sen-
tencas abertas com mais de duas variaveis com os devidos cuidados.
[x : P (x)] [x : P (x)].
Exemplo (a) (i) [x : x + 1 = 7] (x : x + 1 = 7).
(ii) [x : x + 1 = 7] [x : x + 1 = 7].
(iii) [(x Z)(y R) : x + y = 4] (x Z)(y R) :
x + y = 4.
(iv) [(x Z)(y R) : x + y = 4] = (x Z)(y R) :
x + y = 4, etc..
Exemplo (b) Seja H o conjunto de todos os humanos e P (x)
o predicado x e mortal. Entao a proposicaoTodo homem e
mortalpode ser traduzida para x H : P (x). A negacao desta
sentenca e: x H : P (x), que se le: Existe um homem que
nao e mortal.
Exemplo (c) Sejam P (x) e Q(x) respectivamente os predicados:
P (x) : x 0 e Q(x) : x e um quadrado. Entao tradu-
zimos a sentenca todo numero real positivo e um quadradopor
x R : P (x) Q(x)
ou seja, para todo numero real x, se x e positivo entao x e um
quadrado. Logo a negacao de Todo numero real positivo e um
quadradopode ser escrita do seguinte modo:
Em smbolos:
z U, (z = y B(x, z)).
p1 , p2 , . . . , pn c.
p1 : p q
p2 : q r
p3 : r
c:p
e entao p1 , p2 , p3 c ou ainda (p q), (q r), ( r) p.
Podemos testar a validade de um argumento. Para faze-lo
levamos em conta a seguinte denicao.
p: Jorge e adulto
q: Maria e crianca,
pq pq
p ou q
Logica 47
pq
p
q
pq
q
p
( p) p
ou
p ( p)
Regra 7: Regra de Absorcao (RA) sao as implicacoes do tipo
[p (p q]) = [p q]. Elas sao representadas na forma de
argumento por:
p (p q)
pq
pq
qr
pr
Regra 9: Silogismo Disjuntivo (SD) sao as implicacoes do tipo
[(p q) p] = q. Elas sao representadas na forma de argumento
por:
pq
p
q
Regra 10: Regras do Bicondicional (RBC)
pq
pq
(a) qp (b)
(p q) (q p)
pq
sao as implicacoes:
(a) [(p q) (q p)] = (p q)
(b) [(p q) = [(p q) (q p)].
pq
rs
pr
qs
Regra 12: Dilema Destrutivo (DD) sao implicacoes do tipo
[(p q) (r s) ( q s)] = p r. Elas sao represen-
tadas na forma de argumento por:
pq
rs
q s
p r
Logica 49
Passos Justicativa
1. p q (hipotese)
2. p (simplicacao)
3. r p (hipotese)
4. r (modus tollens de 2 e 3)
5. r s (hipotese)
6. s (modus ponens de 4 e 5)
7. s t (hipotese)
8. t (modus ponens de 6 e 7).
Passos Justicativa
1. p q (hipotese)
2. q p (contra recproca de 1)
3. p r (hipotese)
4. q r (silogismo hipotetico de 2 e 3)
5. r s (hipotese)
6. q s (silogismo hipotetico de 4 e 5)
[(p q) (p r)] = (q r)
pq
pr
qr
e e conhecida como resolucao.
A conclusao q r e chamada de resolvente. No caso em que r e a
propria q, ou r e uma contradicao, a resolvente e q, pois q q q
e q C q. Em resumo:
Logica 51
P Q Q P P Q Q P P Q P Q
V V F F V V F V
F V F V V V F V
F F V V V V F V
Regras de Inferencia
Tabela 2
para Proposicoes Quanticadas
e verdadeira.
(C) Demonstracao por Vacuidade
Suponhamos que a hipotese P da implicacao P = Q a ser
demonstrada e falsa. Como f v ou f f sao verdadeiras,
segue-se que P Q e verdadeira, qualquer que seja o valor-
verdade da proposicao Q. Consequentemente, se P e falso, entao a
demonstracao de P = Q e chamada de Prova por Vacuidade. Este
tipo de prova e muitas vezes usado para estabelecer casos especiais
de teoremas.
Exemplo (C) Considere a funcao proposicional denida sobre o con-
junto dos numeros naturais: P (n) : Se n > 1, entao n2 > n.
Vamos demonstrar que P (0) e verdadeira. P (0) : Se 0 > 1, entao
02 > 0. Como 0 > 1 e falso, segue-se por vacuidade que P (0)
e verdadeira. (Note que 02 > 0 e falso, mas como 0 > 1 tambem e
falso, entao 0 > 1 = 02 > 0).
(D) Demonstracao Trivial
Quando a conclusao Q da implicacao P = Q e verdadeira,
entao P Q e verdadeira qualquer que seja o valor-verdade de
P. Assim, se sabemos que Q e verdadeiro, independente de P, a
demonstracao de P = Q e dita Demonstracao Trivial. Essas
demonstracoes muitas vezes aparecem em casos especiais ou parti-
culares de um teorema, por exemplo, quando se faz demonstracoes
por inducao matematica.
Exemplo (D) Seja P (n) a funcao proposicional: Se a e b sao
inteiros positivos com a b, entao an bn . Vamos demonstrar
que P (0) e verdadeira.
P (0) e a seguinte proposicao: Se a e b sao inteiros positivos
com a b, entao a0 b0 .
Desde que a0 = b0 = 1, segue-se que P (0) e verdadeira indepen-
dente das restricoes sobre a e b. Este e um exemplo de demonstracao
trivial.
(E) Demonstracao por Contradicao ou Reducao ao
Absurdo
Um outro metodo usado para provar teoremas e a De-
monstracao por Contradicao ou por Reducao ao Absurdo. Se o
62 Aspectos Formais da Computacao
Exerccios do Captulo 1.
(1) Quais das sentencas dadas sao proposicoes? Quais sao os
valores-verdade das sentencas que sao proposicoes?
70 Aspectos Formais da Computacao
(24) Expresse cada uma das proposicoes de (a) a (d) usando smbo-
los logicos, predicados e quanticadores. (a) Algumas proposicoes
sao tautologias, (b) A negacao de uma contradicao e uma tau-
tologia, (c) A disjuncao de duas contingencias pode ser uma tau-
tologia, (d) A conjuncao de duas tautologias e uma tautologia.
2.1 Inducao
Primeiro Princpio de Inducao Finita (P.I.F.)
Dado a Z e P (n) uma sentenca aberta denida para todo n
Z, n a. Se
(i) P (a) e verdadeira,
(ii) r a, P (r) = P (r + 1),
entao P (n) e verdadeira para todo n a.
O Princpio de Inducao Finita e uma poderosa ferramenta mate-
matica e pode ser expressa como regra de inferencia da seguinte
forma:
Exemplo.
(1). Toda postagem de 12 centavos ou mais, pode ser paga usando
moedas de quatro e cinco centavos.
De fato, uma postagem de 12 centavos pode ser paga usando
tres moedas de quatro centavos.
Suponhamos que uma postagem de k centavos, k 12, possa
ser paga usando moedas de quatro e cinco centavos, e conside-
remos uma postagem de k + 1 centavos. Temos os casos:
(a) Se k foi paga usando pelo menos uma moeda de quatro
centavos, troque uma moeda de quatro centavos por uma moeda
de cinco centavos.
(b) Se k foi pago so com moedas de cinco centavos, foram
necessarias pelo menos tres moedas de cinco centavos, pois k 12.
Troque tres moedas de cinco centavos por quatro moedas de quatro
centavos.
(2). Prove que a soma dos n primeiros numeros naturais nao-nulos
n(n + 1)
e 2 .
Solucao Temos que provar que P (n) e verdadeira para todo
numero natural n 1, onde P (n) e a igualdade: 1 + 2 + . . . + n =
n(n + 1) 1(1 + 1)
. P (1) e verdadeira pois 1 = . Suponhamos agora
2 2
k(k + 1)
que P (k) : 1 + 2 + . . . + k = e verdadeira e provemos que
2
(k + 1)[(k + 1) + 1]
P (k+1) : 1+2+. . .+k+(k+1) = e verdadeira.
2
Partindo do lado esquerdo da igualdade, temos 1 + 2 + . . . + k +
(k + 1) = [1 + 2 + . . . + k] + (k + 1) que, por hipotese de inducao,
k(k + 1)
e + (k + 1). Reduzindo ao mesmo denominador, temos
2
k(k + 1) + 2(k + 1) (k + 1)(k + 2)
1 + 2 + . . . + k + (k + 1) = = ,
2 2
82 Aspectos Formais da Computacao
1 + i 1 + (i + 1) 1 + (i + 2) 1 + (i + 3) . . . = i + 1
Prova
(Por inducao sobre i). Para i = 0, o teorema se reduz
a 1 + 0 = 0 + 1, que e obviamente verdadeiro. A hipotese de
inducao e:
1 + k 1 + (k + 1) 1 + (k + 2) 1 + (k + 3) . . . = k + 1
1 + (k + 1) 1 + (k + 2) 1 + (k + 3) 1 + (k + 4) . . . =
(k + 1)2 1 k 2 + 2k
= = = k + 2 = (k + 1) + 1.
k k
Novamente, ha uma falacia nesta prova. Qual e ela?
84 Aspectos Formais da Computacao
Exemplos
(1) A sequencia de Fibonacci e denida por
(i) f (0) = f (1) = 1 e
(ii) f (n + 1) = f (n) + f (n 1), n 1,
de modo que seus termos iniciais sao 1, 1, 2, 3, 5, 8, 13, . . .
(Nota: Se n representar a quantidade de anos, f (n 1) re-
presenta a quantidades de ramos de uma planta com a seguinte
caracterstica: Cada ramo que nasce, depois de dois anos de vida,
faz brotar de si um ramo por ano. Com isto, no n-esimo ano de
vida da planta temos f (n1) ramos. Esta sequencia tambem serve
para descrever a populacao de coelhos no n-esimo ano, partindo de
um casal e admitindo-se perfeitas condicoes para seu desenvolvi-
mento.
(2) A adicao de numeros naturais e denida por:
(i) a + 0 = a,
(ii) a + (n + 1) = (a + n) + 1, n 0.
Por exemplo, para calcular 3 + 2 usamos (ii) 3 + 2 = (3 + 1) + 1
e precisamos de calcular 3 + 1. Para calcular 3 + 1 usamos (ii) para
obter 3 + 1 = (3 + 0) + 1. Da, sabendo-se que 3 + 0 = 3, substitui-se
na expressao anterior (3 + 0) por 3 para obter 3 + 1, da obtem-se
3 + 2. Entao o processo e recorrente.
Aritmetica dos Numeros Inteiros 85
Exemplo. Como 3|6 e 3|9, entao 3|(6x 9y) quaisquer que sejam
x, y Z. Isto e claro pois 6x 9y = 3(2x 3y) 3Z.
1 2 3 4 5 6 7 8 9 10 11 12
13 14 15 16 17 18 19 20 21 22 23 24
25 26 27 28 29 30 31 32 33 34 35 36
37 38 39 40 41 42 43 44 45 46 47 48
49 50 51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70 71 72
divisores 34 30 4 2
quocientes 1 7 2
restos 4 2 0
ou seja, 34 = 30.1 + 4 e 30 = 4.7 + 2.
O ultimo resto nao-nulo e 2, e entao 2 = mdc(30, 34).
A partir deste processo temos um algoritmo para escrever d =
mdc(a, b) como combinacao linear de a e b, ou seja, escrever d na
forma d = ra + sb, r, s Z.
Exemplo (i) Pelo exemplo anterior ja vimos que 2 = mdc(30, 34).
Vamos determinar r e s tais que 2 = r30 + s34. Considerando as
divisoes feitas acima, temos:
34 = 30.1 + 4
30 = 4.7 + 2.
4 = 1.34 + (1).30
Isolando os restos temos:
2 = (1).30 + (7).4.
Substituindo 4 da primeira equacao na segunda, obtemos: 2 =
(1).30+(7)4 = (1).30+(7)[(1).34+(1)30] = (1).30+(7).34+
(7).(30). Ou seja, 2 = (8)(30) + (7)(34), r = 8, s = 7 sao
solucoes. Nao temos unicidade para o par (r, s), e ca como
exerccio o calculo de outras solucoes de 2 = r30 + s34.
(ii) Escreva d = mdc(30, 34) na forma d = r30 + s(34).
Solucao: Como mdc(30, 34) = mdc(30, 34) e 2 = (8)(30) +
(7)(34), tem-se 2 = (8)(30) + (7)(34). Logo r = 8 e s = 7.
a = up1 p2 pn ,
a = p1 p2 pn = q1 q2 qm , ()
2.4 Congruencia
Denicao 2.20 Dado m Z, m > 1 e b, c Z, dizemos que b e
congruente (ou congruo) a c modulo m, se m divide b c.
Notacao b c(mod m).
Aritmetica dos Numeros Inteiros 99
a b = q3 m e c d = q4 m. ()
1 s.a(mod 26) ()
h(y) = 9y + 25.
De fato, g h = h g = 1A . Portanto, a sequencia
6 - 13 14 6 - 18 - 9 18 13 6
e levada em
Aritmetica dos Numeros Inteiros 103
1 - 12 21 1 - 5 - 2 5 12 1,
que corresponde a a lua e bela.
Uma outra boa aplicacao da teoria dos numeros na computacao
vem da representacao de um numero em uma base b, b > 1.
211 |4
211 = (52).4 + 3
3 52 |4
52 = (13).4 + 0
0 13 |4
13 = 3.4 + 1
1 3 |4
3 = 0.4 + 3
3 0
BASES
decimal 10 11 12 13 14 15 16
binaria 1010 1011 1100 1101 1110 1111 10000
quatern. 22 23 30 31 32 33 100
octal 12 13 14 15 16 17 20
hexadec. A B C D E F 10
2 0 2
+ 1 0 1
1 2 0
1 2 0 0
(b) - Subtracao
Para a subtracao de numeros em uma mesma base, subtrai-se
os coecientes de uma mesma potencia de b. Quando o coeciente a
ser subtraido e maior, e preciso subtrair 1 do coeciente da potencia
de b imediatamente maior para acrescentar naquela que tem falta.
Este e o motivo do cai um visto no ensino fundamental. Assim,
ai bi = (ai 1)bi + b.bi1 , ou seja, camos com coeciente ai 1
para bi e, no nvel bi1 , camos com coeciente b = (10)b , mais
ai1 que ja existia, totalizando (1ai1 )b . Agora (1ai )b b > ci1 ,
sendo possvel efetuar a subtracao.
2 (11)3 2
1 0 1 2 (10) 1 2
3
1 2 1
1 2 1 1 2 1
1 2 1
(c) - Multiplicacao
Para fazer a multiplicacao de x = as bs +as1 bs1 + +a1 b+a0
por y = cj bj + cj1 bj1 + + c1 b + c0 , usamos a propriedade
distributiva e a regra: ai bi .ck bk = (ai .ck )bi+k .
Como 0 ai , ck < b entao 0 ai .ck < b2 . Logo, ai .ck =
qb+di+k , 0 di+k , q < b e, portanto, ai bi .ck bk = (qb+di+k )bi+k =
q.bi+k+1 + di+k bi+k . Ou seja, acrescenta-se q ao coeciente da
potencia bi+k+1 e o coeciente de bi+k e di+k = resto da divisao
de ai .ck por b.
Para o exemplo que segue, precisaremos das tabuas da multi-
plicacao e adicao de numeros na base 4,
+ 0 1 2 3 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 2 3 10 1 0 1 2 3
2 2 3 10 11 2 0 2 10 12
3 3 10 11 12 3 0 3 12 21
110 Aspectos Formais da Computacao
2
1
2 3
3 2
1 1 2
2 0 1 +
2 1 2 2
Observe que 34 .34 = (21)4 , logo ca 1 e vaio 2. Tambem
34 .24 + 24 (24 que foi) totalizam (20)4 e assim por diante. Faca,
agora, tambem o produto polinomial (2.4 + 3)(3.4 + 2) e observe
o vai 1 e vai 2. Finalmente, justique porque temos a casa vazia,
onde aparece o smbolo de +.
(d) - Divisao
Consideremos os numeros a = (an an1 a1 a0 )b e c =
(cm cm1 c1 c0 )b . Para dividirmos o numero a pelo numero c,
vejamos se x = an an1 anm1 e maior ou igual a c; se nao
for, consideremos x = an an1 anm2 e dividamos x por c.
Entao x = qc + r, onde 0 r < c. Sejam q = (qk qk1 q1 q0 )b
e r = (rs rs1 r1 r0 )b . Da juntamos a r o proximo aj da es-
querda para a direita que nao aparece na sequencia x e camos
com R = rs rs1 r1 r0 aj . Dividimos R por c obtendo q1 como quo-
ciente e resto R1 = (d1 dt )b . Novamente juntamos, a R1 , aj1
e camos com R2 = d1 dt aj1 e dividimos R2 por c, obtendo
q2 como quociente e resto R3 = (u1 uv )b . Assim sucessivamente
ate chegar a a0 e concluir a divisao. Neste caso, o quociente da
divisao sera Q = qk qk1 q1 q0 q1 q2 ql e, o resto, o ultimo resto
obtido. Entao, para efetuar a divisao usaremos os conceitos de
multiplicacao e subtracao ja vistos.
Exemplo Dividir 231003 por 302 na base 4.
Solucao Precisaremos das tabuas na base 4, dadas anteriormente.
Observe que a 1a sequencia de numeros da esquerda para a direita
Aritmetica dos Numeros Inteiros 111
2 3 11 10 0 3 3 0 2
2 11 11 2 3 2 1
0 1 3 2 0
1 2 1 0
0 1 1 0 3
3 0 2
2 0 1
Para fazer conversao de um numero n de uma base b para
uma base c, um metodo e escrever n na base decimal e aplicar
divisoes sucessivas por c, como foi exemplicado. Considerando os
restos c0 , c1 , . . . , cs das divisoes, segue que n = (cs cs1 c1 c0 )c .
No entanto, quando uma base e potencia da outra, existe um pro-
cesso pratico para a conversao de um numero de uma base a outra,
dado na proposicao a seguir para as bases binaria e hexadecimal.
Facamos um exemplo antes.
Exemplo
(i) Seja a = 10101112 . Escreva a na base octal e na base
hexadecimal.
(ii) Como se escreve o numero B616 nas bases 2 e 4?
Solucao (i) Como 8 = 23 , agrupamos os numeros de 3 em 3 a
partir da direita para a esquerda, isto e: 10101112 =
((1)2 (010)2 (111)2 )8 = 1278 , pois 1112 = 78 , 0102 = 28 e 12 =
0012 = 18 .
16 = 24 , para obter:
B616 = ((1011)2 (0110)2 ) = 101101102 .
Note que B616 = B.(16) + 6 = B.24 + 6 = (1.23 + 0.22 + 1.2 +
1).24 + 22 + 2 = 1.27 + 0.26 + 1.25 + 1.24 + 0.23 + 1.22 + 1.2 + 0.20 =
101101102 .
Para passar B616 para a base 4, alem do processo acima, pode-
mos fazer tambem: B616 = B.(16) + 6 = (2.4 + 3)42 + 1.4 + 2 =
2.43 + 3.42 + 1.4 + 2 = 23124 .
Pode-se ver que, para a conversao de um numero da base
hexadecimal para a base binaria, basta converter cada dgito do
numero dado para a base binaria, obtendo uma sequencia de 4 0s
e 1s, guardando suas posicoes. Reciprocamente, para a conversao
de um numero da base binaria para a base hexadecimal, basta agru-
par os dgitos de 4 em 4 da direita para a esquerda e passar cada
grupo para a base 16, guardando as posicoes dos numeros obtidos.
Em smbolos temos:
Exemplo
(i) Dado a=2F 916 , converte-lo para a base binaria.
Como 2 = 00102 , F = 11112 e 9 = 10012 , temos
a = (0010 1111 1001)2 = 10111110012 .
2 F 9
a = (bm bm1 b1 b0 b1 b2 )b ,
0, 6 0, 4
2 2
c1 = 1, 2 c3 = 0, 8
2 2
c2 = 0, 4 c4 = 1, 6
e tudo volta a repetir innitamente a partir de c4 . Logo 0, 6 =
(0, 1001)2 .
A notacao 0, b1 b2 bk bk+1 bt signica que, a partir de
bk , a sequencia bk+1 bt vai se repetir innitamente.
(iii) 0, 22 = (0, c1 c2 )2 .
Como a fracao na base dez e uma serie innita, se multiplicar-
mos por 2, pode car complicado para efetuar o produto. Mas se
zermos x = 0, 22 e multiplicarmos por dez, temos: 10x = 2 + x
e da 9x = 2. Portanto, x = 29 . Entao, 29 = (0, c1 c2 )2 . Multi-
plicando por 2, 49 = (c1 , c2 )2 . Logo, c1 = 0 e, multiplicando
por 2, 89 = (c2 , c3 )2 . Novamente c2 = 0 e, multiplicando
por 2, 16 9 = 1 + 9 = (c3 , c4 )2 . Encontramos c3 = 1 e 9 =
7 7
21 23 21 23 5
c= 3
+ 3
= + = = 0, 7142857.
12 12 7/8 7/8 7
Exerccios
(1) Prove as seguintes formulas por inducao matematica: (i) n <
2n , n N, (ii) n3 n e divisvel por 3, para todo inteiro n.
Sugestao Considere n 0 e depois n < 0. (iii) 2n < n!, n 4.
(2) Considere os numeros de Fibonacci: F1 = F2 = 1, Fn = Fn1 +
Fn2 , n 3.
(a) Calcule Fi , para i = 1, 2, . . . , 12.
(b) Prove por inducao que: (i) A soma dos n primeiros numeros
de Fibonacci e igual a Fn+2 1, isto e, F1 +F2 + +Fn = Fn+2 1.
Aritmetica dos Numeros Inteiros 117
(23) Escreva o numero 621 nas bases (i) 2, (ii) 3, (iii) 7 e (iv)
11.
(24) Escreva na base decimal os numeros: (12011)3 , (22210)3 .
(25) (i) Escreva nas bases 2 e 8 os seguintes numeros dados na
notacao decimal: 74, 149, 19, 101, 144, 225.
(ii) Represente os numeros 35 e e 155 nas bases 6 e 8.
(iii) Represente os numeros dados em (i) e (ii) na base hexade-
cimal.
(26) O que esta errado nas representacoes: (1532)4 , (2193)7 e
(1013)2 ?
(27) Converter 9,421875 e 0,3333 de decimal para binario.
(28) (a) Represente na base 2 as fracoes (i) 0,8125 (ii) 34
(iii) 0, 6875 (iv) 58 (v) 0,7 (vi) 24, 625 (vii) 29, 1875
(viii) 0, 222 .
(b) Represente na base dez as fracoes binarias (i) 0, 11012
(ii) 0, 1112 (iii) 0, 1011012 .
(29) (i) Verique que a serie: 21 + 23 + 24 + 27 + 28 + 211 +
212 + = 12 + (23 + 27 + 211 + ) + (24 + 28 + 212 + )
converge. (ii) Compare com (28)(v).
(30) (a) Justique porque B316 = 101100112 . (b) Repre-
sente a = 6D16 e b = 3A16 na base 2, calcule a b na base 16.
(c) Dados x = 7C16 e y = A216 , faca as contas x + y e x y na
base hexadecimal e binaria.
(31) (i) Faca a conversao dos numeros fracionarios binarios
(101111, 01)2 e (111010, 1001)2 para as bases octal e hexadecimal.
(ii) Idem de A85E, 1616 e 761F, 9816 para octal e binario.
(32) Faca as tabuadas para a base 16 e 8.
(33) Faca os calculos: (i) 2308916 13A16 , (ii) 21428 348 ,
(iii) 2307, 028 125, 28 .
(34) (i) Enuncie, prove e de exemplos de um processo pratico para
converter um numero da base 4 para a base 16 e vice-versa.
(ii) Idem para as bases 3 e 9. Qual a diferenca dos processos obtidos
entre si e destes para o processo pratico dado na Proposicao 2.23?
Captulo 3
CONJUNTOS
propositos, e suciente.
Sao Conceitos Primitivos da Teoria dos Conjuntos: conjuntos,
elementos, igualdade de conjuntos, relacoes de pertinencia e con-
tinencia.
Nao ha nenhuma razao aparente para o uso de determinados
tipos de letras para indicar conjuntos ou elementos, assim, conven-
cionaremos o seguinte:
indica pertence
= indica igual.
(1) A A (reexiva)
(2) A B e B C = A C (transitiva)
(3) A B e B A = A = B, (anti-simetrica).
B = {x A | P (x)}.
124 Aspectos Formais da Computacao
(B) := {X | X B}.
A B
(b) A A B e B A B,
(c) A A = A,
(d) A = A,
(e) A U = U,
(f) (A B) C = A (B C).
Como A B e denido em funcao de A e B usando o conectivo
ou, nota-se que as propriedades da reuniao e a sua tabela verdade
(de x A B em funcao de x A e x B) sao as mesmas de p q.
Cada uma das propriedades acima correspondem, respectivamente,
a:
(a) p q q p (b) p = (p q), (c) p p p,
(d) p C p, (e) p T T, (f ) (p q) r p (q r).
n
A1 A2 An = Ai
i=1
para n N, n 1.
B
A
(a) A B = B A,
(b) A B A e A B B,
(c) A A = A,
(d) A = ,
(e) A U = A,
(f) (A B) C = A (B C).
(a) A A = ,
(b) A B A,
(c) A = A,
(d) A U = .
A CA B
A
A
Exemplos: Sejam U = R, A = {x R : x 1} e B = {x R :
x 0}. Entao
A = {x R | x A} = {x R : (x 1)} = {x R | x > 1}.
B = {x R : x B} = {x R : (x 0)} = {x R : x < 0}.
132 Aspectos Formais da Computacao
A B = {x R : x A x B} = {x R : (x 1) (x 0)} =
= {x R : 0 x 1}.
A B = {x R : x A x B} = {x R : (x 1) (x 0)} = R.
A B = {x R : x A x B} = {x R : (x 1 x < 0)} =
{x R : x < 0} = B.
B A = {x R | x B x A} = {x R : (x 0) (x > 1)} =
{x R : x > 1} = A.
Propriedades do Complementar. Para A e B partes de um
conjunto universo U, temos:
(a) B B =
(b) = U
(c) U =
(d) B B = U
(e) (B) = B
(i) (A B) = A B
(f) Dualidade ou Leis de De-Morgan:
(ii) (A B) = A B
Nota: A complementacao de conjunto em relacao ao conjunto
universo corresponde exatamente a negacao de uma proposicao
e, portanto, suas propriedades sao analogas. Verique isto como
exerccio.
Reuniremos algumas das identidades mais importantes da teoria
de conjuntos na tabela que segue:
Conjuntos 133
Identidades Nomes
A=A
Identidades
AU =A
AU =U
Dominacao
A=
AA=A
Idempotentes
AA=A
Complementacao
(A) = A
AB =BA
Comutativa
AB =BA
A (B C) = (A B) C
Associativa
A (B C) = (A B) C
A (B C) = (A B) (A C)
Distributiva
A (B C) = (A B) (A C)
AB =AB DeMorgan
AB =AB
A (A B) = A
Absorcao
A (A B) = A
AA=U Complementacao
AA=
Esta
formula se generaliza para uma reuniao generica qual-
quer ni=1 Ai e e chamada de princpio de inclusao-exclusao. Veja
exerccio 23.
A B := {(a, b) | a A e b B}.
A1 A2 An := {(a1 , a2 , . . . , an ) | ai Ai , i = 1, 2, . . . , n}
y
(x,y)
3
2
1
x
1 2 3
1
x
-2 -1 1 2 3
a := x1 x2 xn .
Exerccios
(1) Coloque verdadeiro ou falso: (a) 3 = {3}, (b) 0 ,
(c) 3 {3}, (d) 0 = , (e) 5 {{5}}, (f ) 4 {{4}, 4},
(g) 3 {3}, (h) {3}, (i) Se A = B e B = C, entao A = C,
(j) A B e B C, entao A C, (l) x B e B C, entao x C,
(m) a B e B C a C.
Para o que se segue S e um conjunto nao vazio.
(n) S (S), (o) S (S), (p) {S} (S), (q) {S} (S).
(2) Coloque pertence ou esta contido nos campos pontilhados.
(a) {3, 4} . . . {{3, 4}, {5, 6}} , (b) {2, 8} . . . {2, 8, 9},
(c) . . . {3}, (d) {{3, 4}} . . . {{3, 4}, {5, 6}}.
(3) Dados os conjuntos A = {1, 2, 3, 4, 5}, B = {2, 3, 4} e C =
{2, 4, 5}, verique e justique quais das seguintes sentencas sao
verdadeiras ou falsas: (a) A B, (b)A C, (c) B C,
(d) C B, (e) C C, (f ) B.
(4) Dados os conjuntos X = {1, 2, 3, 4, 5}, Y = {1, 2, 3} e Z =
{4, 6, 8} do conjunto universo U = {1, 2, 3, 4, 5, 6, 7, 8}, obter:
(a) X Y, (b) X Z, (c) Y Z, (d) (X Y )c , (e) X Y,
(f ) X\Y, (g) X (Y Z).
(5) Para A = {1, 3, 4, 6, 9, 10, 11, 12, 15}, enumere os elementos dos
seguintes conjuntos:
a) {x A | x = 16}, b) {x A | x + 5 = 9},
c) {x A | x e par}, d) {x A | x e primo},
e) {x A | x2 5x + 4 = 0} f ) {x A | (x + 1) A},
g) {x Z | |x 6| < 2}, h) {x N | x e par},
i) {x N | 4 < x < 9}.
(6) Prove cada uma das armacoes a seguir, onde A, B e C sao
subconjuntos de um conjunto universo U.
(a) Se A C e B C, entao A B C. (b) A B =
A B c = A.
Conjuntos 141
(c) Se A B e C D, entao A C B D.
(d) Se A B = A e A C = , entao B C = .
(e) A (Ac B) = A B. (f ) A (Ac B) = A B.
(g) A B C A B = B C. (h) A B = U Ac B.
(i) A B = A = e B = . (j) A B se, e somente se,
B c Ac se, e somente se, A B = A se, e somente se, A B = B
se, e somente se, A B c = se, e somente se, Ac B = U.
(k) Se existe C, tal que A C = B C e A C = B C, entao
A = B.
(l) Se A B = B e Ac B = , entao A = B.
(m) Se A B = U e A B = . entao A = B c .
(n) Se A B = A e B C = C, entao A C c = .
(o) Se A B = A e B C = B, entao (A C) B = A C.
(p) Se A B c = e A = , entao B = .
(q) Se A B c = e A B = , entao A = .
(r) A = se, e somente se, existe B, tal que (AB c )(Ac B) = B.
(s) Se A B = A para todo A, entao B = .
(t) Se A B e Ac B, entao B = U.
(u) Se A B C, entao A C e B C.
(v) Se A X = A B e A X = , entao X = Ac B.
(7) Faca diagramas de Venn que representem as seguintes situa-
coes: (a) A B A C e B C. (b) A B = C B, mas
A = C. (c) A B A C, mas B C. (d) A B = C B,
mas A = C.
(8) Prove ou apresente um contra-exemplo para as seguintes ar-
macoes, onde A, B e C representam conjuntos quaisquer:
(a) (A B) C = A (B C). (b) A (B C) = (A B) C.
(c) A (B C) = (A B) C. (d) A B = A (B A).
(9) Usando a denicao AB := (A\B) (B\A), prove que:
(a) AB = (A B c ) (Ac B) e AB = CAB A B.
(b) AB = BA, (c) (AB)C = A(BC).
(d) A (BC) = (A B)(A C). (e) AA = .
(f ) A B = AB(A B) e Ac = AU. (g) A = .
(h) A U = A. (i) AB = A B A B = .
142 Aspectos Formais da Computacao
4.1 Relacoes
Denicao 4.1 Sejam A e B conjuntos quaisquer, nao necessaria-
mente distintos. Uma relacao binaria de A em B e um subconjunto
do produto cartesiano A B.
4.1.1 Representacoes
Representacao por meio de Matrizes
Sejam A = {a1 , a2 , . . . , an } e B = {b1 , b2 , . . . , bm } conjuntos
nitos com n e m elementos, respectivamente. Uma relacao binaria
R denida de A em B pode ser representada por uma matriz
146 Aspectos Formais da Computacao
0 1
Representacao Graca
Quando uma relacao binaria esta denida entre dois conjuntos
nitos com poucos elementos podemos, ainda, representa-la por
meio de diagrama de setas que e particularmente atraente pelos re-
cursos visuais. Nesta representacao, os elementos dos conjuntos sao
representados em diagramas de Venn-Euler, e um par ordenado e
representado por uma echa conectando os elementos do par, sendo
que a ponta da mesma indica a segunda coordenada. Esta repre-
sentacao e tambem chamada representacao sagital ou por arcos.
A relacao e, simplesmente, uma colecao de arcos. E claro que, a
cada arco da relacao, corresponde exatamente um smbolo 1 da
representacao matricial e vice-versa. Assim, dada uma represen-
tacao, e facil obter a outra. A representacao sagital da relacao R,
e dada na gura 4.1.
a
2
b
c
3
d
Representacao Cartesiana
No caso em que a relacao esta denida entre subconjuntos de
numeros reais, podemos representa-la atraves de um graco carte-
siano. No caso em que a relacao e constituda de um numero nito
de elementos, sua representacao cartesiana e constituda de um
numero nito de pontos isolados do plano cartesiano. A seguir
temos dois exemplos de representacao de relacoes com um numero
innito de elementos:
5
4
3
2
1
1 2 3 4 5
0 0 = 0, 0 1 = 1, 1 0 = 1, 1 1 = 1 e
0 0 = 0, 0 1 = 0, 1 0 = 0, 1 1 = 1.
(6) Uma relacao de um conjunto A em si mesmo (isto e, um sub-
conjunto de A2 ) e chamada relacao sobre A, ou ainda, relacao em
A. Por exemplo,
R = {(0, 0), (0, 3), (2, 0), (2, 1), (2, 3), (3, 2)}
e uma relacao sobre {0, 1, 2, 3}, ou relacao em A = {0, 1, 2, 3}.
(7) A relacao identica sobre A, denotada por IA , e denida por
Por exemplo, para A = {0, 1, 2}, IA = {(0, 0), (1, 1), (2, 2)}.
(8) Quando uma relacao esta denida sobre um conjunto ni-
to A, podemos representa-la, tambem, por meio de um grafo. Por
exemplo, seja: A = {a, b, c} e R = {(a, a), (a, b), (b, a), (c, c)}. Sua
representacao por meio de um grafo e dada na gura 4.4.
a b
x
R1 = {(y, x) R2 | y 2x} = {(x, y) R2 | y}.
2
Propriedades:
(1) Se R A B, entao R1 B A.
(2) Para toda relacao R temos:
y R
-1
a1 c1
b1
a2
c2
a3
b
2 c3
a4
a5 b3 c4
a1 c1
a2
c2
a3
a4 c3
a c4
5
(a) um caminho de ai a bj e
(b) um caminho de bj a ck .
Observe que:
1 0 0 0 0 0 0
0 1 0 0 0 0 0 0 1 0 0
0 0 1 0 1 0 0 = 0 1 0 0
0 0 0 0 1 0 0 0 0 0 0
0 1 0 0 1 0 0
T (S R) = (T S) R.
(T S) R T (S R).
(T S) R = T (S R).
Relacoes 155
a b
1 2
4
3
Figura 4.9:
1 2 3 4
e simetrica, nao e reexiva, nem transitiva e nem anti-simetrica.
a
d
e
b c
Figura 4.10:
b c
Figura 4.11:
(a, b) R |a b| = 1.
Esta relacao e simetrica, nao e reexiva, nao e transitiva nem anti-
simetrica.
(A, B) R A B =
e simetrica, nao e reexiva, nao transitiva nem anti-simetrica.
a b c,
nao e reexiva, nao e simetrica, nao e transitiva nem anti-simetrica.
Exerccios
(1) Determine quais as propriedades de cada uma das relacoes a
seguir denidas sobre o conjunto dos numeros inteiros positivos:
(a) m e divisvel por n.
(b) m + n e par.
(c) m.n e par.
(d) m + n e multiplo de 3.
(e) m + n e mpar.
(f ) m + n 50.
(g) m e uma potencia de n.
(h) m n.
(2) Seja A um conjunto nao vazio. Mostre que o conjunto , con-
siderado como uma relacao sobre A, nao e reexiva, mas e simetrica
e transitiva.
(3) Determine quais propriedades sao preservadas pela composicao
de relacoes denidas sobre um conjunto A, A = .
(4) Se IA representa a relacao identica de A, A = , mostre que
uma relacao R denida sobre A e reexiva se, e somente se, IA R.
(5) Mostre que uma relacao R denida sobre A, A = , e anti-
simetrica se, e somente se, (R R1 ) IA .
(6) Prove o resto dos tens do Teorema 4.23.
(7) Considere uma relacao representada pela matriz:
1 1 1 0
1 1 1 0
.
0 0 1 1
0 0 0 0
univocamente determinado?
(21) Dado R = {(i, j) : i, j Z | j i = 1}. Obter Rr , (r, r N ).
(22) Mostre que, se S R esta denida, entao (S R)1 = R1 S1 .
(23) Dadas as relacoes R, S e T denidas sobre A = {1, 2, 3, 4} por:
0 1 0 1 1 1 0 1
1 0 1 1 1 1 0 0
MR =
1
MS =
0 1 0 0 0 1 0
0 0 1 0 0 1 0 1
1 1 1 1
1 0 1 1
MT =
1
1 0 0
1 0 0 1
determine as relacoes e as matrizes correspondentes a:
c
(a) S R (d) R Tc (g) R (S Tc )
(b) R S (e) (R S) T (h) (S T) (R Tc )
(c) Tc (f) R Sc
(a) (R S)1 = R1 S1
(b) (R S)1 = R1 S1
Relacoes 163
a c = (a b) + (b c) = mq + mp = m(q + p).
(i) x//x,
(ii) x//y y//x, e
(iii) x//y e y//z x//z.
Denicao 4.29 Dada uma relacao de equivalencia R denida so-
bre A (A = ), dizemos que b e equivalente a c (pela R) se (b, c) R.
Note que, se b e equivalente a c, entao, pela simetria de R, temos
(c, b) R, ou seja, c e equivalente a b e podemos dizer entao que b
e c sao equivalentes.
Denicao 4.30 Dada uma relacao de equivalencia R sobre um
conjunto A, chama-se classe de equivalencia determinada por a,
modulo R, o subconjunto [a]R de A constitudo pelos elementos x,
tais que (x, a) R. Em smbolos
[0] = {. . . , 4, 0, 4, 8, 12, . . .}
[1] = {. . . , 3, 1, 5, 9, 13, . . .}
[2] = {. . . , 2, 2, 6, 10, 14, . . .}
[3] = {. . . , 1, 3, 7, 11, 15, . . .}
Observe que [4] = [0], [5] = [1], [6] = [2], etc.
Lema 4.31 Dada uma relacao de equivalencia R denida sobre um
conjunto nao vazio A, temos [a] = [b] se, e somente se, (a, b) R.
Demonstracao: De fato,
(i) Vamos supor (a, b) R. Se x [a], entao, por denicao, (x, a)
R. Como por hipotese, (a, b) R e R e transitiva (x, b) R, ou
seja, x [b]. Com isso mostramos que [a] [b]. De forma analoga
podemos mostrar que [b] [a], o que completa a prova de que se
(a, b) R, entao [a] = [b].
(ii) Agora, se [a] = [b], entao a [b], o que e o mesmo que (a, b)
R.
Relacoes 165
Ainda temos:
Podemos concluir dos Lemas 4.31 e 4.32, e pelo fato de R ser re-
exiva que todo elementos de A esta em uma, e apenas uma, classe
de equivalencia, ou seja, com as classes de equivalencia denidas
por R em A, obtemos uma subdivisao de A conforme a seguinte
denicao:
temos:
(i) Como iI Ai = A, entao para todo x A existe i I tal que
x Ai . Portanto para todo x A, (x, x) R;
(ii) Para todos x, y A tais que (x, y) R, existe j I | x, y Aj ,
ou seja, y, x Aj . Portanto (y, x) R;
166 Aspectos Formais da Computacao
a = qm + r,
onde
0 = {. . . , 6, 4, 2, 0, 2, 4, 6, . . .}
1 = {. . . , 7, 5, 3, 1, 1, 3, 5, 7, . . .}
0 = {. . . , 9, 6, 3, 0, 3, 6, 9, . . .}
1 = {. . . , 11, 8, 5, 2, 1, 4, 7, 10, . . .}
2 = {. . . , 10, 7, 4, 1, 2, 5, 8, 11, . . .}.
168 Aspectos Formais da Computacao
1 0 1 0 0 0
1 0 1 0 0
0 1 0 0 1 0 1 1 0
0 1
1 0 1 1 0 1 0 0 0 .
0 0 e
0 0 0 0 1 0 1 1 0
1 0
0 1 0 1 1 0
0 1 0 0 1
0 0 0 0 0 1
Conjunto Relacao
(a) Pessoas e irmao de
(b) Pessoas tem o mesmo pai que
(c) Pontos de um mapa e unido por uma estrada
(d) Retas do plano euclidiano e perpendicular a
para algum k N
(e) Inteiros positivos
e igual a 10k vezes
a
a
c c b
b
Figura 4.12:
170 Aspectos Formais da Computacao
x y e y x
Observacoes
(i) Claramente, a relacao inversa de uma relacao de ordem e, tam-
bem, uma relacao de ordem. Denotemos a relacao inversa de por
" (le-se: sucede). Assim, a b se, e somente se, b " a. Por
exemplo, sobre o conjunto dos numeros inteiros, a relacao inversa
da relacao de ordem menor ou igual e maior ou igual, cuja notacoes
sao, respectivamente e , como e de praxe. Assim, a b se, e
somente se, b a.
(ii) Se R e uma relacao de ordem ( ) denida sobre um conjunto
E, e A e um subconjunto nao vazio de E, entao RA = (A A) R
tambem e uma relacao de ordem parcial sobre A. (Prove!). Esta
ordem e denotada por A e e dita ordem restrita a A, ou ordem in-
duzida sobre A por . Mais ainda, se (E, ) e totalmente ordenado,
o mesmo ocorre com (A, A ), mas, mesmo quando (E, ) nao e to-
talmente ordenado, podemos ter A E, com (A, A ) totalmente
ordenado. Por exemplo, tome a ordem parcial de divisibilidade
sobre N e A = {1, 2, 4, 8}. Entao 1 A 2 A 4 A 8.
4
3
1
Figura 4.13:
(b) R = {(a, a), (b, b), (c, c), (d, d), (e, e), (a, b), (a, c), (a, d),
(a, e), (d, c), (e, c), (b, c)}
176 Aspectos Formais da Computacao
c
b d e
a
Figura 4.14:
3 5 7
18
6 9
2 3
Figura 4.15:
30 { a,b,c }
10 15
6 { a,b } { a,c } { b,c }
1 {}
Figura 4.16:
7 8
6
5 4
1 2
Figura 4.17:
a9
a6 a7
a8
a5
a4 a3
a1 a2
Figura 4.18:
Observacao
Observe que (Z, ) (R, ) nao possui mnimo, nem maximo,
nem limites superiores, ou inferiores, isto e, nao possui elementos
especiais. O mesmo ocorre com outros conjuntos innitos. No
entanto, este fato nao ocorre com conjuntos nitos nao vazios, como
pode ser visto no que segue:
Demonstracao: De fato:
Seja p1 um elemento qualquer de E. Se p1 nao e maximal, entao
existe p2 E : p1 p2 . Agora, se p2 nao e maximal, entao
existe p3 E : p2 p3 e assim por diante. Como E e nito,
a cadeia p1 p2 p3 deve terminar em algum elemento
pk de E. Assim, nao existe elemento a E : pk a, portanto
pk e maximal. Um argumento semelhante mostra que existe, pelo
menos, um elemento minimal. Vejamos, agora, a demonstracao da
segunda parte da proposicao
Seja m0 o unico elemento maximal de E. Se a1 = m0 , entao
a1 nao e maximal. Logo existe a2 E : a1 a2 . Se a2 = m0 ,
entao a2 nao e maximal. Logo existe a3 E tal que a2 a3 . Com
este raciocnio construiremos uma cadeia de elementos de E : a1
a2 a3 Como E e nito, esta sequencia termina num elemento
maximal. Como este elemento maximal deve ser m0 , entao a1
E, a1 m0 e, portanto, m0 e o maximo. De modo analogo se
demonstra para o mnimo.
0 2
Figura 4.19:
Exerccios
(1) Desenhe todos os diagramas de Hasse possveis para conjuntos
com 1, 2, 3 e 4 elementos. Em cada caso identique o maximo e o
mnimo (se existirem).
(2) (i) Verique que a relacao de divisibilidade sobre N nao e ordem
total e de uma cadeia em N.
(ii) Para A = {2, 3, 6} N, determine os limites superiores e
inferiores; max A e min A; sup A e inf A; elementos maximais e
minimais de A.
(3) Seja B = {0, 1} com a ordem usual e sobre B 2 = B B :
(i) Dena (a, b) 1 (c, d) se, e somente se, a c e b d.
Verique que 1 e uma ordem nao linear;
(ii) Dena (a, b) 2 (c, d) se, e somente se, a < c ou (a = c e
b d). Verique que (B 2 , 2 ) e totalmente ordenado;
(iii) Generalize (i) e (ii) para o conjunto E E, onde E e um
conjunto ordenado qualquer.
(4) Considere a ordem usual sobre B = {0, 1} e verique que
[(a, b, c) (a1 , b1 , c1 ) a a1 , b b1 e c c1 ] denida em B =
{0, 1} e uma relacao de ordem parcial sobre B 3 . Faca o diagrama
de Hasse desta ordem e verique que este diagrama e identico aos
diagramas dado no exemplo 4.46(e).
(5) Sejam (E, 1 ) e (F, 2 ) conjuntos ordenados. Verique que
E F pode ser ordenado por [(a, b) (c, d) a 1 c e b 2 d].
(6) Seja A = {3, 5, 6} contido em D+ (30), ordenado pela divisibili-
dade. Determine os limites inferiores e superiores, elementos maxi-
mais e minimais de A. E determine sup A, inf A e max A, min A.
(7) Em N N dena (a, b) (c, d) se, e somente se, a|c e b d.
(i) Mostre que esta relacao binaria e de ordem.
(ii) Ela e total? Por que?
(iii) Qual e a ordem inversa desta ordem?
(iv) Dado A = {(2, 1), (1, 2)}, ache os limites superiores e in-
feriores de A, sup A, inf A; max A, min A e os elementos maximais
e minimais de A.
184 Aspectos Formais da Computacao
(8) Mostre que (R, ) nao possui maximo, nem elementos maxi-
mais.
(10) Desenhe o diagrama de Hasse para (D+ (72), |). Qual sera
a natureza dos diagramas de Hasse para os conjuntos dos divisores
inteiros positivos de:
(a) pk11 pk22 (b) pk11 pk22 pk33 , onde p1 , p2 , p3 sao primos distintos?
1 1 0 1 1 1 0 0 1 0
0 1 0 1 1 1 1 0 0 1
M1 =
0 0 1 1 1
M2 =
0 0 1 0 0
0 0 0 1 1 0 1 1 1 0
0 0 0 0 1 0 0 0 1 1
Relacoes 185
1 0 0 1 0 1 0 0 0 1
1 1 0 1 0 1 1 1 0 1
M3 =
1 0 1 1 0
M4 =
1 0 0 0 1
0 0 0 1 0 1 1 1 1 1
1 1 1 1 1 0 0 0 0 1
f : A B e f : a # b ou b = f (a) ,
respectivamente. Nesta notacao, b e chamado de valor de f em
a ou a imagem de a dada pela f . Mais precisamente temos:
Observacoes:
(a) O termo funcao, em geral, e usado quando A e B sao subcon-
juntos de R e, neste caso, podemos fazer a representacao cartesiana
de f.
(b) Se f : A B e g : A B, e claro que f = g se, e somente
se, f (x) = g(x) para todo x A.
(c) Se A e um conjunto de n-uplas, digamos (a1 , . . . , an ), a
expressao f ((a1 , . . . , an )) e simplicada para f (a1 , . . . , an ).
(d) A denicao de funcao particulariza o conceito de relacao binaria
em dois aspectos:
- um elemento qualquer do domnio A esta relacionado com um
unico elemento do conjunto B;
- cada elemento de A esta relacionado com algum elemento de
B.
Quando esta ultima condicao e relaxada e um subconjunto nao
vazio A de A e o domnio de f, a relacao resultante e uma funcao
de A em B, a qual e chamada funcao parcial de A em B.
(e) Para enfatizar que todo elemento no domnio de uma funcao
tem exatamente uma imagem no contradomnio, dizemos que a
funcao esta bem denida.
(c) Sejam A = B = R e
0, se xQ
f (x) =
1, se x R \ Q,
b B | f 1 ({b}) = .
190 Aspectos Formais da Computacao
Observe que:
Uma condicao
(i) equivalente a condicao
de injetividade dada
e: x, y A , f (x) = f (y) = x = y
(ii) Uma funcao f : A B nao e injetora quando x, y A,
y.
tais que f (x) = f (y) e x =
Nota: As funcoes
pi : A1 . . . Ai . . . An Ai
(x1 , . . . , xi , . . . , xn ) xi
Demonstracao: De fato:
(=) Vamos supor que f 1 e uma funcao de B em A e mostremos
que f e bijetora.
(i) Se y B, como f 1 : B A e uma funcao, existe x A, tal
que f 1 (y) = x e, portanto, f (x) = y, ou seja, f e sobrejetora.
(ii) Sejam x1 , x2 A, tais que f (x1 ) = y = f (x2 ). Entao, por
denicao, (x1 , y) f e (x2 , y) f , ou seja, (y, x1 ) f 1 e (y, x2 )
f 1 , de onde se segue que x1 = x2 , uma vez que f 1 e funcao.
Portanto, f e injetora. De (i) e (ii) conclumos que f e bijetora.
g o f
a b c
f g
f(a)=b e g(b)=c
Figura 4.20:
194 Aspectos Formais da Computacao
f : P(U ) Z g : Z R
e x5
A |A| x .
2
A B C
a 1 u
b -1 v
0 w
c
f g
Figura 4.21:
(6) Sejam
f : R R g : R+ R
e
x 2x x x + 1.
g f : R
R
Entao, e a funcao composta de
x 2x + 1
f e g.
Observacoes 4.77 :
(i) Para f e g denidas no exemplo (5) anterior e possvel
obter
tambem
f g. Esta e uma funcao de R em R, tal que f g (x) =
f g(x) = f (x2 ) = 3x2 ,
(ii) A composta f g so pode ser denida quando o contradomnio
da funcao f coincide com o domnio da funcao g.
(iii) A composta g f tem domnio e contradomnio iguais,
respectivamente, ao domnio da f e contradomnio da g.
(iv) Se f : E F e g : F E, entao existem g f e f g,
porem, em geral, temos g f = f g.
(v) Se sao dadas as funcoes f : A B, g : B C, h : C D,
entao, da denicao de composicao, temos as funcoes compostas
(h g) f : A D e h (g f ) : A D. Alem disso,
f1 : A1 A2 , f2 : A2 A3 , . . . , fr : Ar Ar+1
f3 = f2 f = f f = f
f4 = f3 f = f f = f
..
.
f k = f k1 f = f f = f, k 1.
Demonstracao: De
fato, x, x1 A, tais que f (x) =
sejam
f (x1 ). Entao, g f (x) = g f (x1 ) ; ou 1A (x) = 1A (x1 ). Logo, x =
x1 e, entao, f e injetora. Para demonstrar
que g e sobrejetora tome
um elemento x em A. Entao x = g f (x) . Assim, para y = f (x),
tem-se que g(y) = x. Logo, g e sobrejetora.
cS = {(a, 0), (b, 1), (c, 0), (d, 1), (e, 0), (f, 0)}.
Sabendo que
|{0, 1}U | = |{0, 1}||U | = 2|U | .
200 Aspectos Formais da Computacao
Ai = {a A | f (a) = bi }.
k
f (a) = bi cAi (a).
i=1
m1
f (j) = icAi (j).
i=0
Por exemplo, quando m = 3,
2
f (j) = icAi (j) = 0.cA0 (j) + 1.cA1 (j) + 2.cA2 (j) =
i=0
y y
4
3 3
2 2
1 1
-3 -2 -1 -3 -2 -1
x x
1 2 3 4 1 2 3 4
-1 -1
-2 -2
-3 -3
(E) Permutacoes:
absurdo.
Exerccios
(1) Quais das seguintes relacoes constituem uma funcao:
(a) {(x, y) N N : x + y < 10}
(b) {(x, y) R R : x = y}
(c) {(x, y) R R : y 2 = x}
(d) {(x, y) N N : y e o numero de primos menores que x}.
(2) Considere a funcao f : A B, onde A = {1, 0, 1}
{1, 0, 1}, B = {1, 0, 1} e
0 se xy > 0
f (x, y) =
x.y nos outros casos
(a) Qual a relacao denida por f ?
(b) Qual o domnio de f ?
(c) Dena a restricao de f a {0, 1} {0, 1}
(d) Quantas funcoes distintas existem com mesmo domnio e mesma
imagem de f ?
(3) Seja f : R+ R denida por
x+5 se x R+ \ Q+
f (x) =
x2 se x Q+
(a) f e funcao injetora?
(b) f e bijetora?
(4) Para cada uma das funcoes a seguir, determine o conjunto
imagem e identique se sao injetoras, sobrejetoras e/ou bijetoras.
(a) f1 : R R (b) f2 : R2 R
x x (x, y) x+y
(c) f3 : Z N (d) f4 : R2 R
x x2 (x, y) xy
(e) f5 : R2 R (f ) f6 : R R
(x, y) xy x cos x
208 Aspectos Formais da Computacao
(g) f7 : R R (h) f8 : Z Z
x x2 x x2 +1
(f) A =] 1, 1[ e B = [1, 1]
(g) A =] 1, 1[ e B = R
(18) Prove que duas pessoas em Sao Paulo devem ter as mesmas
letras iniciais no primeiro nome.
(19) Prove que, se S e T sao conjuntos nitos com |S| = |T | = n e
f : S T e uma funcao, as seguintes armacoes sao equivalentes:
(a) f e injetora.
(b) f e sobrejetora.
(c) f e invertvel.
(20) Obter a inversa da funcao f : ] 1, 1[ R denida por
f (x) = x , x ] 1, 1[.
1 |x|
(21) Prove que, se uma funcao f : R R e invertvel e seu graco
e uma curva simetrica em relacao a reta y = x, entao f = f 1 . Dar
exemplos de funcoes, tais que f = f 1 .
(22) Dadas
f : Z Z g: Z
Z
e
n n + 1 n 2n,
mostre que f g = g f .
(23) Mostre que a composicao de duas funcoes injetoras e injetora.
E que o mesmo acontece para funcoes sobrejetoras.
(24) Considere duas funcoes f : A B e g : B C quaisquer
e prove as seguintes armacoes:
(a) se g f e injetora, entao f e injetora;
(b) se g f e sobrejetora, entao g e sobrejetora;
(c) se g f e bijetora, entao f e injetora e g e sobrejetora.
(25) Mostre que, se f : A B e g : B C sao bijetoras, entao
existe (g f )1 e, alem disso, (g f )1 = f 1 g 1 .
(26) Sejam f, g, h funcoes denidas sobre o conjunto dos nume-
ros reais por f (x) = x 1, g(x) = x2 + 2 e h(x) = x + 1, x R.
(a) Determine f g, f h, h f , g f e h g;
(b) Verique que (f g) h = f (g h).
(27) Dadas f = {(x, y) R2 : y = x3 + 1} e g = {(x, y) R2 : y =
x2 + 1}. Determine as compostas f g, g f , f f e g g.
(28) Considere as funcoes f (x) = cos x e g(x) = |x|, denidas sobre
o conjunto dos numeros reais. Esboce os gracos das compostas
f g e g f.
Relacoes 211
5.1 Operacoes
Denicao 5.1 Uma operacao sobre um conjunto nao vazio E e
simplesmente uma funcao f : E E E. Em geral, denota-se f
por , , etc e f (x, y) por x y, x y, etc, que se le: x estrela
y,, x delta y, etc.
Propriedades
Uma operacao denida sobre um conjunto nao vazio E pode
satisfazer as seguintes propriedades:
(a) Associativa
: E E E e dita associativa se, para todos x, y, z E,
x (y z) = (x y) z.
Observacao: Pelas leis do calculo proposicional podemos armar
que nao e associativa se existem x, y, z E, tais que x (y z) =
(x y) z.
Aneis e Algebra de Boole 215
(b) Comutativa
: E E E e dita comutativa se, para todos x, y E,
x y = y x.
Observacao: Podemos armar que nao e comutativa se
existem x, y E, tais que x y = y x.
(c) Existencia do elemento neutro
Dizemos que : E E E admite elemento neutro e E
se, para todo x E, tem-se: x e = x = e x.
Observacao: O elemento neutro e E e um elemento xo e a
propriedade acima deve ser satisfeita para todo x E.
(d) Elemento simetrizavel e Elemento simetrico
Seja : E E E uma operacao que admite elemento neutro
e. Dizemos que a E e simetrizavel se existe b E, tal que
a b = b a = e. O elemento b E com esta propriedade e dito o
simetrico do elemento a E (para a operacao ) e sera denotado
por a .
Notacao 5.3 Denotaremos por U (E) o conjunto dos elementos
simetrizaveis de E para a operacao . Assim, U (E) = {a E :
a b = e = b a, para algum b E} = {a E tal que a E}.
No caso em que e denotada pelo smbolo aditivo +, a sera
indicado por a e chamado oposto de a. Quando a operacao
e denotada por , sugerindo a operacao multiplicativa, tambem
mudamos a notacao de a , neste caso, para a1 , e dizemos inverso
de a em vez de simetrico de a.
Observacao: Pode acontecer de existirem dois elementos dife-
rentes a e a em E que sao simetricos de a E. Veja o exerccio
(1) da proxima lista de exerccios.
(e) Distributiva
Nada impede que existam duas ou mais operacoes sobre um
conjunto nao vazio E. Vamos supor que e sejam operacoes sobre
um conjunto nao vazio E. Dizemos que a operacao e distributiva
em relacao a se:
x (yz) = (x y)(x z)
e
(yz) x = (y x)(z x),
216 Aspectos Formais da Computacao
para todos x, y, z E.
(f ) Elementos Regulares
Dizemos que um elemento a E e regular para : E E E
se, para todos x, y E,
ax=ay
e ==== x = y.
xa=ya
Propriedades de Operacoes
1. Se uma operacao sobre um conjunto nao vazio E admite
elemento neutro e, entao ele e unico.
Demonstracao: Seja e E outro elemento neutro. Entao: e
e = e , pois e e elemento neutro de E, e e e = e, pois e tambem
e elemento neutro de E. Sendo assim, e = e .
2. Se a operacao sobre E e associativa e admite elemento neutro,
entao todo elemento simetrizavel admite um unico simetrico.
Demonstracao: Observe que U (E) = , pois e e simetrizavel.
Suponhamos que x E seja simetrizavel com simetrico x e seja
y E outro simetrico de x. Entao, x x = x x = e e x y =
y x = e. Da x = x e = x (x y) = (x x) y = e y = y.
Note que usamos a associatividade de .
3. Se x E e simetrizavel para a operacao , entao x tambem e
simetrizavel e (x ) = x.
Demonstracao: Basta ver que x x = x x = e. Da, por
denicao, temos que o simetrico de x e x, ou seja, (x ) = x. Note
que, se e associativa, x e o unico simetrico de x .
4. Se a operacao e associativa e x, y sao simetrizaveis, entao
x y tambem e simetrizavel e (x y) = y x .
Demonstracao: Basta usar a associativa para provar que (x
y) (y x ) = (y x ) (x y) = e. Da, por denicao, segue-se o
resultado.
5. Se a operacao e associativa, admite elemento neutro e e a E
e simetrizavel, entao a e regular (ou seja: U (E) R (E)).
Demonstracao: Sejam x, y E, tais que a y = a x. Mul-
tiplicando por a pela esquerda, temos: a (a y) = a (a x).
Usando a associatividade de camos com (a a) y = (a a) x
220 Aspectos Formais da Computacao
a1 a2 ai aj an
a1 a1 a1 a1 a2 a1 ai a1 aj a1 an
.. .. .. ..
. . . .
ai ai a1 ai a2 ai ai ai aj ai an
.. .. .. ..
. . . .
aj aj a1 aj a2 aj ai aj aj aj an
.. .. .. ..
. . . .
an an a1 an a2 an ai an aj an an
Exemplo 5.7 Seja E = {0, 1, 2, } e x y = min{x, y}.
Entao
2
0 1
0 0 0 0 0
1 1 1
1 0
2 0 1 2 2
0 1 2
Exerccios
(1) Faca uma tabela de uma operacao sobre um conjunto E, de
modo que exista um elemento simetrizavel e seu simetrico nao seja
unico.
(2) Verique se denida sobre E e associativa, comutativa, se
admite elemento neutro e, neste caso, obtenha os elementos simetri-
zaveis e os elementos regulares.
(a) E = R+ e x y = 1+xy x+y
. (b) E = Q, x y =
x + xy. (c) E = R e x y = x + y 2 + 2xy.
2 (d) E =
N e x y = min{x, y}. (e) E = N e x y = mdc(x, y).
(f ) E = Z Z e (a, b) (c, d) = (ac, 0). (g) E = Z Z e
(a, b) (c, d) = (ac, ad + bc).
(3) Para E = {a, b} : (i) Construir as tabuas de todas as
operacoes possveis sobre E;
(ii) Vericar quais propriedades possuem cada uma das opera-
coes obtidas em (i).
(4) Construir a tabua de uma operacao sobre E = {e, a, b, c}, tal
Aneis e Algebra de Boole 223
que
(i) seja comutativa, (ii) e seja o elemento neutro, (iii) x a =
a, x E e (iv) R (E) = E \ {a}.
(5) Dena sobre R : x y = x + y 3. Mostre que satisfaz as
propriedades associativa, comutativa, existencia do elemento neu-
tro e que U (R) = R. Calcule (13 )1 , ou seja, (1 1 1) e resolva
x2 (13 ) = 1.
(6) Seja G = {e, a, b, c, d, f } com uma operacao que satisfaz:
(i) e associativa, (ii) e comutativa, (iii) e e o elemento neutro,
(iv) U (G) = G, (v) a f = b d = e, (vi) a d = b c = f,
(vii) a c = b b = d, (viii) c d = a.
Faca a tabua de (G, ) e resolva a equacao: b c x a b = b.
5.2 Aneis
Denicao 5.9 Sejam A um conjunto nao vazio, e ) duas opera-
coes sobre A. Dizemos que (A, , )) (ou simplesmente A, se as
operacoes estiverem claras no contexto) e um anel se as seguintes
propriedades estiverem satisfeitas:
1. x (y z) = (x y) z, para todos x, y, z A
(associativa).
2. x y = y x, para todos x, y A (comutativa).
3. Existe e A (denotado por 0A ), tal que e x = x e = x
para todo x A (Elemento neutro para ).
4. Para todo x A, existe y A, tal que x y = y x = 0A
(existencia do elemento simetrico, para todo elemento de A). O
elemento y sera denotado por *x. Observe que exige-se U (A) =
A.
5. x)(y z) = (x)y)(x)z) e (y z))x = (y )x)(z )x)
para todos x, y, z A (distributiva de ) em relacao a ).
6. (x)y))z = x)(y)z) x, y, z A (Associativa de )).
{...,4,-6,9,-11,14,...} {1,-4,6,-9,11,-14,...}
{3,-2,8,-7,13,-12,...} {2,-3,7,-8,12,-13,..}
a b := a + b
e
a ) b := a.b,
para todos a, b Zm .
{. . . , 7, 3, 1, 5, 9, . . .} + {. . . , 6, 2, 2, 6, 10, . . .} =
= {. . . , 5, 1, 3, 7, 11, . . .}.
O que foi feito no exemplo acima deve valer sempre e nao apenas
para as classes 1 e 2 envolvidas e m = 4, e sim para todas as classes
a, b Zm , onde m > 1 e um inteiro qualquer xado. Em outras
palavras,
0 + 0 = 0 + 0 = 0, 0+1=1
e
1 + 0 = 1 + 0 = 1, 0 + 2 = 0 + 2 = 2,
2 + 0 = 2, 1 + 1 = 1 + 1 = 2,
1+2=2+1=3=0 ( pela Proposicao 5.14(b)),
2+2=2+2=4=1 ( pois 4 1(mod.3).
+ 0 1 2 3 4 0 1 2 3 4
0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 3 4 0 1 0 1 2 3 4
2 2 3 4 0 1 2 0 2 4 1 3
3 3 4 0 1 2 3 0 3 1 4 2
4 4 0 1 2 3 4 0 4 3 2 1
Subtracao
Subtrair b de a com a, b nZ B n e somar a com o oposto
2 Z
de b, isto e: a b = a + (b). Como vimos anteriormente no anel
Z2n , o oposto de b e 2n b, pois b + (2n b) = 2n = 0 em Z2n .
Isto mostra que b tem a representacao binaria de 2n b. Mas
2n b = (2n 1) b + 1, e como 2n 1 = (10 00)2 (00 01)2
(n 1 zeros), encontramos 2n 1 = 11 12 (n 1s). Assim, se b
tem a representacao (bn bn1 b2 b1 )2 , temos que [(2n 1) b] e
igual a
1 1 1 1 1
bn bn1 bn2 b2 b1
(bn ) (bn1 ) (bn2 ) (b2 ) (b1 ),
que e igual a bn bn1 b2 b1 . Mais geralmente, temos:
O Dgito de Sinal
O anel B n tem sido usado para a computacao pratica, apesar
da presenca de divisores de zero (um elemento nao-nulo b Z2n e
dito divisor de zero se existe um elemento nao-nulo a Z2n , tal
que a.b = 0 em Z2n ). Por exemplo: 4 e divisor de zero em Z8 ,
pois 4.2=0 em Z8 ). Um dos motivos que se usa o conjunto B n com
a identicacao B n Z2n e para introduzir o conceito de dgito de
sinal.
A princpio, consideremos Z2n = {0, 1, 2, . . . , 2n 1} com suas
representacoes binarias. Podemos observar que toda a primeira
metade destes numeros 0, 1, 2, . . . , 2n1 1 tem dgito inicial zero
na sua representacao binaria: 0 = 00 02 , 1 = 00 . . . 012 , . . . ,
238 Aspectos Formais da Computacao
2 = 2 = 102
1 = 3 = 112
0 = 002
1 = 012
4 = 4 = 1002 0 = 0002
3 = 5 = 1012 1 = 0012
2 = 6 = 1102 2 = 0102
1 = 7 = 1112 3 = 0112
Exerccios
(1) Considere as operacoes x y = x + y 1 e x ) y = x + y xy
denidas sobre Q e verique que (Q, , )) e um anel. Quais sao os
elementos neutros 0Q e 1Q ? Verique que a)b = 0Q se, e somente
se, a = 0Q ou b = 0Q . Determine U (Q) e R (Q).
(2) Seja A = {0A , 1A , a} anel unitario. Mostre que so existe um
par de tabuas (adicao e multiplicacao) para A. Pergunta: 1+1 = 2?
Por que?
(3) - Faca as tabelas da adicao e da multiplicacao para os conjuntos
Z5 e Z6 .
5x + 2y = 3 3x + 4y = 2
(4)Resolver em Z8 : em Z6 :
4x + 3y = 1, 4x 2y = 0.
11
(5) Ache x Z9 , tal que + 2x = 4.
5
(6) (a) Sendo a1 (mod m) o numero b Z, 1 b < m, tal que
ab 1(mod m), ache 71 (mod 11), 24 2
(mod 15), 41 (mod 41),
21 (mod 101), 24 3
(mod 19).
(b) Verique se 7 Z16 e se 7 Z27 .
(c) Resolver em Z5 e em Z8 : 2x2 15x + 5 = 0.
Seja
(7) A = R \ {1} com a operacao x y = x + y xy. Calcule
8 e 4 se existirem.
(8) Determinar o conjunto dos elementos regulares e o conjunto
dos elementos inversveis de cada um dos seguintes aneis: (a) Z
(b) Q (c) Z Z (d) Z3 (e) Z9 (f ) Z14 (g) Z2 Z3 (h) Z14
(i) Z4 Z6 (j) (Q, , )), onde a b = a + b 1 e a ) b = a + b ab.
240 Aspectos Formais da Computacao
+ 0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1
E y E y
x x
z z
y+z x+y
E y
x
z
x+(y+z)=(x+y)+z
(a) 0+0 = 0,
(b) a + b = b + a
0+1 = 1+0 = 1+1 = 1
(g) a + 0 = a (h) a + 1 = 1
a + a(bc) = a Prop.5.42
= a(a + c) Prop.5.42
= (a + ab)(a + c) Prop.5.42
= a + (ab)c A.3
5.4.1 Ordens
O lema seguinte e importante para a denicao de uma relacao de
ordem parcial sobre uma algebra booleana.
hip.
(c) (d) ab = ab = a + b = a + b = 1 = 0 (Justique!).
(d)
(d) (a) ab = ab + 0 = ab + ab = a(b + b) = a 1 = a. Isto
conclui a demonstracao.
Exemplo 5.63 Seja (A, +, ) = ((N), , ). Entao o conjunto
de
atomos de A e S = {{i}, i N }. Temos que 1A = iN
{i} =
iN
{i} = N .
Observe o carater nao nito de .
Aneis e Algebra de Boole 253
(x)y) = i ai j aj = i j (ai )aj ) =
i=1 j=1 i,j=1
n
(i .i )ai = (1 .1 , . . . , n .n ) =
i=1
(1 , . . . , n ).(1 , . . . , n ) = (x).(y),
onde (*) segue da observacao acima. Finalmente
(x) = (1 a1 n an ) = (1 a1 n an ) =
= (1 , . . . , n ) = (1 , . . . , n ) = (x) . Logo, e um isomorsmo
254 Aspectos Formais da Computacao
Exerccios
(1) (a) Verique que os conceitos de uniao de elementos e comple-
mento de elementos em um anel booleano coincidem com os con-
ceitos de uniao de subconjuntos e complementar de subconjuntos
quando o anel booleano e o anel ((U ), , ) do exemplo 5.30(B).
(b) Faca as tabuadas do anel (B, , ), onde B = {0, 1}, e a tabuada
de (B, +). Este anel e booleano?
(2) Faca as tabuas das operacoes da algebra booleana (B, +, ),
onde B = {0, 1}.
(3) Use a Proposicao 5.41 e prove que 0A = 1A se, e somente se,
A = {0}, qualquer que seja a algebra booleana A.
(4) Seja (A, , ) um anel booleano, dena a + b = a b ab.
Mostre que (A, +, ) e uma algebra booleana, onde a = 1 a.
(5) Agora, faca a recproca do exerccio (4), ou seja, a partir de
uma algebra booleana (A, +, ), dena a b = ab + ab e mostre
que (A, , ) e um anel booleano.
Como consequencia dos exerccios 4 e 5 tem-se que algebras e
aneis booleanos estao em correspondencia um a um. Voce con-
segue provar isto?
(6) (a) Considere o conjunto dos divisores positivos de 30;
D+ (30) = {1, 2, 3, 5, 6, 10, 15, 30}, com as operacoes: a + b =
mmc(a, b) e a b = mdc(a, b). Verique que (D+ (30), +, ) e uma
algebra de Boole e, para a, b D+ (30), a b se, e somente se, a|b.
(b) Considere n( 1) primos distintos 2 a 2; p1 , . . . , pn e a =
p1 p2 pn . Mostre que D+ (a), com as operacoes de mmc e mdc,
e uma algebra booleana.
Sugestao Sejam: b = p1 1 pnn , c = p11 pnn , d = p11 pnn ,
onde i , i , i , B = {0, 1}, i. Para provar, por exemplo, que
Aneis e Algebra de Boole 255
: A ({ai , i I})
x (x) = {ai , tal que ai x}
satisfaz as condicoes da Denicao 5.64.
Sugestao: Se x = y A, entao xy = 0 ou yx = 0. Agora use
o raciocnio da demonstracao da Proposicao 5.61 para provar que
e injetora. Para a sobrejecao de , considere o Corolario 5.62.
(11) (i) Seja B = {(ai )iN = (a1 , a2 , . . . , an , . . .); ai {0, 1}}.
Dena: (ai )iN (bi )iN = (ai + bi )iN e (ai )iN ) (bi )iN =
(ai .bi )iN .
Mostre que (B , , )) e uma algebra booleana. Quais sao os
atomos de A?
(ii) Mostre que a e a sao atomos em uma algebra booleana A se,
e somente se, A = {0, a, a, 1}.
256 Aspectos Formais da Computacao
un1
f (x) = xn g(u)xu1 1 xu2 2 xn1 +
uB n1
vn1
+ xn h(v)xv11 xv22 xn1 =
vB n1
u
= g(u)xu1 1 xn1
n1 1
xn +
(u1 ,...,un1 ,1)B n
v
h(v)xv11 xn1
n1 0
xn =
(v1 ,...,vn1 ,0)B n
= f (e1 , . . . , en )xe11 xenn ,
(e1 ,...,en )B n
pois g(u) = f (u) e h(v) = f (v), uma vez que g e h sao restricoes
da funcao f .
x y f (x, y)
0 0 a
0 1 0
1 0 a
1 1 1
Solucao
Na forma canonica f (x, y) = f (0, 0)x.y + f (1, 0)xy + f (0, 1)xy +
f (1, 1)xy. Substituindo os valores dados, obtemos: f (x, y) = ax.y+
axy + xy.
x y f (x, y)
0 a a
1 1 1
a a a
a 1 a
Solucao
A forma canonica de f e f (x, y) = f (1, 1)xy + f (1, 0)xy +
f (0, 1)xy + f (0, 0)x.y. Substituindo os valores dados, obtemos as
equacoes:
a = f (0, a) = f (0, 1)a + f (0, 0)a ( )
1 = f (1, 1), e a = f (a, a) = f (1, 0)a + f (0, 1)a ( )
a = f (0, 1) = f (1, 1)a + f (0, 1)a ( )
Multiplicando ( ) por a, obtemos: a = f (0, 1)a, ou seja: a =
min{f (0, 1), a}. Logo
Z8 B3
i (e1 e2 e3 ) pi si
0 000 x1 .x2 .x3 x1 + x2 + x3
1 001 x1 .x2 x3 x1 + x2 + x3
2 010 x1 .x2 .x3 x1 + x2 + x3
3 011 x1 .x2 .x3 x1 + x2 + x3
4 100 x1 .x2 .x3 x1 + x2 + x3
5 101 x1 .x2 .x3 x1 + x2 + x3
6 110 x1 .x2 .x3 x1 + x2 + x3
7 111 x1 .x2 .x3 x1 + x2 + x3
Demonstracao do Teorema
Pelo Lema 5.74, tem-se que, para todo j B n {0, 1, 2, . . . ,
2n 1} :
2n 1 n 1
2
f (e)pe (j) = f (e)ej = f (j).
e=0 e=0
2n 1
Logo, as funcoes e=0 f (e)pe (X) e f (X) denidas sobre B n sao
iguais.
Do mesmo modo, para todo j B n Z2n , temos
n 1
2 n 1
2
f (e) + se (j) = f (e) + ej =
e=0 e=0
= f (0)+1 f (1)+1 . . . f (j)+1 f (j+1)+1 . . . f (2n 1) + 1 =
1. . . . 1.f (j).1 . . . 1 = f (j). (
Como os valores da funcao eB n f (e) + se (X) coincidem com os
valores de f (X) em cada ponto j B n , essas funcoes sao iguais.
Isto conclui o teorema.
Propriedades
(a) f g = g f (b) f (gh) = (f g)h
(c) f (gh) = f.gf.h (d) f = f
(e) f f = (f ) f g = f h g = h
(g) f IA = f , f IA = f (h) f g = h f=g*h=gh
(i) (f g) = f g = f g (j) f + g = f g f.g
(k) f +g = f g f.g =
n ,n
(l) i=1 fi = i=1 fi fi .fj = , 1 i < j n.
Teorema 5.81 F o r m a N o r m a l
Toda funcao booleana f : An A tem uma expressao tpica
2n 1
f = i=0 gi li ou f = eB n ge le
a a a
a.b, a+b a+b
b b b
a a
a.b a.b
b b
a a
a+b a+b
b b
formula P = XY + X + Y e
X
Y
XY+Y+X
Y Y
X XY XY
X XY XY
Y Y
X 1
X 1
Y Y Y Y
X 1 X 1
X 1 X 1 1
X
X+ Y
Figura 5.14:
X
XY
Y
X XY R(X,Y)=XY+XY+XY
Y XY
X
Figura 5.15:
Y Y
,
Celula X , ,
Celula Y Celula Y
,
Celula X
Z Z Z Z
Y Y
,
A YZ I YZ YZ YZ A
I ,
A=A
XYZ XYZ XYZ XYZ XYZ XYZ
X
B
,
B II
Z II Z Z Z ,
B=B
(a) P = P (X, Y, Z) = XY Z + XY Z + X Y Z + XY Z,
Solucao:
YZ YZ YZ YZ YZ YZ YZ YZ
X X
X X
XYZ XZ YZ XZ
YZ YZ YZ YZ
X * *
*
X *
X
Y
a b c f (a, b, c)
1 1 1 1
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 0
Como f (1, 1, 1) = 1, o termo abc deve ocorrer na forma disjun-
tiva normal de f. Como f (1, 0, 1) = 1, o termo abc deve ocorrer
na f.d.n. de f, pois, quando a = b = c = 1, entao (a, b, c) = (1, 0, 1)
e abc = 1.1.1 = 1. De modo analogo, os termos abc devem ocorrer
na f.d.n. de f, pois, quando a = b = c = 1, entao f (a, b, c) =
f (1, 0, 0) = 1 e abc = 1.1.1 = 1. Enm, a forma disjuntiva normal
de f e a soma dos polinomios minimais, onde f tem o valor 1, ou
seja: f (a, b, c) = abc + abc + abc + abc + abc e a formula booleana
correspondente a f e F (X, Y, Z) = XY Z +XY Z +X Y Z +XY Z +
X Y Z.
C C
ABCD B
A
ABCD
B
ABCD
A
ABCD B
D D D
C ,
II C P
P
ABCD B
A
ABCD
I ABCD B
A
ABCD B
,
Q III Q
D D D
,
II P=P C1
C1
Torcer
I
III ,
C2 Q=Q C2
a b c d f (a, b, c, d)
0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 0
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
Solucao: Sabendo-se que o polinomio minimal Aa B b C c Dd ,
onde f (a, b, c, d) = 1, ocorre na f.d.n. da formula booleana
F (A, B, C, D) associada a funcao f, temos que F = A B C D +
A B C D+A B C D+A B C D+A B C D+A B C D+
A B C D + A B C D + A B C D + A B C D + A B C D.
Todos estes polinomios minimais estao identicados no mapa
V-K que segue.
C C
1 1 1 B
A
1 1
B
1 1 1
A
1 1 1 B
D D D
Figura 5.23:
Exerccios
x y f (x, y)
0 a a
1 1 a
a a 0
a 1 0
(6) Dadas g(x) = [(x1 .x2 )(x1 + x2 )] + [x1 .x2 .(x1 + x2 )] sobre a
algebra booleana (B 2 , +, .) e f (x) = x1 + x2 + x3 sobre a algebra
booleana (B 3 , +, .),
(i) De as formas conjuntiva e disjuntiva normais e as formas nor-
mais de g e f.
(ii) Construa os circuitos de todas as formas canonicas de g e de
f;
Y
Z
Y A(x,y,z)
X
Z
X
Y
B(x,y,z,w)
W
W
Figura 5.25: .
1 , x2 , x3 , x4 ) que satisfacam
(13) Determine todos os valores de (x
(x1 x2 + x3 )x4 = 1 (x1 x2 + x3 )x4 = 1
(i) e (ii)
(x1 + x4 + x2 )x3 = 0 (x2 x4 + x1 .x3 )x4 = 0.
(14) Obtenha circuitos mais economicos de cada item do
exerccio 6.
(15) Construa um circuito correspondente a funcao f (x1 , x2 , x3 ) =
x1 x2 + x2 (x1 + x3 ).
(16) Considere a algebra booleana A = {0, a, a, b, b, c, c, 1}
292 Aspectos Formais da Computacao
e bijetora. (Prove!).
(4) A = {0, 1, 1/2, 1/3, . . .} e enumeravel, pois: f : N A
dada por: f (0) = 0, e f (i) = 1/i , i = 0, e uma funcao bijetora.
(5) Se A e enumeravel, entao A {b} = {(a, b); a A} e
enumeravel. De fato, por hipotese existe : N A: bijetora. Da
f : N A {b}, f (n) = ((n), b) e uma enumeracao de A {b}.
Nocoes de Computabilidade 295
A funcao f e bijetora.
(=) Reciprocamente, se existe uma funcao bijetora f : A
B, onde B e uma parte propria de A, entao pelo Princpio da Casa
do Pombo A e innito.
1 3 4 10
a 11 a a13 a a
A1 12 14 15
2 5 9
a a a a a
A2 21 22 23 24 25
6 8
a a a a 34 a35
A3 31 32 33
7
a a a43 a44 a
A4 41 42 45
10
1 3 4
( a1 , a1 ) ( a 1, a2) ( a1 , a3 ) ( a1, a4) ( a 1, a5 )
2 5 9
( a 2, a1) ( a2, a2 ) ( a2, a3 ) ( a2 , a4 ) ( a 2, a5 )
8
6
( a3, a1) ( a3, a2) ( a3 , a3) ( a 3, a4) ( a3, a5 )
7
( a , a 1) ( a4, a2) ( a4, a 3) ( a4, a4 ) ( a , a5)
4 4
A: a1 a2 a3 a4
AAA : (a1 ,a1 ,a1) (a2 ,a1 ,a1) (a1 ,a2 ,a1) (a1 ,a1 ,a2)
.. .. .. .. .. ..
. . . . . .
A1 = 11001000010101011110001010101010110101
A2 = 10101010101011110001110101010100010000
A3 = 00011101010101000001100010111110000101
A4 = 11011100011001011100001111111110111100
.........................
An = 11001100001100111100. . . . . . . . 1. . . . .
N Q+ Q ,
f g
Hipotese do contnuo
Existe numero cardinal entre 0 e c? Originalmente Cantor
apoiou a conjectura que e conhecida como hipotese do Contnuo:
nao existe numero cardinal tal que 0 < < |(N)| =c. Mas,
em 1963, demonstrou-se que a hipotese do contnuo e independente
dos axiomas da teoria dos conjuntos, aproximadamente do mesmo
modo em que o Quinto Postulado de Euclides, sobre linhas parale-
las, e independente dos outros axiomas da geometria.
Exerccios
(1) Mostre que A e contavel se, e somente se, existe uma sobrejecao
: N A.
(2) Mostre que: (a) N (N \ Ik ), (b) A (A \ B), onde A e
um conjunto innito e B e um subconjunto nito de A.
(c) Com base em (a) e (b) justique: Em um hotel com innitos
quartos, todos eles ocupados, ainda ha vagas para mais n pessoas.
(3) (a) - Sejam : N N e : N N N dadas por
(a) = a + 1, e (b) = (s, t), onde b = 2s (2t + 1). Mostre que
304 Aspectos Formais da Computacao
enumera N N.
(b) - A partir de (a), de uma outra prova de que Q e enu-
meravel.
(4) Codique toda sequencia nao nula do intervalo real [0, 1] como
uma sequencia innita de 0s e 1s.
Obs.: Uma codicacao de elementos de A = por elementos de
D = e uma funcao injetora f : A D e, neste caso, dizemos que
a A ca codicado por f (a) D.
Use que toda sequencia nao nula do intervalo real [0, 1] pode
ser escrita como uma sequencia innita da forma: 0, a1 a2 a3 a4 . . . ,
onde ai {0, 1, . . . , 9}. Por exemplo: 0, 5 = 0, 499999999999 . . ..
Seja S = {x1 , x2 } para os exerccios (5), (6), (7).
(5) Seja A o conjunto das sequencias nitas sobre S. De uma
enumeracao para A.
(6) Mostre que toda sequencia de elementos de S pode ser codi-
cada como uma sequencia de elementos de {0, 1}.
Sugestao: Codique xi com uma sequencia de zeros e uns.
(7) Use o exerccio (6), se necessario, e prove que o conjunto de
todas sequencias de elementos de S e o conjunto de todas sequencias
formadas de zeros e uns tem a mesma cardinalidade. Qual a sua
cardinalidade?
(8) Sejam f : A R injetora e A nao contavel. Qual a cardinali-
dade de A? (Observe a Hipotese do Contnuo para dar a resposta).
(9) Mostre que, se |A| = |D|, entao |(A)| = |(D)|.
(10) Prove que os conjuntos E = [1, 1) e F = (3, 6] sao equipo-
tentes e de a aplicacao inversa.
Nocoes de Computabilidade 305
Adiante sera visto que nao existe um algoritmo que decide o pro-
blema da parada. Para que um resultado a respeito de algoritmo
seja possvel, devemos ter uma nocao precisa, formal, do que seja
um algoritmo. Uma formalizacao usual na teoria matematica dos
algoritmos e considerar algoritmos como sendo procedimentos que
transformam palavras, em um alfabeto nito, em outras palavras.
Mais formalmente temos:
Godelizacao.
Embora na pratica um alfabeto possa conter varios elemen-
tos, podemos sempre associar palavras w sobre um alfabeto
com numeros naturais G(w) de tal maneira que um numero na-
tural esteja associado com, no maximo, uma palavra em . A
uma tal associacao chamamos de Godelizacao e chamamos G(w)
de numero de Godel de w (com respeito a G).
Desde que N pode ser pensado como a classe das palavras
|, ||, |||, . . . , ou seja, palavras sobre o alfabeto {0, |} (0 para sim-
bolizar o branco) resulta que, via Godelizacao, nao ha nenhuma
perda de generalidade se considerarmos apenas algoritmos sobre N,
ou sobre , onde e um alfabeto de apenas dois smbolos.
Exemplo
Seja o nosso alfabeto: = {a, b, c, . . . , z}. Entao contem
propriamente todas as palavras da lngua portuguesa; por exemplo,
abback pertence a , pois e uma sequencia nita de letras. A
cada palavra de comprimento n, digamos x1 x2 xn , considere os
n primeiros numeros primos: 2, 3, 5, . . . , pn e dena
(qi , S, Op, qj )
onde qi e o estado presente da maquina, S {0, 1} e o smbolo lido,
Op {0, 1, D, E} e uma das quatro operacoes acima a ser realizada
Nocoes de Computabilidade 309
Solucao: Um programa e:
(1) q1 01q1 (1) q1 1Dq2 (2) q2 01q2
(2) q2 1Dq3
(3) q3 01q3 (3) q3 1Dq4
Como a ta esta em branco, por convencao a maquina comeca
a computacao pela 1a instrucao. Depois de realizar a 1a instrucao,
a cabeca l/i ca sobre o 1 que acabou de escrever e a maquina no
estado q1 ; logo realizara a instrucao (1). Realizando esta instrucao,
a cabeca l/i ca sobre o zero a esquerda do 1, e a maquina no
estado q2 . Logo, realizara a instrucao (2) e depois a instrucao
(2), (3) e (3). Observe que a maquina para no estado q4 , pois
neste estado nao sao dadas instrucoes. Da camos com a seguinte
conguracao nal na ta
0001110q4 000 ,
como foi pedido, onde 0q4 signica que a cabeca l/i esta sobre este
smbolo no estado q4 .
Observacao: Note que as instrucoes (1), (2) e (3) servem para
escrever tres 1s enquanto as instrucoes (1), (2) e (3) servem para
retirar a cabeca l/i de cima do 1 escrito. Generalizando, temos:
(B) De um programa para escrever n 1s consecutivos (n 2)
em uma ta em branco, mas agora faca a cabeca l/i retornar no 1
mais a esquerda do sequencia de 1s.
Solucao: Um programa e:
(1) q1 01q1 (1) q1 1Dq2
(2) q2 01q2 (2) q2 1Dq3
(n) qn 01qn+1 (n) qn+1 1Eqn+1
(n+1) qn+1 0Dqn+2 .
Note que a instrucao (n), assim como a instrucao (3) do
exerccio (A), escreve o ultimo smbolo 1 mas neste caso muda
de estado e, (n) que corresponde a instrucao (3) do exerccio (A)
em vez de so tirar a cabeca l/i de cima do ultimo 1 impresso, nao
so faz isto, mas ja comeca a voltar a cabeca l/i para o primeiro
1 impresso. Ela busca o primeiro zero depois da sequencia de 1s
Nocoes de Computabilidade 311
Escreva 1x+1 0 1y+1 (=X0Y respect.)
e apague o 1 mais a esquerda de X
sim
X e vazio? apague Y e pare
nao
apague o 1 mais a direita de Y
sim
|Y e vazio?| | apague X e pare|
nao
mova Y y casas a direita e
apague o 1 mais a esquerda de X
.
nao Pule o branco usado para separar
|X e vazio?| X de Y e preencha todos os brancos
com 1 ate encontrar Y
sim
Pare examinando o 1 mais a esquerda do bloco Y
Um progama para esta funcao pode ser visto nas paginas 114-116
da referencia [1].
Nocoes de Computabilidade 319
Escreva 1x+1 0 1y+1 ,
blocos X e Y respect.
| apague o 1 mais a direita de Y |
. nao
nao apague o 1 mais
Y esta vazio? |X esta vazio?|
a direita de X
sim sim
|apague o 1 mais a direita de X| |apague Y e pare|
|X esta vazio?|
sim / nao
Z0 Z0 Z0 Z1 Z0 Z2 Z0 Z3 Z0 Z4 Z0 Z5 Z0 Z6
Z1 Z0 Z1 Z1 Z1 Z2 Z1 Z3 Z1 Z4 Z1 Z5 Z1 Z6
Z2 Z0 Z2 Z1 Z2 Z2 Z2 Z3 Z2 Z4 Z2 Z5 Z2 Z6
Z3 Z0 Z3 Z1 Z3 Z2 Z3 Z3 Z3 Z4 Z3 Z5 Z3 Z6
Z4 Z0 Z4 Z1 Z4 Z2 Z4 Z3 Z4 Z4 Z4 Z5 Z4 Z6
Z5 Z0 Z5 Z1 Z5 Z2 Z5 Z3 Z5 Z4 Z5 Z5 Z5 Z6 ,
Z6 Z0 Z6 Z1 Z6 Z2 Z6 Z3 Z6 Z4 Z6 Z5 Z6 Z6 ,
como foi feito no Teorema 6.11 ou Corolario 6.13. Assim temos a
enumeracao:
Z0 Z0 , Z1 Z0 , Z0 Z1 , Z0 Z2 , Z1 Z1 , Z2 Z0 , Z3 Z0 , Z2 Z1 , Z1 Z2 ,
Z0 Z3 , Z0 Z4 , . . .
Desta enumeracao eliminamos as palavras Zi Zi , que cor-
respondem as maquinas de Turing com a unica instrucao Zi , i =
1, 2, . . . , ja enumerada anteriormente. Palavras do tipo Zi Zj e
Zj Zi , i = j sao contadas apenas uma vez, pois correspondem a
mesma maquina. Finalmente eliminamos palavras que nao satis-
fazem o criterio Cr.5, por exemplo, Z0 Z1 = q0 00q0 q0 01q0 e Z1 Z4 =
q0 01q0 q0 0Eq0 . O que restar da uma enumeracao das maquinas de
Turing com duas instrucoes (duas palavras). De fato, este subcon-
junto e um conjunto innito de um conjunto enumeravel (Teorema
6.8). Assim temos uma enumeracao das palavras de comprimento
2:
N0 = Z0 Z4 = q0 00q0 q0 10q0 , N1 = Z5 Z0 = Z0 Z5 = q0 00q0 q0 11q0 ,
N2 = Z4 Z1 = Z1 Z4 = q0 01q0 q0 10q0 , N3 = Z0 Z6 = q0 00q0 q0 1Dq0 ,
N4 = Z1 Z5 = q0 01q0 q0 11q0 , N5 = Z2 Z4 = q0 0Dq0 q0 10q0 , N6 =
Z7 Z0 = Z0 Z7 = q0 00q0 q0 1Eq0 , N7 = Z6 Z1 = Z1 Z6 =
q0 01q0 q0 1Dq0 , N8 = Z2 Z5 = q0 0Dq0 q0 11q0 , etc.
Usando as maquinas de Turing de 1 palavra e a enumeracao
Ni das maquinas de Turing de 2 palavras, facamos uma tabela
326 Aspectos Formais da Computacao
Z0 Z1 Z2 Z3 Z4 Z5
0 1 0 1
N0 N1 N2 N3 N4 N5
1 0 1
P0 P1 P2 P3 P4 P5
Entre com 1n+1
Copie 1n+1 a direita de 1n+1
colocando 0 entre os blocos
Calcule P para 1n+1 0 1n+1
| O resultado e 0?|
nao 1 / sim
Exerccios
(1) Dena: Alfabeto, Palavras sobre um alfabeto, Algoritmos e de
exemplos diferentes dos algoritmos vistos ate aqui.
(2) Dena Godelizacao e de exemplos de Godelizacao diferentes dos
vistos ate aqui. Qual o numero de Godel do seu primeiro nome?
(3)(i) Para um dado n N, n > 0 faca uma maquina de Turing
que escreva 1n numa ta em branco.
(ii) Dados m, n N, ambos nao nulos, escreva 1m 01n numa
ta em branco.
(4)(i) Faca programas que computem, por maquinas de Tu-
N3 N e g : N N, dadas por:
ring, as funcoes totais: f :
1 se x = 0,
f (x, y, z) = x + z, e g(x) =
0 se x = 0.
(ii) Faca um programa para g f fazendo uma simulacao dos
programas obtidos para f e g em (i).
(5) Responda sim ou nao, fazendo um breve comentario que jus-
tique a resposta:
(i) O conjunto das funcoes totais de N em N e enumeravel.
(ii) O conjunto de todas as Maquinas de Turing e enumeravel.
(iii) Existe uma funcao f : N N que nao e computavel por
nenhum criterio, mas e impossvel exibi-la.
(6) De uma outra enumeracao das maquinas de Turing.
(7) Faca um breve comentario sobre: O problema da parada e
indecidvel via maquinas de Turing.
(8) Faca programas que computem, por maquinas de Turing, as
funcoesparciais f : N N dada por
1, x : par
f (x) = e h : N N dada por
indenida, x : mpar,
x
h(x) = 2, x : par
indenida, x : mpar.
(9) Mostre que a funcao caractersticada igualdade,
1, se m = n
c : N2 {0, 1}, denida por c(m, n) = e Turing-
0, se m = n.
330 Aspectos Formais da Computacao
Computavel.
(10) (a) Prove que a projecao na primeira coordenada P21 : N2
N, denida por P21 (m, n) = m e Turing-Computavel.
(b) Como voce prova que a i-esima projecao Pki : Nk N,
denida por Pki (n1 , . . . , ni , . . . , nk ) = ni , k i 1 e Turing-
Computavel?
I1 : J(1, 2, 6) I4 : J(1, 2, 6)
I2 : S(2) I5 : J(1, 1, 2)
I3 : S(3) I6 : T (3, 1).
Se considerarmos a computacao dada por esta MRI sobre a
conguracao inicial
|8|6|2|0|
incio
nao
r1 = r2 ? |r2 := r2 + 1|
sim .
|r3 R1 | |r3 := r3 + 1|
Pare
cujo diagrama e:
incio
(k = x2 ?)
sim
Pare.
r3 = r2 ?
nao .
(k := k + 1)
|r1 := r1 + 1|
r3 := r3 + 1
(b) Sejaf : N N denida por f (x) = x 1, onde
x 1, se x > 0,
x 1 :=
0, se x = 0.
Um diagrama e o seguinte
338 Aspectos Formais da Computacao
Incio
sim
|r1 = r2 ?| Pare
nao
|r2 := r2 + 1|
.
nao
|r1 = r2 ?| |r3 := r3 + 1|
sim
|r1 := r3 |
Pare
Como f (x) e uma funcao de uma variavel a conguracao ini-
cial e: x, 0, . . . e o programa do diagrama anterior e como segue:
Primeiro vericamos se x = 0 (r1 = r2 ). Se for, paramos; se nao,
usamos os registros R2 e R3 como contadores com r2 = k + 1 e
r3 = k, k = 0, 1, 2, . . . e entramos na seguinte rotina: vericar se
x = k + 1 (r1 = r2 ). Se for, o resultado nal e k, isto e, T (3, 1), se
nao, acrescentamos 1 aos registros R2 e R3 e repete-se o processo.
Portanto, depois de k etapas na computacao, a conguracao tpica
e: x, k + 1, k, 0 . . . e o programa e:
I1 : J(1, 2, 7), I2 : S(2), I3 : J(1, 2, 6), I4 : S(3), I5 : J(1, 1, 2),
I6 : T (3, 1).
1
(c) f (x) = 2 x, se x e par
indenida, se x: mpar
Neste exemplo, temos que o domnio de f e o conjunto dos
numeros pares, e devemos fazer um programa que nao para se a
entrada e mpar.
Utilizemos dois registros como contadores contendo k e 2k,
k = 0, 1, . . . para vericarmos se x = 2k. Se x = 2k, a resposta
Nocoes de Computabilidade 339
Incio
x = 2k? sim T (2, 1) = k R1
Pare
r1 = r3 ? r1 := r2
nao .
r3 = r3 + 2
r2 := r2 + 1
2k = 2k + 2 k := k + 1
Incio
x = k? nao k := k + 1
r1 = r2 ? r2 := r2 + 1
sim .
2k := 2k + 2
r3 := r3 + 2
3s+2 := 3s+5 2k = 3s?
r7 := r7 + 3 r3 = r5 ?
nao / sim
3s+1 := 3s+4 2k = 3s+1? sim
|r4 R1 | Pare
r6 := r6 + 3 r3 = r6 ?
nao 0 sim
3s := 3s + 3 2k = 3s + 2?
r5 := r5 + 3 r3 = r7 ?
. nao
s := s + 1
r4 := r4 + 1
Uniao de Programas
Adiante necessitaremos de escrever programas que incorpo-
rem outros programas como sub-programas ou como rotinas de um
programa maior. Segue uma tecnica para fazer isto.
Suponhamos que temos os programas P e Q e desejamos es-
crever um programa com a seguinte caracterstica: Primeiro quere-
mos a acao de P e depois a acao de Q. A intuicao diz que primeiro
devemos colocar, neste novo programa, as instrucoes de P seguidas
das instrucoes de Q e, portanto, existem dois pontos a considerar:
(A) Suponhamos que P : I1 , I2 , . . . , Is . Como a computacao
sobre P e completada quando a proxima instrucao e Iv com v > s,
devemos exigir que a computacao, no novo programa composto,
tenha Iv como sendo a 1a instrucao de Q, ou seja, v = s + 1 com
Is+i = Ii , onde Q : I1 , I2 , . . . , It . Assim, para a construcao do
novo programa, somos obrigados a considerar programas P que
invariavelmente param porque a proxima instrucao, depois do pro-
grama P, deve ser Is+1 . Dizemos que tais programas estao na forma
Nocoes de Computabilidade 345
canonica. Claro que somente instrucoes saltos podem fazer com que
um programa nao pare na forma canonica. Entao diremos que um
programa P = I1 , I2 , . . . , Is , esta na forma canonica se, para toda
instrucao salto J(m, n, q) de P, temos que q s + 1. Os programas
do exemplo 6.45(a) e do exerccio (2) estao na forma canonica. A
forma canonica nao e restritiva, como mostra o lema a seguir.
Lema 6.50 Para todo programa P que para, existe um programa
P na forma canonica, tal que a computacao em P e em P e a
mesma, exceto possivelmente no modo dos programas pararem. Em
particular, para todos a1 , . . . , an , b N, tem-se que P (a1 , a2 , . . . , an )
converge para b se, e somente se, P (a1 , . . . , an ) converge para b e,
portanto, fPn = fPn para todo n > 0.
Demonstracao: Se P esta na forma canonica, tome P igual a
P. Caso contrario, sejam I1 , I2 , . . . , Is as instrucoes do programa
P. Entao, para obter P de P, basta mudar as instrucoes salto
que param para as instrucoes salto que param na instrucao Is+1 .
Assim, podemos escrever P : I1 , I2 , . . . , Is , onde Ik = Ik , se Ik e
uma instrucao aritmetica, e, se Ik e uma instrucao salto, digamos,
Ik = J(m, n, q), q > s + 1, entao Ik = J(m, n, s + 1). Da P
satisfaz as condicoes desejadas.
Substituicao
Da-se o nome de substituicao ao processo de obter novas funcoes
Nocoes de Computabilidade 347
R1 R2 Rn R
| s1 | s2 | | sn | | s |
R+n+r
| 0 |
Inicia com
x = (x1 , x2 , . . . , xn )
Transfere xi de Ri para
|Pare|
R+i , i = 1, 2, . . . , n
Aplique G1 em Aplique F em
x = (x1 , . . . , xn ) (g1 (x), g2 (x), . . . , gk (x))
Transfere g1 (x) Transfere gj (x) de R+n+j
para R+n+1 para Rj , j = 1, . . . , k
|Apague R1 , R2 , . . . , R | |Apague R1 , R2 , . . . , R |
Transfere xi de R+i ..
.
para Ri , i = 1, . . . , n.
Aplique G em x Transfere g2 (x)de
2 R1 para R+n+2
q(x, y) + 1, se r(x, y) + 1 = x,
q(x, y + 1) =
q(x, y), se r(x, y) + 1 = x.
z<0 f (x, z) := 0,
z<y+1 f (x, z) := z<y f (x, z) + f (x, y),
e
(
( z<0 f (x, z)
:= 1(
z<y+1 f (x, z) := z<y f (x, z) .f (x, y)
min{z N, z < y}, tal que f (x, z) = 0, se z,
g(x, y) :=
y, se nao existe z.
Observe que os pi s estao em sequencia (do mesmo modo como ze-
mos no processo de Godelizacao), de modo que lh(x) = n e, por-
tanto, corresponde ao tamanho da n-upla. Para que isto ocorra,
e suciente somar 1 a todo expoente ai de pi , pois queremos cod-
icar toda sequencia de comprimento n, inclusive sequencias con-
tendo zeros. Assim, a codicacao nao ca ambgua para zero. Por
exemplo, b = (1, 0, 2) e codicado por x = 22 .3.53 = p21 .p2 .p33 , e
nao por y = 2.30 .52 = p1 .p23 , onde os primos nao aparecem em
sequencia, ou seja, lh(y) = 1 e nao 3, como de fato e. Por este pro-
cesso de codicacao, o numero aj da posicao j, na sequencia b, ca
a +1
codicado por pj j . Observe que este processo mostra que o pro-
cesso de Godelizacao e recursivo primitivo. Alem disso, como cada
sequencia de comprimento n (n nito) tem uma codicacao que e
um numero natural, temos a uma aplicacao injetora das sequencia
nitas de numeros naturais em N.
Para podermos decodicar qualquer numero aj da sequencia b,
devemos denir
(x)j = [x]j 1.
Finalmente, para decodicar uma sequencia b codicada em
um numero x, observe inicialmente que esta funcao que codica
sequencias por numeros naturais e injetora, mas nao e sobrejetora.
Logo, dado um numero x, precisamos saber se ele esta na imagem
(denotemo-la por S) desta funcao, ou seja, precisamos saber se x
codica alguma sequencia b de numeros naturais. Com a convencao
de que um numero x so codica alguma sequencia ate lh(x), o
que faremos, na pratica, e tomar uma decomposicao de x e, se
ocorrer um primo pj , ver se falta nesta decomposicao algum primo
pi , com i < j. Se nao faltar pi para j, o maior dos ndices, entao x
codica alguma sequencia, caso contrario, x nao codica nenhuma
sequencia. Este procedimento e recursivo primitivo e e descrito na
funcao caracterstica de S.
1, se x nao tem fatores primos maiores que plh(x) ,
cod(x) =
0, caso contrario.
para obter (x, y), com x > 0, a denicao de nos faz proceder
da seguinte maneira: Considerando a linha x + 1 e coluna x + 1
de (x, y), precisaremos de alguns valores (a, b) com (a, b), ou em
linhas acima da linha de (x, y), eventualmente numa coluna mais
distante da primeira coluna, ou (a, b) na mesma linha de (x, y),
mas em uma coluna mais proxima da primeira. Isto ocorre para
cada valor (x, y) que se deseja calcular. Assim, obrigatoriamente,
atingiremos a primeira linha ou a primeira coluna. No caso de
alcancar a 1a coluna (equacao 2), ela nos leva a linha imediatamente
superior, se houver, de entrada x (1a coordenada) e nos faz usar a
equacao 3, para y = 0. Na equacao 3, usaremos a 1a coluna, e mais
tarde o resultado obtido, e a linha acima x 1, se houver. Desta
forma, vamos subindo nas linhas da matriz anterior, formada de
elementos de N N, ate atingir a 1a linha formada de elementos da
forma (0, y), y N; e nao precisamos nos preocupar com y, pois
e dado o valor (0, y). Por exemplo, para calcular (2, 1), temos:
(2, 1) = 1, (2, 0) e precisamos de (2, 0),
(2, 0) = (1,
1) e precisamos
de (1, 1),
(1, 1) = 0, (1, 0) e precisamos de (1, 0),
(1, 0) = (0, 1) e (0, 1) = 2.
Da (1, 1) = (0, 2) = 3 e, portanto, (2, 1) = (1, 3). Mas
(1, 3)
=
0, (1, 2) , e precisamos de (1, 2),
366 Aspectos Formais da Computacao
(1, 2) = 0, (1, 1) e, como (1, 1) = 3, vem que (1, 2) =
(0, 3) = 4.
Assim, (1, 2) = (1, 3) = (0, 4) = 5.
Observe, na tabela, como foi a sequencia de passos para calcular
(2, 1).
Exerccios
(1) Faca um programa para cada uma das funcoes parciais abaixo,
para que elas sejam MRI computaveis.
0, se x = 0,
(a) f (x) = (b) f (x) = 5.
1, se x = 0.
0, se x = y, 0, se x y,
(c) f (x, y) = (d) f (x, y) =
1, se x = y. 1, se x > y.
1
(e) f (x) = 3 x, se x = 3q,
0, em outros casos.
368 Aspectos Formais da Computacao
(2) Determine uma funcao parcial de duas variaveis que seja MRI
computavel pelo programa P: I1 = J(1, 2, 6), I2 = S(2),
I3 = S(3), I4 = J(1, 2, 6), I5 = J(1, 1, 2), I6 = T (3, 1).
(3) (a) - Mostre que a funcao parcial f : Z Z f (x) = 2x e MRI
computavel.
(b) - Mostre que a codicacao f : N N, dada no exemplo
6.48, e MRI computavel, exibindo um programa para f .
(c)Mostre que o predicado x 0 e decidvel sobre Z.
(4) (a) - Sem escrever qualquer programa, mostre que as funcoes
parciais abaixo sao MRI computaveis.
(i) funcao constante f (x) = m, x. (ii) a funcao g(x) = mx, x.
(b) Suponha que f (x, y) e MRI computavel, e m N. Mostre que
h(x) := f (x, m) e MRI computavel.
(c) Suponhamos que g(x) e uma funcao de N em N MRI com-
putavel. Mostre que o predicado M (x, y) : g(x) = ye decidvel.
p, existe um primo q, tal que p < q < (p! + 1). Sugestao: Use o
Teorema fundamental da aritmetica e raciocine por contradicao.
(11) Calcule (2, 3), destacando a sequencia de pares (x, y) NN
usados, fazendo uma sequencia numa tabela de elementos de NN.
(12) Mostre que as seguintes funcoes parciais sao recursivas prim-
itivas:
(a) g(x) = a0 +a1 x+a2 x2 + +an xn , onde a0 , a1 , . . . , an N.
(b) [ x] (maior inteiro da raiz quadrada). (c) mmc(x, y) e
mdc(x, y).
(d) f (x) =numero de divisores primos de x.
(e) A funcao de Euler, denida por: (x) =numero de in-
teiros positivos entre 0 e x que sao primos com x.
(f ) A funcao parcial denida por: f (0) = f (1) = 1 e f (n +
1) = f (n 1) + f (n), para todos n 1. Sugestao: Mostre que
g(x) = 2f (x) 3f (x+1) e recursiva primitiva e depois use o Teorema
6.69(d).
(13) Prove que a funcao de Ackermann (m, n) pode ser calculada
para m = 1, 2, 3 por: a. (1, n) = n + 2,
(3, n + 1) = 2(3, n) + 3,
b. (2, n) = 2n+3 e c.
(3, 0) = 5.
(14) Mostre que (m, n) > n por inducao dupla.
Sugestao: Primeiro, por inducao sobre m, mostre que
(0, n) > n para todo n. Depois, suponha que (m, n) > n para
todo n e prove que (m + 1, n) > n para todo n (neste caso, use
inducao sobre n).
(15) Mostre que (m, n + 1) > (m, n).
Sugestao: Pode ser feito por inducao simples em m, usando o
exerccio 14.
(16) Mostre que (m + 1, n) (m, n + 1).
Sugestao: Mostre que (1, 0) = (0, 1). Assuma verdadeiro
para m = 0 e k n e prove que (1, n + 1) (0, n + 1). Ate aqui
voce mostrou que o resultado vale para m = 0 e todo n. Devera
mostrar, em seguida, que vale para m + 1 e todo n. Para isto (a)
Note que (m + 1, 0) = (m, 1) (logo, vale para n = 0 em m + 1).
370 Aspectos Formais da Computacao
primo, F.
(5)(a) Verdadeira, {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1)}, (b) Ver-
dadeira x = 1, (c) Falso e a negacao e: x, y : x2 + y 2
12cujo conjunto solucao e: {(2, 3), (3, 2), (3, 3)}, (d) Verdadeira,
{(1, 1, 2), (1, 1, 3), (1, 2, 2), (1, 2, 3), (2, 1, 2), (2, 1, 3),
(1, 3, 3), (3, 1, 3), (2, 2, 3), (2, 3, 3), (3, 2, 3)}, (e) Falso, a negacao e:
x, y, z | x2 + y 2 2z 2 , cuja solucao e z = 1 (pois x, y A :
x2 + y 2 12.).
aparecer.
(27) 9, 421875 = 9 + 0, 421875. Temos 9 = 10012 e 0, 421875 =
0, 0110112 , Logo 9, 421875 = 1001, 0110112 .
(28) (a) (i) 0, 8125 = 0, 11012 (ii) 34 = 0, 75 = 0, 112 (iii) 0, 6875 =
0, 10112 (iv) 58 = 0, 625 = 0, 1012 (v) 0, 7 = 0, 101102 (vi) Pelo
item (iv) 0, 625 = 58 . Logo 24, 625 = 24 + 58 = 11000, 1012 . (vii)
29 = 111012 e 0, 1875 = 0, 00112 . Logo 29, 1875 = 11101, 00112
(viii) 0, 22 = 0, 001110, (Veja exemplo 2.26(A)(iii).
(b) (i) 0, 11012 = 12 + 14 + 161
= 0, 8125 (ii) 0, 1112 = 21 + 14 + 18 = 0, 875
1 1 1 1
(iii) 0, 1011012 = 2 + 8 + 16 + 64 = 0, 703125.
1
(29) (i) De 1 + r + r2 + + rn + = , para 0 < r < 1, temos
1r
1
23 + 27 + 211 + = 23 1 + 24 + 28 + = 23 . =
1 24
2 1
, e 24 +28 +212 + = . Logo a resposta e 12 + 15 2 1
+ 15 7
= 10 .
15 15
(30) (a) Proposicao 2.23 (b) a = 6D16 = (110)(1101) =
11011012 , b = 3A16 = 1110102 , a b = 6D16 3A16 = 3316 (c)
x + y = 7C16 + A216 = 11E16 , e x y = 7C16 A216 = (A216
16 ) = 2616 , e pela proposicao 2.23, x + y
7C =
(0001)(0001)(1110) = 1000111102 .
x y = 2616 = (0010)(0110) = 1001102 .
(31)(i) Fazendo o processo inverso da Proposicao 2.23, para a base
octal, junte os numeros da sequencia em blocos de 3 dgitos or-
denados a partir da vrgula e passe cada bloco para a base dez:
(101111, 01)2 = (101)(111), (010) 2 = 57, 28 e (111010, 1001)2 =
(111)(010), (100)(100) 2 = 72, 448 . Na base hexadecimal temos:
(101111, 01)2 = (0010)(1111), (0100) 2 = 2F, 416 e
(111010, 1001)2 = (0011)(1010), (1001) = 3A, 916 .
(ii) Use a Proposicao 2.23 para obter:
A85E, 1616 = 1010100001011110, 00010112 . Para reduzir para a
base octal nao podemos usar a Prop. 2.23, (Por que?). Passe para
a base decimal e depois para a base octal para obter: A85E16 =
124136, 0548 . E
761F, 9816 = 73037, 468 = 111011000011111, 100112 .
(32) Facamos as tabuadas da base octal (mais curtas).
Respostas de Alguns Exerccios 379
+ 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6 7
1 1 2 3 4 5 6 7 10
2 2 3 4 5 6 7 10 11
3 3 4 5 6 7 10 11 12
4 4 5 6 7 10 11 12 13
5 5 6 7 10 11 12 13 14
6 6 7 10 11 12 13 14 15
7 7 10 11 12 13 14 15 16
0 1 2 3 4 5 6 7
0 0 0 0 0 0 0 0 0
1 0 1 2 3 4 5 6 7
2 0 2 4 6 10 12 14 16
3 0 3 6 11 14 17 22 25
4 0 4 10 14 20 24 30 34
5 0 5 12 17 24 31 36 43
6 0 6 14 22 30 36 44 52
7 0 7 16 25 34 43 52 61
1 0 0 0 0 0 0
(18) S R = {(1, 0), (2, 1)}, R S = {(2, 0), (2, 1), (3, 2)},
R S R = {(1, 0), (1, 1), (2, 2)} e R3 = {(0, 0), (0, 1), (0, 2), (0, 3),
(1, 2), (2, 1), (2, 3)}.
(20) D = {(2, 3), (2, 4), (4, 3)} {1, 2, 4} {3, 4} e D com a menor
382 Aspectos Formais da Computacao
0 1 1 1 0 0 0 0
0 0 0 0 0 1 0 1
0 1 0 0 1 1 1 1
MTc = 0 0 1 1
M RT c =
1 0 1 1
0 1 1 0 0 1 1 0
1 1 0 1 0 1 1 1
1 0 1 1 1 0 1 1
M(RS)T = 1 0 0 0
MRSc = 1 1 1 1
0 0 0 1 1 0 1 0
1 0 1 0
0 0 0 0
M
c =
0 1 0 1 , e nalmente
R(STc
1 0 0 1
0 1 0 1
1 1 1 1
M(ST)(RTc ) = 1 0 1 0
0 1 0 0
Respostas de Alguns Exerccios 383
(7)(i) segue do exerccio (5), (ii) (1, 2), (2, 1) sao incomparaveis.
Logo nao e total. (iii) a ordem inversa e (a, b) " (c, d) a
e multiplo de c e b d. (iv) Ambos sao elementos maximais e
minimais, limites inferiores (1, 0), (1, 1), e inf A = (1, 1), nao existe
min A. Limites superiores sao da forma (2s, b), com s N e b 2;
sup A = (2, 2), nao existe max A.
Respostas de Alguns Exerccios 385
(10)
72
D [777
77
77
77
77
77
7
2E 3 .3Z6 22C .3[72
66 77
66 77
66 77
66 77
66 77
66 77
6 7
23Y4 2D 2 .3[7 2.3 2
C Y44
44 777
44
44
44 77
77 44
44 44
777 44
44 44
44 77
4
7
2
2 Z6 2.3 3E 2
66 C [77
77
66
66 77
66 77
66 77
66 77
6 7
2 [7 C3
77
77
77
77
77
77
7
1
(a) a natureza do diagrama de Hasse do conjunto D+ (pk11 .pk22 ) e
analogo ao caso acima, ou seja, no nvel zero coloca-se o numero 1 =
p01 .p02 , no primeiro nvel coloca-se os elementos incomparaveis p1 e
p2 , no segundo nvel coloca-se os elementos incomparaveis p21 , p1 .p2
e p22 (se k1 > 1 e k2 > 1). Em geral, no nvel s coloca-se todos os
possveis elementos pa1 .pb2 , com a + b = s, 0 a k1 , 0 b k2 ,
k1 k2
com uma seta de pa1 .pb2 a pa+1 b
1 .p2 (caso este divide p1 .p2 ) e outra
seta de pa1 .pb2 a pa1 .pb+1
2 (caso este divide pk11 .pk22 ).
(11) Prove que a interseccao de duas ordens e uma ordem. A re-
386 Aspectos Formais da Computacao
Os tens de (A), (B), (D), (E), (H), (I), (J), (M) se referem
ao problema da diagonal. Pergunta: Existem outros tens que se
388 Aspectos Formais da Computacao