Soluções dos Exercícios Propostos no Livro. Introdução aos Fundamentos da Computação: Linguagens e Máquinas (Ed. Thomson, 2006)

Documentos relacionados
Faculdade de Computação

Capítulo 0: Conjuntos, funções, relações

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Revisão de Matemática Discreta

Teoria de Linguagens 1 o semestre de 2018 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 17/4/2018 Valor: 10 pontos

Análise I Solução da 1ª Lista de Exercícios

Teoria de Linguagens 2 o semestre de 2017 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 19/9/2017 Valor: 10 pontos

CT-200 Fundamentos de Linguagens Formais e Automata - Aula 01 - In...

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Contando o Infinito: os Números Cardinais

Matemática Discreta Parte 11

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito. a(x x 0) = b(y 0 y).

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Linguagens Formais e Autômatos P. Blauth Menezes

Universidade Federal do ABC Centro de Matemática, Computação e Cognição Análise na Reta (2017) Curso de Verão

Conceitos Preliminares

1 Conjuntos, Números e Demonstrações

Relações Binárias, Aplicações e Operações

Linguagens Formais - Preliminares

Conceitos básicos de Teoria da Computação

Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

11º ano - Indução matemática

Soluções dos Exercícios do Capítulo 2

IBM1088 Linguagens Formais e Teoria da

O espaço das Ordens de um Corpo

Matemática I. 1 Propriedades dos números reais

Cálculo Diferencial e Integral I

Aula1 Noções de matemática Discreta Técnicas de Demonstração. Prof. Dr. Ricardo Luis de Azevedo da Rocha

INE Fundamentos de Matemática Discreta para a Computação

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Capítulo 2. Conjuntos Infinitos

Linguagens Formais e Problemas de Decisão

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Fundamentos da Teoria da Computação

Matemática Discreta para Ciência da Computação

Teoria intuitiva de conjuntos

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos

Apostila 05 Assunto: Linguagens dos tipos 0 e 1

AXB = {(x, y) x A e y B}

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;

Segunda Lista de Exercícios 2004/2...

Roteiro da segunda aula presencial - ME

Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3.

Revisões de Conjuntos

Enumerabilidade. Capítulo 6

INE5317 Linguagens Formais e Compiladores. AULA 4: Gramáticas

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 27 de Fevereiro de 2018

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma N12 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017

Números naturais e cardinalidade

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.

Teoria da Computação Aula 02 Introdução

3.4 Álgebra booleana, ordens parciais e reticulados

Probleminhas pseudoalgébricos com soluções elegantemente carteadas

Aulas 10 e 11 / 18 e 20 de abril

Elementos de Matemática Finita

Linguagem (formal) de alfabeto Σ

Matemática Discreta Bacharelado em Sistemas de Informação Resolução - 3ª Lista de Exercícios RESOLUÇÃO

Teoria Combinatória dos Números

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52

Fundamentos da Teoria da Computação

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Terminologia, Técnicas de Prova, Enumerabilidade

ENFOQUE USANDO CORTES DE DEDEKIND

Referências e materiais complementares desse tópico

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Material Teórico - Módulo de Potenciação e Dízimas Periódicas. Números Irracionais e Reais. Oitavo Ano. Prof. Ulisses Lima Parente

OPRM a Fase Nível 3 01/09/18 Duração: 4 horas

Capítulo 1 Conceitos e Resultados Básicos

Aula 10: Decidibilidade

Material Teórico - Módulo de Potenciação e Dízimas Periódicas. Números Irracionais e Reais. Oitavo Ano

Notas de Aula de Fundamentos de Matemática

Modelos de Computação Folha de trabalho n. 8

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

A Reta no Espaço. Sumário

Lista de Exercícios 8: Soluções Relações

Teoria Elementar dos Conjuntos

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

Modelos de Computação

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

Parte 1. Conjuntos finitos, enumeráveis e

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

Gramáticas e Linguagens Independentes de Contexto

Conceitos Preliminares

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano

Transcrição:

Soluções dos Exercícios Propostos no Livro Introdução aos Fundamentos da Computação: Linguagens e Máquinas (Ed. Thomson, 2006) Newton José Vieira Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade Federal de Minas Gerais Belo Horizonte, 30/06/2007 Peço a quem encontrar erros nas soluções a seguir entrar em contato com o autor no endereço nvieira@dcc.ufmg.br. Antecipadamente, agradeço

2

Capítulo 1 Conceitos Preliminares 1.1 Representação Nesta seção não há exercícios. 1.2 Prova de Teoremas 1. a) A afirmativa (α β) α só é falsa se α β é verdadeira e α é falsa. Mas a α β não pode ser verdadeira se α é falsa. Assim, (α β) α não pode ser falsa; logo, é válida. b) A afirmativa α (α β) só é falsa se α é verdadeira e α β é falsa. Mas, sendo α verdadeira, α β não pode ser falsa. Assim, α (α β) não pode ser falsa; logo, é válida. c) A afirmativa (α α) β só pode ser falsa se α α é verdadeira e β é falsa. Mas a afirmativa α α não pode ser verdadeira, pois é uma contradição. Assim, (α α) β não pode ser falsa; logo, é válida. d) A afirmativa α (β β) só é falsa se α é verdadeira e β β é falsa. Mas, β β não pode ser falsa, pois β e β não podem ser ambas falsas. Assim, α (β β) não pode ser falsa; logo, é válida. e) A afirmativa (α β) α só pode ser falsa se ambas, α β e α são falsas. Mas, sendo α falsa, α β é verdadeira. Assim, (α β) α não pode ser falsa; logo, é válida. f) A afirmativa (α β) (β α) só pode ser falsa se α β e β α são falsas. Para α β ser falsa, α deve ser verdadeira (e β falsa), e para β α ser falsa, α deve ser falsa (e β verdadeira); contradição! Assim, a afirmativa original não pode ser falsa; logo, é válida. 2. a) Suponha que α β é verdadeira. Segue-se que α é falsa ou β é verdadeira. No primeiro caso, α é verdadeira e, portanto, β α é verdadeira. No segundo caso, β é falsa e, portanto, β α é também verdadeira. Logo, (α β) ( β α). Suponha, por outro lado, que α β é falsa. Segue-se que α é verdadeira e β é falsa. Com isto, α é falsa e β é verdadeira e, portanto, β α é falsa. Logo, ( α β) (α β). b) Primeiro, mostra-seque(α β) γ [(α γ) (β γ)]: Suponhaque(α β) γ é verdadeira. Segue-se que α β é falsa ou γ é verdadeira. No primeiro caso, α e β são falsas e, portanto, α γ e β γ são verdadeiras. No segundo caso, sendo 3

γ verdadeira, α γ e β γ são também verdadeiras. Assim, se (α β) γ é verdadeira, (α γ) (β γ)éverdadeira. Logo, (α β) γ [(α γ) (β γ)]. Resta mostrar que [(α γ) (β γ)] (α β) γ. Para isto, suponha que (α γ) (β γ) é verdadeira; segue-se que α γ e β γ são verdadeiras. Destas duas segue-se que γ é verdadeira ou α e β são falsas, e, neste último caso, α β é falsa. Mas, sendo γ verdadeira ou α β falsa, (α β) γ é verdadeira. Portanto, [(α γ) (β γ)] (α β) γ. c) Suponha que α (β γ) é verdadeira. Segue-se que α é falsa ou β γ é verdadeira. No primeiro caso, sendo α falsa, α β e α γ são verdadeiras. No segundo caso, sendo β verdadeira, α β é verdadeira, e sendo γ verdadeira, α γ é verdadeira. Logo, (α (β γ)) ((α β) (α γ)). Suponha, agora, que α (β γ) é falsa. Segue-se que α é verdadeira e (β γ) é falsa, ou seja, β é falsa ou γ é falsa. Com isto, α β é falsa ou α γ é falsa e, portanto, (α β) (α γ) é falsa. Logo, (α β) (α γ) α (β γ). 3. a) Não existe atribuição de valor-verdade para α tal que ambas, α e α sejam verdeiras. Assim, por vacuidade, sempre α e α são verdadeiras, γ também é. b) Se α γ é verdadeira, então α é falsa ou γ é verdadeira. No primeiro caso, α β é falsa e, portanto, (α β) γ é verdadeira. No segundo caso, sendo γ é verdadeira, (α β) γ é também verdadeira. Conclui-se, então que {α γ} (α β) γ. c) Suponha que α β e β sejam verdadeiras. Neste caso, β é falsa e, portanto, α é falsa. Sendo α falsa, α é verdadeira. Logo, se α β e β são verdadeiras, α é verdadeira, ou seja, { α β, β} α. 4. Sejam x e y números reais tais que x > 0 e x < y. Destas duas últimas segue-se que x 2 < xy. Das mesmas, segue-se também que y > 0. Desta e do fato de que x < y, deduz-se que xy < y 2. De x 2 < xy e xy < y 2, conclui-se que x 2 < y 2. 5. Sejam x e y números reais arbitrários. Suponha que x 2 +y = 13 e y 4. Deve-se mostrar que, neste caso, x 3. Suponha o contrário: x = 3. Então, substituindo-se x por 3 em x 2 + y = 13, obtém-se: 3 2 + y = 13 e, assim, y = 13 9 = 4. Contradição. Logo, se x 2 +y = 13 e y 4, então x 3. 6. Seja x um número real tal que x > 2. Seja k = (x + x 2 4)/2; observe que k é um número real, pois x > 2. Além disso, k+ 1 k = x+ x 2 4 1 + 2 (x+ x 2 4)/2 = x+ x 2 4 2 + 2 x+ x 2 4. Fazendo-se as operações e simplificando-se obtém-se: k + 1 k == x2 +2x x 2 4+x 2 4+4 2x+2 x 2 4 Conclui-se, então, que para todo número real x, se x > 2, existe um número y tal que y +(1/y) = x. 7. Seja x um número natural. A prova será feita pela contrapositiva. Suponha, assim, que x é um número racional. Neste caso, x = p/q, onde p e q são números naturais primos entre si. Segue-se que x = p 2 /q 2. Como p e q são primos entre si, p 2 e q 2 são primos entre si, e como x é um número natural q 2 só pode ser 1 e x = p 2. Portanto, para todo número natural x, se x não é é um quadrado perfeito, x não é um número racional. 4 = x.

8. Seja n um número inteiro não divisível por 3. Então n = 3q + r, onde q é um inteiro e r {1,2}. Caso 1: r = 1. Tem-se que n 2 = (3q +1) 2 = 9q 2 +6q +1 = 3(3q 2 +2q)+1. Fazendo-se k = 3q 2 +2q tem-se que k é um inteiro tal que n 2 = 3k +1, como requerido. Caso 2: r = 2. Tem-se que n 2 = (3q+2) 2 = 9q 2 +12q+4 = 3(3q 2 +4q+1)+1. Fazendo-se k = 3q 2 +4q +1 tem-se que k é um inteiro tal que n 2 = 3k +1. 1.3 Conjuntos 1. a) A B = {0,1,2,3,4,5}. b) C = { 4, 2,0,2,4,6,8}. c) D = { 5, 4, 3, 2, 1,6,7,8}. d) {(0,7),(2,7),(4,7)}. 2. Resposta para a primeira pergunta: A B = B A se, e somente se, A = B. Prova: ( ) Suponha que A = B. Então A B = B A =. ( ) Suponha que A B = B A. Para provar, primeiramente, que A B, seja x A. Suponha que x B. Neste caso, x A B, e, como A B = B A, x B A. Mas, neste caso, x B e x A. Contradição. Assim, se x A, então x B, ou seja, A B. Prova-se que B A de forma análoga. Resposta para a segunda pergunta: A B = A B se, e somente se, A = B. Prova: ( ) Suponha que A = B. Então A B = A B = A = B. ( ) Suponha que A B = A B. Para provar, primeiramente, que A B, seja x A. Com isto, x A B. Neste caso, como A B = A B, x A B. Assim x B. Portanto, se x A, então x B, ou seja, A B. Prova-se que B A de forma análoga. 3. Será mostrado que A B = A C se, e somente se, (B C) (C B) A. (Ou seja, a condição procurada é: a diferença simétrica entre B e C deve estar contida em A, mesmo que B C.) ( ) Suponha que A B = A C. Seja x um elemento arbitrário de (B C) (C B). Caso 1: x B C, ou seja x B e x C. Como x B e A B = A C, segue-se que x A C. Desta e de x C, conclui-se que x A. Caso 2: análogo. Portanto, se x (B C) (C B), então x A. Logo, (B C) (C B) A. ( ) Suponhaque(B C) (C B) A. Para provar, primeiramente, que A B A C, seja x A B. Caso 1: x A. Então x A C. Caso 2: x B. Neste caso, se x C, x A C, e se x C, x B C; e como B C A, x A e, portanto, x A C. Assim, se x A B, então x A C, ou seja A B A C. De forma análoga, A C A B. Portanto, A C = A B. 4. a) Basta provar que x[x A B x A B]. Seja, então, um elemento x arbitrário. Tem-se: x A B x A B pela definição de complemento (x A ou x B) pela definição de união x A e x B por DeMorgan x A e x B pela definição de complemento x A B pela definição de interseção. 5

b) Suponha que A B = A B. Inicialmente, prova-se que A B. Seja x um elemento arbitrário de A. Neste caso, x A B; e como A B = A B, x A B. Logo, x B e, portanto, A B. Prova-se que B A de forma similar. Portanto, A = B. Conclui-se que se A B = A B então A = B. c) Basta provar que x[x (A B) (B A) x (A B) (A B)]. Assim, seja um elemento x arbitrário. Tem-se: ( ) Suponha que x (A B) (B A). Caso 1: x A B. Então x A e x B. Como x A, x A B, e como x B, x A B. Portanto, x (A B) (A B). O caso 2, x B A, é similar. ( ) Suponha que x (A B) (A B). Então x A B e x A B. Segue-se, então, que x A ou x B e também que x A ou x B. Assim, só se pode ter dois casos: o caso em que x A e x B e caso em que x B e x A. Em outras palavras, x A B ou x B A. Portanto, x (A B) (B A). d) Basta provar que x[x A (A B) x A B]. Seja, então, um elemento x arbitrário. Tem-se: x A (A B) x A e x A B pela def. de diferença x A e (x A ou x B) pela def. de diferença (x A e x A) ou (x A e x B) pela distrib. e/ou x A e x B x A B pela def. de interseção. e) Basta provar que x[x (A B) C x A (B C]. Assim, seja um elemento x arbitrário. Tem-se: x (A B) C x A B e x C pela def. de diferença x A e x B e x C pela def. de diferença x A e (x B ou x C) pela lei de De Morgan x A e x B C pela def. de união x A (B C) pela def. de diferença. f) Basta provar que x[x (A B) C x (A C) (B C]. Assim, seja um elemento x arbitrário. Tem-se: x (A B) (B C) (x A e x C) e x B C pela def. de diferença (x A e x C) e (x B ou x C) pela def. de diferença (x A e x C e x B) ou (x A e x C e x C) pela distr. e/ou x A e x C e x B x A B e x C pela def. de diferença x (A B) C pela def. de diferença g) Seja um par (x, y) arbitrário. Tem-se: (x,y) A (B C) x A y B C pela def. de produto x A y B y C pela def. de interseção (x A y B) (x A y C) x A B x A C pela def. de produto x (A B) (A C) pela def. de interseção 6

h) Seja um par (x, y) arbitrário. Tem-se: (x,y) (A B) (C D) x (A B) y (C D) pela def. de produto x A x B y C y D pela def. de interseção (x A y C) (x B y D) por associatividade x A C x B D pela def. de produto x (A C) (B D) pela def. de interseção 5. Aspartiçõesde{1,2}são: {{1},{2}} e{{1,2}}. Aspartiçõesde{1,2,3}são: {{1},{2},{3}}, {{1},{2,3}}, {{2},{1,3}}, {3},{1,2}} e {{1,2,3}}. E as partições de {1,2,3,4} são: {{1},{2},{3},{4}}, {{1},{2},{3,4}}, {{1},{3},{2,4}}, {{1},{4},{2,3}}, {{2},{3},{1,4}, {{2},{4},{1,3}}, {{3},{4},{1,2}}, {{1},{2,3,4}}, {{2},{1,3,4}}, {{3},{1,2,4}}, {{4},{1,2,3}}, {{1,2},{3,4}}, {{1,3},{2,4}}, {{1,4},{2,3}} e {{1,2,3,4}}. Segue a função part(a), que retorna o conjunto das partições do conjunto (finito) A: Entrada: um conjunto finito A. Saída: o conjunto das partições de A. se A = então retorne fimse; R ; selecione um elemento a A; para cada B A tal que a B faça para cada X part(a B) faça R R {{B} X}; fimpara fimpara; retorne R {{A}}. 1.4 Relações 1. a) A relação é transitiva, não é reflexiva nem simétrica. b) A relação não é reflexiva, nem simétrica nem transitiva. c) A relação é reflexiva e transitiva, e não é simétrica. d) A relação é reflexiva e transitiva, e não é simétrica. e) A relação é reflexiva, simétrica e transitiva. 2. Sejam R 1 A 2 e R 2 B 2 a) Se R 1 e R 2 são reflexivas, R 1 R 2 é reflexiva sobre A B: Seja x A B. Se x A, (x,x) R 1, pois R 1 é reflexiva, e se x B, (x,x) R 2, pois R 2 é reflexiva. Assim, (x,x) R 1 R 2. 7

Se R 1 e R 2 são reflexivas, R 1 R 2 é reflexiva sobre A B: Seja x A B. Como x A e x B, (x,x) R 1 e (x,x) R 2 pois R 1 e R 2 são reflexivas. Assim, (x,x) R 1 R 2. b) Se R 1 e R 2 são simétricas, R 1 R 2 é simétrica sobre A B: Sejam x,y A B. Se x,y A e (x,y) R 1, então (y,x) R 1 e, analogamente, se x,y B e (x,y) R 2, então (y,x) R 2, pois R 1 e R 2 são simétricas. Por outro lado, se x A B e y B A, ou vice-versa, ou seja, x e y não pertencem ao mesmo conjunto, não se pode ter (x,y) R 1 nem (x,y) R 2. Assim, em qualquer caso, se x,y A B e (x,y) R 1 R 2, (y,x) R 1 R 2. Se R 1 e R 2 são simétricas, R 1 R 2 é simétrica sobre A B: Sejam x,y A B. Como x,y A e x,y B (y,x) R 1 e (y,x) R 2, pois R 1 e R 2 são simétricas. Portanto, se x,y A B e (x,y) R 1 R 2, (y,x) R 1 R 2. c) SeR 1 er 2 sãotransitivas, R 1 R 2 podenãosertransitiva. Porexemplo, R 1 = {(a,b)} sobre {a,b} e R 2 = {(b,c)} sobre {b,c}; tem-se que R 1 R 2 = {(a,b),(b,c)} sobre {a,b,c}, que não é transitiva, pois (a,c) R 1 R 2. ArelaçãoR 1 R 2 étransitivasobrea B: Dadoque(x,y) R 1 R 2 e(y,z) R 1 R 2, segue-se que (x,y) R 1 e (y,z) R 1, e também que (x,y) R 2 e (y,z) R 2. Como R 1 er 2 sãotransitivas, deduz-seque(x,z) R 1 e(x,z) R 2. Logo, (x,z) R 1 R 2. 3. ( ) Suponha que R é simétrica. Sejam x e y elementos arbitrários tais que (x,y) R. Como R é simétrica, segue-se que (y,x) R. Desta última, segue-se que (x,y) R 1. Logo, se (x,y) R, então (x,y) R 1, ou seja, R R 1. De forma similar, mostra-se que R 1 R. Portanto, R = R 1. ( ) Suponha que R = R 1 e seja (x,y) R. Segue-se que (x,y) R 1 e, portanto, (y,x) R. Logo, se (x,y) R então (y,x) R. Como (x,y) é um elemento arbitrário de R, conclui-se que R é simétrica. 4. ( ) Suponha que R é reflexiva sobre um conjunto A. Seja x um elemento arbitrário de A. Como R é reflexiva, segue-se que (x,x) R. Segue-se, pela definição de inversa, que (x,x) R 1. Logo, R 1 é reflexiva sobre A. ( ) Suponha que R 1 é reflexiva sobre um conjunto A. Seja x um elemento arbitrário de A. Como R 1 é reflexiva, segue-se que (x,x) R 1. Segue-se, pela definição de inversa, que (x,x) R. Logo, R é reflexiva sobre A. 5. ( ) Suponha que R é anti-simétrica. Sejam x e y elementos arbitrários de A tais que (x,y) R R 1, ou seja, (x,y) R e (x,y) R 1. Desta última, segue-se que (y,x) R. Como R é anti-simétrica, (x, y) R e (y, x) R, segue-se que x = y e, portanto, (x,y) ι A. Assim, R R 1 ι A. ( ) Suponha que R R 1 ι A. Sejam x e y tais que (x,y) R e (y,x) R. Como (y,x) R, (x,y) R 1, e, portanto, (x,y) R R 1. Como R R 1 ι A, segue-se que (x,y) ι A e, portanto, x = y. Conclui-se que se (x,y) R e (y,x) R, então x = y. Portanto, R é anti-simétrica. 6. Nesta questão, considere que se o denominador nas operações de divisão for 0, o resultado é sempre o mesmo ( indefinido ) e diferente de qualquer outro resultado. Como x 1 /x 2 = x 1 /x 2 para quaisquer x 1,x 2 N, R é reflexiva. Suponha que x 1 /x 2 = y 1 /y 2, parax 1,x 2,y 1,y 2 N. Segue-se quey 1 /y 2 = x 1 /x 2. Logo, R é simétrica. Supondose que x 1 /x 2 = y 1 /y 2 e y 1 /y 2 = z 1 /z 2, conclui-se que x 1 /x 2 = z 1 /z 2. Portanto, R é transitiva. Como R é reflexiva, simétrica e transitiva, R é uma relação de equivalência. 8

Para cada par (x 1,x 2 ) N 2 há a classe de equivalência {(y 1,y 2 ) N 2 y 1 /y 2 = x 1 /x 2 }, ou seja a cada número racional, r, corresponde a classe de equivalência constituída dos pares de naturais (x 1,x 2 ) tais que r = x 1 /x 2. 7. a) Fecho reflexivo: {(a,a),(c,c),(d,d),(e,e)} R. b) Fecho simétrico: {(a,d),(b,a)} R. c) Fecho transitivo: {(c,a),(c,b),(c,c),(d,b),(d,d)} R. d) Fecho reflexivo e simétrico: {(a,a),(c,c),(d,d),(e,e),(a,d),(b,a)} R. e) Fecho reflexivo e transitivo: {(a,a),(c,c),(d,d),(e,e),(c,a),(c,b),(d,b)} R. f) Fecho simétrico e transitivo: {(a,d),(b,a),(c,a),(c,b),(c,c),(d,b),(d,d)} R. g) Fecho reflexivo, simétrico e transitivo: {(a,a),(c,c),(d,d),(e,e),(a,d),(b,a),(c,a),(c,b),(d,b)} R. 1.5 Funções 1. O número máximo para R A B ser uma função é R = A, já que não se pode ter (x,y) f e (x,z) f se y z. 2. Sejam f : A B, g : C D e h = f g. Então: Prova: h : A C B D se, e somente se, x A Cf(x) = g(x). ( ) Suponha que h : A C B D. Seja um elemento arbitrário x de A C. Como h = f g e h : A C B D, segue-se que h(x) = f(x) = g(x). ( ) Suponha que x A Cf(x) = g(x). Seja y um elemento arbitrário de A C. Para mostrar existe um único z B D tal que (y,z) h, serão considerados 3 casos: Caso 1: y A C. Como f : A B, h = f g e y A, um z tal que (y,z) h é z = f(y). E como g : C D, h = f g e y C, tal z é único. Caso 2: y C A. Como g : C D, h = f g e y C, um z tal que (y,z) h é z = g(y). E como f : A B, h = f g e y A, tal z é único. Caso 3: y A C. Como f : A B, g : C D, h = f g e x A Cf(x) = g(x), o único z tal que (y,z) h é z = f(y) = g(y). 3. a) f não é injetora, pois f(0) = f(1) = 0. É sobrejetora, pois f(2n) = n para todo n N. b) g é injetora, pois se g(n) = g(k), então k = n. Ela não é sobrejetora, pois não existe n N tal que g(n) = 2: g(1) = 1 e g(2) = 3 e g é crescente. c) h é injetora: Suponha que h(n) = h(k). Se n e k forem ambos pares ou ambos ímpares, para que n 1 = k 1 ou n+1 = k+1, deve-se ter que n = k. Por outro lado se um é par e o outro é ímpar, para que n+1 = k 1, deve-se ter que n+2 = k; mas, para que isto seja verdade, n e k não podem ser um par e o outro ímpar! hésobrejetora, poish(n+1) = nparatodonúmeronparapartir de0, eh(n 1) = n para todo número n ímpar a partir de 1. Portanto, h é bijetora. Da última sentença acima, vê-se que a h 1 = h. 4. Sejam A = n e B = k. 9

a) Para cada a A, f(a) pode ser qualquer elemento de B. Assim, existem k n funções totais possíveis. b) Para cada a A, f(a) pode ser indefinido ou qualquer elemento de B. Assim, existem (k+1) n funções parciais possíveis. c) Se n > k, não há função injetora. Suponha que n k. Escolhido um elemento de B para ser f(a), ele não pode mais ser f(b) para b a. Assim, existem P(k,n) = k.(k 1)...(k n+1) = k!/(k n)! funções injetoras possíveis, se n k. d) Se n < k, não há função sobretora. Suponha que n k. Deve ser escolhido um elemento de ea tal que f(a) seja um elemento de B, para cada elemento de B. Para isto existem P(n,k) = n.(n 1)...(n k+1) = n!/(n k)! possibilidades. Para cada uma delas, os n k elementos restantes de A podem, cada um deles, ser mapeado para qualquer um dos elementos de B: são k n k possibilidades. Assim, existem (n!.k n k )/(n k)! funções sobrejetoras possíveis, se n k. e) Quando n = k, existe uma única função bijetora. Se n k, não existe função bijetora. 5. a) Sejam x e y elementos arbitrários de A tais que x y. Como f é injetora, f(x) f(y). E como g é injetora, g(f(x)) g(f(y)). Portanto, se x y, então g(f(x)) g(f(y)). Conclui-se que g f é injetora. b) Seja y C arbitrário. Como g é sobrejetora, existe z B tal que g(z) = y. E como f é sobrejetora, existe x A tal que f(x) = z, ou ainda, g(f(x)) = y. Logo, para todo y C existe x A tal que g(f(x)) = y. Portanto, g f é sobrejetora. c) Dos dois resultados acima segue-se que g f é bijetora. 6. Seja f : A B. Seja C = {b B f(a) = b para algum a A}. Seja a função sobrejetora g : A C tal que g(a) = f(a) para todo a A. Seja a função injetora h : C B tal que h(c) = c para todo c C. Então f = h g. 7. Como g f = f g, g(f(n)) = f(g(n)) para todo n R. Logo, c(an+b)+d = a(cn+d)+b, ou seja, acn + bc + d = acn + ad + b, ou ainda, bc + d = ad + b. Tem-se, então, que b(c 1) = d(a 1). 1.6 Conjuntos Enumeráveis 1. a) O conjunto X = {n N nmod 10 = 0} é enumerável, pois é um subconjunto de N. Uma função bijetora seria g : N X, tal que g(n) = 10n. b) O conjunto N 3 = {(n 1,n 2,n 3 ) n 1,n 2,n 3 N} é enumerável. Uma função bijetora seria h : N 3 N, tal que h(n 1,n 2,n 3 ) = f(f(n 1,n 2 ),n 3 ), onde f : N 2 N é tal que f(i,j) = (i+j)(i+j +1)/2+i. c) O conjunto W = {n R 0 < n < 1} não é enumerável, como será mostrado por contradição. Suponha que W é enumerável. Seja, então, r 0, r 1, r 2,...uma enumeração dos elementos de W. Será denotado por d i (r) o i-ésimo dígito após a vírgula da expansão decimal do número r de W. Por exemplo, d 1 (0,53) = 5, d 7 (0,53) = 0. Seja o número k entre 0 e 1 tal que d i (k) = d i (r i ) + 5mod 10 para i N. Tal número difere de qualquer r i no i-ésimo dígito após a vírgula. Logo k r i para i N. Contradição; W não é enumerável. 10

2. Suponha que tal conjunto seja enumerável. Então existe uma enumeração f 0,f 1,f 2,... de todas as funções de N para {0,1}. Seja a função g: N {0,1} tal que g(n) = 1 f n (n). Ora, g(n) f n (n) para todo n N, e, portanto, g f n para todo n N. Logo, a suposição da enumerabilidade das funções não se sustenta. 3. Suponha que tal conjunto seja enumerável. Então existe uma enumeração f 0,f 1,f 2,... de todas as funções de N para N monotônicas crescentes. Seja a função h: N N tal que h(n) = 1+ n k=0 f k (k). Veja que, como as funções f k são monotônicas crescentes, então f k (k) > 0 para k > 0. Assim, h, além de diferente de f n para todo n N. é monotônica crescente. Logo, a suposição da enumerabilidade das funções monotônicas crescentes é incorreta. 4. Seja um conjunto enumerável arbitrário A e suponhaque B A. Se B é finito, é contável, por definição. Suponha que B é infinito. Será mostrado que B é enumerável construindose uma função bijetora g : N B. Como A é enumerável, existe uma função bijetora f : N A; assim sendo, pode-se dizer que A = {f(k) k N}. A função g pode ser construída da seguinte forma: g(0) = f(m), onde m é o menor número natural tal que f(k) B; para i > 0, g(i) = f(k), onde k é o menor número natural tal que f(k) B e k > j, sendo j tal que g(i 1) = f(j). 5. Como todo subconjunto de conjunto enumerável é contável (questão 4), sabe-se que A B é contável. Como (A B) B = A B, basta mostrar que (A B) B é contável, sendo que (A B) B =. No caso em ambos A B e B são finitos, (A B) B é finito e, portanto, contável. No caso em que um deles é finito e o outro não, seja {a 0,a 1,...,a m } o conjunto finito e suponha que existe uma função bijetora f de N para o conjunto infinito. Então, pode-se construir uma função bijetora h : N A B, onde h(k) = a k para 0 k m e h(k) = f(k m 1) para k m + 1. Agora, se ambos A B e B são infinitos, sejam f : N A B e g : N B bijetoras. Então pode-se construir uma função bijetora h : N A B, onde h(2k) = f(k) e h(2k 1) = g(k) para k N. A interseção é subconjunto dos dois conjuntos. Logo é contável (questão 4). O produto de conjuntos finitos é finito. Se um dos conjuntos é finito e o outro não, seja {a 0,a 1,...,a m } o conjunto finito e suponha que existe uma função bijetora f de N para o conjunto infinito. Sem perda de generalidade, seja A o conjunto finito. Então, pode-se construir uma função bijetora h : A B N, onde h(i,j) = j(m+1)+i para 0 i m e j N. Se os dois conjuntos forem infinitos, sejam f : A N e g : B N bijetoras. A função h : A B N, onde h(f(a),g(b)) = (f(a)+g(b))(f(a) +g(b)+1)/2+f(a) é bijetora. 6. Seja F = n. A cardinalidade do conjunto das funções totais f : F E é igual à do conjunto E n : existe uma função bijetora que, a cada função f faz corresponder a n- upla (f(a 1 ),f(a 2 ),...,f(a n )), onde a 1, a 2,..., a n são os elementos de F. Como E n é enumerável, segue-se que o conjunto em questão é enumerável. 1.7 Definições Recursivas 1. Definição recursiva de f : N N, tal que f(n) = n k=1 k: a) f(1) = 1; 11

b) f(n) = f(n 1)+n para n > 1. 2. Seja um universo U. O número de elementos do conjunto potência de um conjunto finito de elementos de U, pode ser definido recursivamente assim: a) P( ) = 1; b) P(X {a}) = 2 P(X) para todo a U. 3. Definiçãorecursivadarepresentaçãodenúmerosbináriossemzerosàesquerda,r : N B, onde B é o conjunto das seqüências de dígitos binários: a) r(0) = 0, r(1) = 1; b) r(n) = r( n/2 )(n mod 2) para n > 1. Assim, por exemplo, r(5) = r(2)1 = r(1)01 = 101. 4. Definição recursiva da seqüência de Fibonacci: a) a 0 = 0 e a 1 = 1; b) a n = a n 2 +a n 1 para n 2. 5. Definição recursiva de multiplicação sobre N: a) m 0 = 0 para todo m N; b) m s(n) = m+(m n) para m,n N. 6. DefiniçãorecursivadeLP, semelhantealp,porémcomomissãoe/ouexcessodeparênteses: a) cada variável proposicional pertence a LP ; b) se α,β LP, então pertencem a LP : α, α β, α β, α β, α β e (α). 1.8 Indução Matemática 1. Só existe um conjunto de 0 elementos: ; e 2 0 = 1 = { } = P( ). Seja n 0. Suponha, como hipótese de indução, que P(A) = 2 n para conjuntos A de n elementos. Seja um conjunto B de n + 1 elementos e a um de seus elementos. Tem-se: P(B) = P(B {a}) {X {a} X P(B {a})}. Pela hipótese de indução, P(B {a}) = 2 n, e como P(B {a}) e {X {a} X P(B {a})} têm o mesmo número de elementos, P(B) = 2 n +2 n = 2 n+1. 2. a) 0 k=0 k 2 = 0 2 = 0 = 0(0 + 1)(2 0 + 1)/6. Seja n um número natural arbitrário. Suponha, comohipótese deindução, que n k=0 k 2 = n(n+1)(2n+1)/6. Basta provar, então, que n+1 k=0 k2 = (n+1)(n+2)(2n+3)/6. De fato: n+1 k=0 k2 = [ n k=0 k 2 ]+(n+1) 2 = [n(n+1)(2n+1)/6]+(n+1) 2 pela hipótese de indução = [n(n+1)(2n+1)+6(n+1) 2 ]/6 = (n+1)[n(2n+1)+6(n+1)]/6 = (n+1)(2n 2 +7n+6)/6 = (n+1)(n+2)(2n+3)/6. b) 0 k=0 k 3 = 0 3 = 0 = 0 2 = [0(0 + 1)/2] 2. Seja n 0 arbitrário. Suponha, como hipótese de indução, que n k=0 k 3 = [n(n + 1)/2] 2. Basta provar, então, que n+1 k=0 k3 = [(n+1)(n+2)/2] 2. De fato: 12

n+1 k=0 k3 = [ n k=0 k 3 ]+(n+1) 3 = [n(n+1)/2] 2 +(n+1) 3 pela hipótese de indução = [n 2 (n+1) 2 +4(n+1) 3 ]/4 = [(n+1) 2 (n 2 +4n+4)]/4 = [(n+1) 2 (n+2) 2 ]/4 = [(n+1)(n+2)/2] 2. c) Inicialmente, obsereve que: 2 2 0 1 = 2 0 1 = 1 1 = 0, que é divisível por 3. Seja n 0. Suponha, como hipótese de indução, que 2 2n 1 é divisível por 3. Então: 2 2(n+1) 1 = 2 2n+2 1 = 2 2n 2 2 1 = 4 2 2n 1 = 3 2 2n + 2 2n 1. Como 3 2 2n é divisível por 3 e, pela hipótese de indução, 2 2n 1 também é divisível por 3, segue-se que 2 2(n+1) 1 é divisível por 3. d) 0 3 0 = 0, que é divisível por 6. Seja n 0. Hipótese de indução: n 3 n é divisível por 6. Deve-se provar que (n + 1) 3 (n + 1) é divisível por 6. Tem-se: (n+1) 3 (n+1) = n 3 +3n 2 +3n+1 n 1= (n 3 n)+(3n 2 +3n) = (n 3 n)+3n(n+1). Como n(n+1) é sempre um número par, 3n(n+1) é divisível por 6. E como, pela hipótese de indução, n 3 n também é divisível por 6, segue-se que (n+1) 3 (n+1) é divisível por 6. e) 7 0 1 = 1 1 = 0, que é divisível por 6. Seja n 0. Suponha, como hipótese de indução, que 7 n 1 é divisível por 6. Tem-se: 7 n+1 1 = 7 n 1+6 7 n. Como 6 7 n é divisível por 6 e, pela hipótese de indução, 7 n 1 é divisível por 6, conclui-se que 7 n+1 1 é divisível por 6. 3. a) Tem-se: 1 k=1 [k(k+1)] = 1(1+1) = 2 = 1(2)(3)/3 = 1(1+1)(1+2)/3. Seja n 1. Suponha, como hipótese de indução, que n k=1 [k(k+1)] = n(n+1)(n+2)/3. Basta, então, provar que n+1 k=1 [k(k +1)] = (n+1)(n+2)(n+3)/3. De fato: n+1 k=1 [k(k +1)]= [ n k=1 k(k +1)]+(n+1)(n+2) = [n(n+1)(n+2)/3]+(n+1)(n+2) pela hipótese de indução = [n(n+1)(n+2)+3(n+1)(n+2)]/3 = (n+1)(n+2)(n+3)/3. b) 1 k=1 2 k = 2 1 = 2 = 2 1 = 2(2 1) = 2(2 1 1). Sejan 1. Suponha, como hipótese de indução, que n k=1 2 k = 2(2 n 1). Tem-se: n+1 k=1 2k = [ n k=1 2 k ]+2 n+1 = 2(2 n 1)+2 n+1, pela hipótese de indução. Logo, n+1 k=1 2k = 2 n+1 2+2 n+1 = 2(2 n+1 1), como requerido. c) Inicialmente, vejaque 1 k=1 [1/k(k+1)] = 1/(1+1). Sejan 1arbitrário, esuponha, como hipótese de indução, que n k=1 [1/k(k +1)] = n/(n+1). Então: n+1 k=1 [1/k(k +1)]= [ n k=1 [1/k(k +1)]]+1/(n+1)(n+2) = [n/(n+1)]+1/(n+1)(n+2) pela hipótese de indução = [n(n+2)+1]/[(n+1)(n+2)] = [n 2 +2n+1]/[(n+1)(n+2)] = (n+1) 2 /[(n+1)(n+2)] = (n+1)/(n+2). Logo, pelo princípio de indução, n k=1 [1/k(k +1)] = n/(n+1) para todo n 1. d) 1 3 +(1+1) 3 +(1+2) 3 = 1+8+27 = 36, queédivisível por9. Sejaumnúmeronaturaln arbitrário maior ou igual a 1. Suponha, como hipótese de indução, quen 3 +(n+1) 3 + (n+2) 3 é divisível por 9. Deve-se mostrar que (n+1) 3 +(n+2) 3 +(n+3) 3 é divisível por9. Tem-seque(n+1) 3 +(n+2) 3 +(n+3) 3 = (n+1) 3 +(n+2) 3 +n 3 +9n 2 +27n+27, 13

ou seja, (n+1) 3 +(n+2) 3 +(n+3) 3 = n 3 +(n+1) 3 +(n+2) 3 +9(n 2 +3n+3). Deduz-se, então, aplicando-se a hipótese de indução, que (n+1) 3 +(n+2) 3 +(n+3) 3 é divisível por 9. 4. Seja n um número natural arbitrário. Suponha, como hipótese, que para k < n. Serão considerados 3 casos: F(k) = 1 ( ) k ( ) k 1+ 5 1 5 5 2 2 Caso 1: n = 0. Neste caso, F(0) = 0 por definição, e (1/ 5)[((1 + 5)/2) 0 ((1 5)/2) 0 ] = 1 1 = 0. Caso 2: n = 1. Neste caso, F(1) = 1 por definição, e (1/ 5)[((1 + 5)/2) 1 ((1 5)/2) 1 ] = (1+ 5 1+ 5)/(2 5) = 1. Caso 3: n 2. Neste caso, F(n) = F(n 1) + F(n 2) por definição. Aplicando-se a hipótese de indução, obtém-se: F(n) = 1 ( ) n 1 ( ) n 1 1+ 5 1 5 + 1 ( ) n 2 ( ) n 2 1+ 5 1 5. 5 2 2 5 2 2 Assim, F(n) = 1 ( ) n 2 ( ) ( ) n 2 ( +1) 1+ 5 1+ 5 1 5 1 5 +1. 5 2 2 2 2 Verifica-se facilmente que: 1+ 5 2 ( ) 2 1+ 5 +1 = e 1 ( ) 2 5 1 5 +1 =. 2 2 2 Portanto, F(n) = 1 [( ) n 1+ 5 5 2 ( ) n ] 1 5. 2 5. Será usada indução forte sobre o número de conectivos. Assim, seja n 0, e suponha que o resultado valha para sentenças com menos de n conectivos. Deve-se provar, então, que o resultado vale para sentenças com n conectivos. Considera-se dois casos: (a) n = 0. Uma sentença sem conectivos é uma variável proposicional, e esta tem apenas dois prefixos: λ e ela mesma. Em ambos o número de abre e fecha parênteses é zero. (b) n > 0. Uma sentença com conectivos é da forma α ou (α β), onde {,,, }: i) α. Como α tem n 1 conectivos, o resultado vale para α, pela hipótese de indução. Segue-se que vale também para α, que não tem outros parênteses que os de α. ii) (α β). Como α e β têm menos de n conectivos, o resultado vale para ambos, pela hipótese de indução. Segue-se que o resultado vale também para α β. E o resultado continua valendo ao se colocar os parênteses externos. 14

1.9 Grafos 1. Isto segue do fato de que a soma dos graus dos vértices é par: em um grafo sem arestas tal soma é zero, e cada aresta acrescenta 2 unidades à soma. 2. Será feita uma prova por indução sobre o número de vértices. A menor árvore, que é da forma ({v},,v), tem um vértice e nenhuma aresta. Seja um número n 1 e suponha, como hipótese de indução, que a proposição é verdadeira para árvores com n vértices. Uma árvore com n+1 vértices é da forma (V {v},a {{v,v }},r), onde v V, v V e (V,A,r) é uma árvore de n vértices. Pela hipótese de indução, A = n 1, ou ainda, A +1 = (n+1) 1, o que mostra que a proposição vale para árvores de n+1 vértices, já que estas têm A +1 arestas. 3. Isto segue do fato de que a cada aresta introduzida no grafo, a soma dos graus dos vértices aumenta de 2 unidades. 4. O número de arestas de K n é C(n,2) = n(n+1)/2. 5. a) Uma árvore binária de altura 0 tem apenas 1 vértice e ele é folha; e 2 0 = 1. Seja n 0. Suponha,comohipótesedeindução, queárvoresbináriasdealturanpossuem, no máximo, 2 n folhas. Uma árvore binária B de altura n + 1 possue um máximo de folhas quando as duas subárvores da raiz possuem um máximo de folhas. Isto acontece quando ambas têm altura n. Assim, pela hipótese de indução, elas possuem 2 n folhas. Logo a árvore B tem 2 n +2 n = 2 n+1 folhas. b) Uma árvore binária de altura 0 tem apenas 1 vértice; e 2 0+1 1 = 1. Seja n 0. Suponha, como hipótese de indução, que árvores binárias de altura n possuem, no máximo, 2 n+1 1 vértices. Uma árvore binária B de altura n+1 possue um máximo de vértices quando as duas subárvores da raiz possuem um máximo de vértices. Isto acontece quando ambas têm altura n. Assim, pela hipótese de indução, elas possuem 2 n+1 1 vértices. Logo a árvore B tem os 2 n+1 1 vértices de cada uma mais a raiz: 2 n+1 1+2 n+1 1+1 = 2 2 n+1 +1 = 2 n+2 +1. 6. Será usada a definição de árvore do livro. (a) (b) Por indução sobre o número de vértices. Se a árvore tem 1 vértice não tem arestas. Logo, satisfaz (b). Seja n 1, e suponha que (b) vale para árvores de n vértices. Seja uma árvore A de n+1 vértices. Pela definição, tal árvore é formada de uma árvore de n vértices pela inclusão de um vértice novo e uma nova aresta. Como, pela hipótese de indução, (b) vale para árvore de n vértices, então continua valendo para A. (b) (c) Sendo o grafo acíclico, se existir um caminho simples de um vértice a outro, ele é único. Assim, basta mostrar a existência de caminho simples. Isto será feito por indução sobre o número de vértices. Se o grafo tem 1 vértice, existe caminho simples dele até ele mesmo. Seja n 1, e suponha que (c) vale para grafos (que satisfazem (b)) de n vértices ou menos. Seja Seja um grafo G de n + 1 vértices que satisfaça (b). Seja v um vértice arbitrário de G. Suponha que existam k vértices adjacentes a v, v 1, v 2,...,v k. Retirando-se as arestas {v,v 1 },..., {v,v k }, como o grafo é acíclico, obtém-se k+1 grafos (componentes) sem vértices em comum, k grafos em que estão os vértices v 1, v 2,...,v k, e um contendo apenas v. Pela hipótese de indução, (c) vale para cada um deles. Com a reinclusão de v e arestas incidentes, haverá também um caminho simples de cada vértice de cada um dos k+1 componentes a qualquer outro de outro componente, passando por v. 15

(c) (a) A prova será feita por indução sobre o número de vértices. Se o grafo tem 1 vértice, ele não tem aresta, pois existe um único caminho simples do vértice a ele mesmo. Seja n 1, e suponha que (a) vale para grafos (que satisfazem (c)) de n vértices ou menos. Seja Seja um grafo G de n + 1 vértices que satisfaça (c). Seja v um vértice arbitrário de G de grau 1; v existe, pois o conjunto de vértices é finito e, assim, partindose de qualquer vértice, um caminhamento qualquer deve terminar antes repetir um vértice; caso contrário, existiria mais de um caminho simples, contrariando (c). Removendo-se v e a aresta incidente, obtém-se um grafo que, pela hipótese de indução, é uma árvore. Adicionando-se v e a aresta incidente, obtém-se então uma árvore. 1.10 Linguagens Formais 1. O número de prefixos e o de sufixos é n + 1. O número máximo de subpalavras é 1 + C(n 1+2,2) = 1+C(n+1,2) = 1+(n+1)n/2; assim, o número de subpalavras vai de n+1 a 1+(n+1)n/2. 2. a) {1} {0}{0,1}. b) {0,1}({0,1} 2 ). c) {0} {0}{1}. d) {λ} {0}{10} {1}{01}. e) {xx x {0,1} }. 3. a) {0,1} 10. b) {0,1}{λ,0,1} 199. c) {01,1}{0,1} {00}. d) {1,011}. e) {1} ({0}{1} {0}{1} ) {0} {1}{0} ({1}{0} {1}{0} ). f) {0} {1}{0} {λ,1}{0} ({0,1} 3 ) 4. a) A(B C) (AB) (AC) Seja w Σ tal que w A(B C). Então existem x e y tais que w = xy, x A e y B C. No caso em que y B, segue-se que xy AB e no caso em que y C, segue-se que xy AC. Logo, xy = w (AB) (AC). (AB) (AC) A(B C) Seja w Σ tal que w (AB) (AC). Então w AB ou w AC. No primeiro caso, existem x e y tais que w = xy, x A e y B. Como y B D para qualquer linguagem D, segue-se que xy = w A(B C). No caso em que w AC, existem x e y tais que w = xy, x A e y C. Como y D C para qualquer linguagem D, segue-se que xy = w A(B C). Conclui-se, portanto, que w A(B C). b) Contra-exemplo: A = {λ,a}, B = {b}, C = {ab}. 5. Suponhaqueλ L. Nestecaso, λ L + e, portanto, L + {λ} = L +. ComoL = L + {λ}, segue-se que L = L +. Agora suponha que λ L. Então λ L +. Como L = L + {λ}, segue-se que L + = L {λ}. 6. L é finita se, e somente se, L = ou L = {λ}. 16

7. Uma condição necessária e suficiente para L = L R é: w L se, e somente se, w R L, para toda palavra w. Prova: ( ) Suponhaque L = L R. Seja w uma palavra arbitrária. Se w L, então, pela definição de reverso, w R L R ; e como L R = L, w R L. Por outro lado, se w R L, então, pela definição de reverso, (w R ) R = w L R ; e como L R = L, w L. Assim, para toda palavra w, w L se, e somente se, w R L. ( ) Suponha que w L se, e somente se, w R L, para toda palavra w. L L R, pois: se x L, então, pela suposição acima, x R L; e pela definição de reverso, (x R ) R = x L R. Por outro lado, L R L, pois: se x L R, da definição de reverso, tem-se que x R L (pois x = (x R ) R ); e pela suposição acima, x L. Conclui-se então que L = L R. 8. A prova será por indução sobre n. Para n = 0, tem-se: (w R ) 0 = λ = λ R = (w 0 ) R. Seja n 0 e suponha que (w R ) n = (w n ) R. Segue-se que: (w R ) n+1 = (w R ) n w R = (w n ) R w R, pela hipótese de indução. E como (w n ) R w R = (ww n ) R = (w n+1 ) R, segue-se que (w R ) n+1 = (w n+1 ) R. 9. L n N Ln. Por indução forte sobre w. Suponha, como hipótese de indução, que se w L então w n N Ln para palavras de tamanho menor que um certo k arbitrário. Para mostrar que isto vale também para palavras de tamanho k, considera-se dois casos: k = 0. A única palavra de tamanho 0 é λ, e λ n N Ln, pois L 0 = {λ}. k > 0. Seja w de tamanho k tal que w L. Pela definição de fecho de Kleene, pode-se dizer que w = xy, onde x L, y L e y λ. Pela hipótese de indução, x n N Ln. Segue-se que x L i para algum i N. Como y L, tem-se que xy L i+1. Portanto, w n N Ln. n N Ln L. Este resultado segue do fato de que para todo n 0, L n L, fato este que será provado por indução sobre n. Inicialmente, note que L 0 = {λ}, e λ L por definição. Seja n arbitrário e suponha que L n L. Como L n+1 = L n L, e, pela hipótese de indução, L n L, segue-se, pela definição de fecho de Kleene, que L n+1 L. 10. a) Seja w uma palavra arbitrária. Se w L, como λ L, segue-se que wλ = w L L. Para completar, será provado, por indução no tamanho de y que para quaisquer palavras x,y L, se xy L L então xy L. Inicialmente, veja que se x L, xλ = x L. Seja n 0 e suponha, como hipótese de indução, que se xy L L então xy L para palavras y de n ou menos símbolos. Seja y uma palavra arbitrária de L de n+1 símbolos e x L. Então, y = y 1 y 2, onde y 1 L e y 2 L, y 2 λ. Assim, dado que xy 1 L L, pela hipótes de indução xy 1 L. Como y 2 L, segue-se que (xy 1 )y 2 = xy L. b) Seja w uma palavra arbitrária. Se w L, como λ (L ), segue-se da definição de fecho de Kleene que λw (L ) L, ou seja, w (L ). Será provado, por indução no tamanho de w que para quaisquer palavras w (L ), w L. Inicialmente, veja que λ L. Seja n 0 e suponha, como hipótese de indução, que se x (L ) então x L para palavras x de n ou menos símbolos. Seja w uma palavra de n+1 símbolos. Suponha que w (L ). Então w = xy, onde x (L ) e y L, y λ. Como x n, segue-se pela hipótese de indução que x L. Assim, xy L L e, do resultado do item (a), segue-se que xy L. 17

c) Seja w uma palavra arbitrária. Se w (L 1 L 2 ), como λ L 1, segue-se que wλ = w (L 1 L 2 ) L 1. Será mostrado por indução no tamanho de y que para quaisquer palavras x (L 1 L 2 ) e y L 1, se xy (L 1 L 2 ) L 1 então xy (L 1 L 2 ). Inicialmente, observe que λ (L 1 L 2 ). Seja n 0 e suponha, como hipótese de indução, que se xy (L 1 L 2 ) L 1 então xy (L 1 L 2 ) para palavras y L 1 de n ou menos símbolos. Seja y L 1 uma palavra de n+1 símbolos; assim, y = y 1 y 2, onde y 1 L 1 e y 2 L 1, y 2 λ, e suponha que xy (L 1 L 2 ) L 1. Então xy 1 (L 1 L 2 ) L 1. Como y 1 n, segue-se pela hipótese de indução que xy 1 (L 1 L 2 ). Como y 2 L 1, y 2 L 1 L 2. Assim, (xy 1 )y 2 = w (L 1 L 2 ). d) (L 1 L 2 ) (L 1 L 2 ). Será provado, por indução no tamanho de w que para quaisquer palavras w (L 1 L 2 ), w (L 1 L 2 ). Tem-se: λ (L 1 L 2 ). Seja n 0 e suponha, como hipótese de indução, que z (L 1 L 2 ) para palavras z (L 1 L 2 ) de n ou menos símbolos. Seja w (L 1 L 2 ) de n + 1 símbolos. Então, w = xy, y λ, x (L 1 L 2 ) e y (L 1 L 2 ). Pela hipótese de indução, x (L 1 L 2 ). Se y L 1, então y L 1 e, como λ L 2, yλ = y L 1 L 2 ; logo, xy = w (L 1 L 2 ). Por outro lado, se y L 2, raciocínio análogo mostra que xy = w (L 1 L 2 ). (L 1 L 2 ) (L 1 L 2 ). Será provado, por indução no tamanho de w que para quaisquer palavras w (L 1 L 2 ), w (L 1 L 2 ). Tem-se: λ (L 1 L 2 ). Seja n 0 e suponha, como hipótese de indução, que z (L 1 L 2 ) para palavras z (L 1 L 2 ) de n ou menos símbolos. Seja w (L 1 L 2 ) de n+1 símbolos. Então, w = xy, y λ, x (L 1 L 2 ) e y L 1 L 2. Pela hipótese de indução, x (L 1 L 2 ). Sejam y 1 L 1 e y 2 L 2 tais que y = y 1 y 2. Então w = xy 1 y 2 (L 1 L 2 ) L 1 L 2. Aplicando-se o resultado do item (c) duas vezes, conclui-se que w (L 1 L 2 ). 11. L 1 = {λ,a}, L 2 = {a,aa}. 12. a) Definição recursiva de X = {0} {1} : λ X; se x X então 0x X e x1 X. b) Definição recursiva de Y = {0 n 1 n n N}: λ Y; se x Y então 0x1 Y. c) Definição recursiva de Z = {w {0,1} w contém 00}: 00 Z; se x Z então 0x,1x,x0,x1 Z. d) Definição recursiva de W = {0 0 10 1 10 2 1...0 n 1 n N}: 1,101 W; se x10 n 1 W então x10 n 10 n+1 1 W. 1.11 Gramáticas 1. Nas derivações abaixo estão grifadas as variáveis expandidas. a) A BB B λ. A BB B λ. 18

b) A BB 0B1B 01B 01. A BB 0B1B 0B1 01. A BB B0B1 0B1 01. A BB B0B1 B01 01. c) A BB 0B1B 01B 010B1 0101. A BB 0B1B 0B10B1 010B1 0101. A BB 0B1B 0B10B1 0B101 0101. A BB B0B1 0B10B1 010B1 0101. A BB B0B1 0B10B1 0B101 0101. A BB B0B1 B01 0B101 0101. d) A BB B 0B1 00B11 0011. A BB 0B1B 00B11B 0011B 0011. A BB 0B1B 00B11B 00B11 0011. A BB 0B1B 0B1 00B11 0011. A BB B 0B1 00B11 0011. A BB B0B1 0B1 00B11 0011. A BB B0B1 B00B11 00B11 0011. A BB B0B1 B00B11 B0011 0011. A linguagem gerada é {0 n 1 n n N} 2. 2. L(G ) = L(G). Cada palavra gerada por G, a gramática do Exemplo 49, pode ser gerada por uma derivação da forma: P aabc (regra 1) k aa k A(bC) k bc (regra 2, k vezes; k 0) aa k (bc) k bc (regra 3) a k+1 (bc) k 1 b 2 Cc (regra 4, 1 vez) 2 a k+1 (bc) k 2 b 3 C 2 c (regra 4, 2 vezes). k a k+1 b k+1 C k c k a k+1 b k+1 c k+1 (regra 4, k vezes) (regra 5, k vezes) Cada uma destas palavras pode ser gerada, por meio de G, como mostrado abaixo. O que está diferente está grifado. P aabd (regra 1) k aa k A(bC) k bd (regra 2, k vezes; k 0) aa k (bc) k bd (regra 3) a k+1 (bc) k 1 b 2 CD (regra 4, 1 vez) 2 a k+1 (bc) k 2 b 3 C 2 D (regra 4, 2 vezes). k a k+1 b k+1 C k D k a k+1 b k+1 Dc k k a k+1 b k+1 c k+1 (regra 4, k vezes) (regra 5, k vezes) (regra 6, 1 vez) 19

Note-se que uma derivação de uma palavra da linguagem gasta um passo a mais na gramática G : o último, que é usado para produzir o último c. Uma derivação em G que, usando a regra 6, substitua D por c antes da subsitituição de todos os Cs por cs, não leva a nenhuma palavra da linguagem. 3. a) P ai bp λ I ap bi b) X axb λ c) X axa bxb λ a b d) P A B λ A aba a B bab b e) P abpcd λ BC bc Ba ab Bb bb dc Cd cc cc 4. Para a gramática do item (b), observando-se o esquema: X k a k Xb k a k b k. vê-se que são gastos k+1 = (n/2)+1 passos. Para a gramática do item (c), se n = 0, é gasto 1 passo: X λ e se n > 0 são gastos k = n/2 +1 passos, pois Uma derivação começa assim: X k xxx R (regras 1 e 2, k vezes, k 0, x = x R = k). Em seguida, é aplicada uma das 3 últimas regras. Se for a regra λ, o número de passos é k = (n/2) +1, onde n = 2k. Se for uma das outras duas regras, o número de passos é k = [(n 1)/2]+1, onde n = 2k +1. 5. L(G) = {a} {b}. Prova: {a} {b} L(G). O seguinte esquema de derivação mostra que toda palavra da forma a i b j, para i,j 0, é gerada por G: A i a i A (regra A aa, i vezes, i 0) a i B (regra A B) j a i b j B (regra B bb, j vezes, j 0) a i b j (regra B λ) Como qualquer palavra gerada por G segue necessariamente este mesmo esquema de derivação, segue-se que L(G) {a} {b}. 20

1.12 Problemas de Decisão 1. a) Nada se pode dizer. X pode ser decidível ou não. b) X é decidível: para qualquer entrada x (para X), o algoritmo R produz uma saída y, a partir da qual um algoritmo para D obtém a resposta para x. c) X é indecidível: pelo item anteriror, se X fosse decidível, I seria decidível. d) Nada se pode dizer. X pode ser decidível ou não. 1.13 Exercícios 1. Segue uma definição recursiva de ˆv : LP {V,F}: a) ˆv(α) = v(α) para α VP; b) ˆv( α) = V se, e somente se, ˆv(α) = F; ˆv((α β)) = V se, e somente se, ˆv(α) = V e ˆv(β) = V; ˆv((α β)) = F se, e somente se, ˆv(α) = F e ˆv(β) = F; ˆv((α β)) = F se, e somente se, ˆv(α) = V e ˆv(β) = F; ˆv((α β)) = V se, e somente se, ˆv(α) = ˆv(β). 2. Basta substituir, indutivamente: α β por ( α β); α β por α β; α β por ( α β) (α β); xα por x α. 3. Por indução sobre n. Inicialmente, veja que (0 + 1) 2 0 2 = 1 > 0. Seja n um número natural arbitrário. Suponha, como hipótese deindução, queexiste k N tal que(k+1) 2 k 2 > n. Sejak 0 tal número. Como (k 0 +1) 2 k 2 0 = k2 0 +2k 0+1 k 2 0 = 2k 0+1, pelahipótese de indução, tem-se que 2k 0 +1 > n. Logo, 2k 0 +2 > n+1. E como (k 0 +2) 2 (k 0 +1) 2 = k 2 0 +4k 0+4 k 2 0 2k 0 1 = 3k 0 +3, segue-se que (k 0 +2) 2 (k 0 +1) 2 > n+1. Portanto, existe um número natural k tal que (k +1) 2 k 2 > n+1: k 0 +1 seria um tal número. 4. Deve-se provarqueexistem k,n 0 Ntais queparatodon n 0, 10n 2 +100n+1000 kn 2. Sejam k = 1110 e n 0 = 1. Será provado, por indução, que para todo n n 0, 10n 2 +100n+ 1000 kn 2 = 1110n 2. Inicialmente, veja que 10 1 2 +100 1+1000 = 1110 = 1110 1 2. Seja n um número natural arbitrário maior ou igual a 1, e suponha, como hipótese de indução, que 10n 2 +100n+1000 1110n 2. Segue-se que 10(n+1) 2 +100(n+1)+1000 = 10n 2 +20n+10+100n+100+1000 = (10n 2 +100n+1000)+20n+110. Pela hipótese de indução, (10n 2 +100n+1000)+20n+110 1110n 2 +20n+110. Como esta última é menor do que (1110n 2 +20n+110)+2200n+1000 e esta, por sua vez é igual a 1110n 2 + 2220n+1110 = 1110(n+1) 2, conclui-se que 10(n+1) 2 +100(n+1)+1000 < 1110(n+1) 2. Portanto, pelo princípio de indução, para todo n 1, 10n 2 +100n+1000 1110n 2. Já que existem k,n 0 N tais que para todo n n 0, 10n 2 +100n +1000 kn 2, conclui-se que 10n 2 +100n+1000 é O(n 2 ). Técnicas de provas utilizadas: construtiva para a existencial 2 vezes (quando se exibiu k = 1110 e n 0 = 1) e indução (para provar que para todo n n 0...). 21

5. A B = A + B A B. Prova: Cada elemento de A B e cada elemento de A B é contado uma vez em A, e cada elemento de B A e cada elemento de A B é contado uma vez em B. Assim, os elementos de A B são contados duas vezes em A + B, razão da subtração de A B. Generalizando: n i=1 A i = S 1 +S 2 + +S n, onde: S k = ( 1) k+1 A j1 A j2... A jk, para 1 k n. j 1 j 2 j k Para provar este resultado por indução, note inicialmente que 1 i=1 A i = A 1 = S 1. Seja n 1 arbitrário. Hipótese de indução: n i=1 A i = S 1 +S 2 + +S n, sendo S k definido como acima. Basta, agora, provar que n+1 i=1 A i = S 1 +S 2 + +S n+1, onde cada S k é como S k, só que cada j k pode ser também k + 1. Como n+1 i=1 A i = ( n i=1 A i) A n+1, tem-se, pelo resultado acima, que: n+1 i=1 A i = n i=1 A i + A n+1 ( n i=1 A i) A n+1. Pela hipótese de indução, segue-se que: n+1 i=1 A i = S 1 +S 2 + +S n + A n+1 ( n i=1 A i) A n+1. Como S 1 = S 1 + A n+1 e a interseção distribui sobre união: n+1 i=1 A i = S 1 +S 2 + +S n n i=1 (A i A n+1 ). Pela hipótese de indução, tem-se que: S k = ( 1)k+1 n+1 i=1 (A i A n+1 ) = S 1 +S 2 + +S n, onde: j 1 j 2 j k (A j1 A n+1 ) (A j2 A n+1 )... (A jk A n+1 ) para 1 k n. Ou ainda: S k = ( 1) k+1 A j1 A j2... A jk A n+1. j 1 j 2 j k Assim, como n+1 i=1 A i = S 1 +S 2 + +S n (S 1 +S 2 + +S n). e como S 2 S 1 = S 2, S 3 S 2 = S 3,..., S n S n 1 = S n, e S n = S n+1, conclui-se que n+1 i=1 A i = S 1 +S 2 + +S n +S n+1. 6. a) Seja X um elemento arbitrário de P(A) P(B). Então X P(A) ou X P(B). No primeiro caso, X A, e no segundo, X B. Em qualquer caso, X A B. Portanto, X P(A B). Conclui-se que P(A) P(B) P(A B). b) P(A) P(B) P(A B). Seja X um elemento arbitrário de P(A) P(B). Então X P(A) e X P(B); logo, X A e X B. Segue-se que X A B. Portanto, X P(A B). Conclui-se que P(A) P(B) P(A B). P(A B) P(A) P(B). Seja X um elemento arbitrário de P(A B). Então X A B; logo, X A e X B. Segue-se que X P(A) e X P(B). Portanto, X P(A) P(B). Conclui-se que P(A B) P(A) P(B). 22

7. a) A B (A B) (A B). Seja x A B. Então, por definição, x A B ou x B A. No primeiro caso, x A e x B; como x A, x A B, e como x B, x A B. Assim, x (A B) (A B). No segundo caso, procede-se de forma análoga para mostrar que também x (A B) (A B). (A B) (A B) A B. Seja x (A B) (A B). Segue-se que x A B e x A B. Caso 1: x A. Como x A B, x B. Assim, x A B. Caso 2: x B. Como x A B, x A. Assim, x B A. Portanto, x A B ou x B A, ou ainda, x (A B) (B A) = A B. b) A (B C) (A B) C. Seja x A (B C). Então, pela definição, x A (B C) ou x (B C) A. Caso 1: x A (B C). Então x A e x B C. Desta última, segue-se que x B C e x C B, ou seja, (I) x B ou x C e (II) x C ou x B. Por um lado, se x C, de (II) segue-se que x B; com isto, x A B e x B A; logo, x A B e, assim, x C A B. Por outro lado, se x C, de (I) segue-se x B; com isto, e como x A, x A B e, portanto, x A B; segue-se que x (A B) C. Como x C A B se x C, e x (A B) C se x C, conclui-se que x (A B) C. Caso 2: x (B C) A Então x B C e x A. Da primeira, Segue-se que x B e x C ou x C e x B. No caso em que x B e x C, x B A e, portanto, x A B; segue-se que x (A B) C e que x (A B) C. E no caso em que x C e x B, x A B e x B A; portanto, x A B; e assim, x C (A B), ou ainda, x (A B) C. (A B) C A (B C). Procede-se forma similar à acima. c) (A B) (B A) A B. Seja x (A B) (B A). Então x (A B) (B A) ou x (B A) (A B). No caso em que x (A B) (B A), x A B e, portanto, x A B. E no caso em que x (B A) (A B), x A B e, portanto, x A B. A B (A B) (B A). Seja x A B. Então x A B ou x B A. No primeiro caso, segue-se que x (A B) (B A), e no segundo segue-se que x (B A) (A B). Assim, em qualquer caso, x (A B) (B A). d) ( ) Suponha que A B = A e suponha que B. Seja, então b B. Se b A, então, como A B = A, b A B; mas isto é impossível, pois se b A, b B A e se b B, b A B. Assim, b A. Neste caso, b B A e, logo, b A B. Mas isto também nõ pode ser, já que A B = A. Conclui-se, portanto, que b não pode existir, e, assim, B =. ( ) Suponha que B =. Prova-se, primeiro, que A B A. Seja x A B. Com isto, x A B ou x B A. Como B =, este último caso é impossível. Assim, x A B. E como B =, x A. Portanto, A B A. Agora, prova-se que A A B. Seja x A. Como B =, x A B e, portanto, x A B. Logo, A A B. 23

e) A B = A B se, e somente se, B A, como provado abaixo. ( ) Suponha que A B = A B. Seja b B. Com isto, b A B. Supondo que b A, segue-se que b B A e, portanto, b A B. Isto não pode ser, visto que A B = A B. Assim, se b B, então b A. Portanto, B A. ( ) Suponha que B A. Se x A B, então x A B; logo A B A B. Assim, basta mostrar que A B A B. Seja x A B. Como B A, tem-se x B A; portanto, x A B. Logo, A B A B. 8. Seja uma relação R reflexiva e transitiva arbitrária. Será mostrado por indução que R n = R para todo n 1. R 1 = R, por definição. Seja n 1. Suponha, como hipótese de indução, que R n = R. Por definição, R n+1 = R n R, pois n+1 2. Pela hipótese de indução, R n = R. Assim, bastamostrarquer R = R. Mostra-se primeiroquer R R. Para isto, seja (x,y) R. Como R é reflexiva, (x,x) R. Logo, (x,y) R R. Portanto, R R R. Agora, mostra-se que R R R. Seja (x,y) R R; então existe z tal que (x,z) R e (z,y) R. Como R é transitiva, (x,y) R. Portanto, R R R. 9. Seja F : A A tal que f(a) = a C para todo a A, ondea C é um certo elemento da classe de equivalência a que pertence a. Tal elemento existe, visto que todo a A pertence a alguma classe de equivalência e classes de equivalência não são vazias. Qualquer elemento da classe de equivalência de a serve para ser a C, mas escolhido um, ele deve ser a única imagem para todos os componentes da classe. Uma função assim satisfaz os requisitos, como mostrado abaixo. ( ) Suponha que xry. Então x e y pertencem à mesma classe de equivalência C e, portanto, f(x) = x C = y C = f(y). ( ) Suponha que f(x) = f(y). Então f(x) e f(y) pertencem à mesma classe de equivalência. Portanto, xry. 10. [a], visto que R é reflexiva e, portanto, ara. Agora, mostra-se que as classes de equivalência são disjuntas, ou seja, dados a,b A, [a] = [b] ou [a] [b] =. Suponha que [a] [b], e seja x A tal que x [a] e x [b]. Seja y [a]. Então, ary e, por simetria, yra. Como arx, por transitividade, yrx. Como xrb, por transitividade, yrb. Por simetria, bry. Logo, y [b]. Como y é um elemento arbitrário de [a], [a] [b]. De form análoga, mostra-se [b] [a]. Falta mostrar que a A [a] = A. As classes de equivalência [a] só têm elementos de A. Assim, a A [a] A. Por outro lado, se x A, então existe uma classe de equivalência [x] por definição, o que mostra que A a A [a]. 11. a) f(a B) f(a) f(b). Seja x f(a B). Então, x = f(y) onde y A B. Se y A, segue-se que f(y) f(a) e se y B, f(y) f(b). Assim, x = f(y) f(a) f(b). f(a) f(b) f(a B). Seja x f(a) f(b). Então x f(a) ou x f(b). Se x f(a), então x = f(y), onde y A; se y A, y A B, e portanto x = f(y) f(a B). Da mesma forma, mostra-se que se x f(b), x f(a B). 24