Você está na página 1de 33

1.

LGICA E DEMONSTRAO
Neste capitulo, faremos uma reviso dos fundamentos da matemtica discreta, entre eles
a lgica, conjuntos e funes. As regras da lgica especificam o significado dos
enunciados matemticos. Por exemplo, estas regras nos ajudam a entender e raciocinar
enunciados como Existe um nmero inteiro que no a soma do quadrado de dois
nmeros inteiros ou Para todo inteiro positivo n, a soma dos inteiros positivos menor
ou igual a n n(n +1)2. A lgica a base de todo raciocnio matemtico com
aplicaes em inteligncia artificial, a programao computacional, as linguagens de
programao, etc.
Para entender matemticas devemos entender o que que constitui um argumento
matemtico correto, ou seja, uma demonstrao. As demonstraes so importantes no
somente em matemticas, tambm em vrios tpicos da cincia da computao como,
por exemplo, verificao de programas, anlise de algoritmos e sistemas de segurana.
1.1. Lgica
As regras da lgica fornecem um significado preciso aos enunciados
matemticos ou sentenas matemticas. Estas regras se usam para distinguir
entre argumentos vlidos e no vlidos.
Proposies: Uma proposio uma sentena declarativa que verdadeira ou
falsa, porem no ambas.
Exemplo 1: Todas as seguintes sentenas so proposies:
1. Bruxelas a capital da Unio Europeia.
2. Toronto a capital de Canada.
3. 1 +1 = 2.
4. 2 +2 = S.
As proposies 1 e 3 so verdadeiras, enquanto que a 2 e 4 so falsas.
Exemplo 2: Todas as seguintes sentenas no so proposies:
1. Que horas so?
2. L isto com ateno.
3. x +1 = 2.
4. x +y = z.
As sentenas 1 e 2 no so proposies porque no so declarativas. As
sentenas 3 e 4 no so proposies porque no so nem verdadeiras nem
falsas.
A rea da lgica que trata de proposies chamada de lgica proposicional.
Muitos enunciados matemticos se constroem combinando uma ou mais
proposies. As novas proposies, chamadas proposies compostas, se
formam a partir das existentes usando operadores lgicos.

Definio 1: Seja p uma proposio. O enunciado No se cumpre p outra
proposio chamada de negao de p. A negao de p se denota mediante -p
(tambm denotada por p).

Exemplo 3: Obtenha a negao do enunciado Hoje sexta feira.
1. No se cumpre que hoje sexta feira.
2. Hoje no sexta feira.
Obs.: De forma estrita, os enunciados relacionados com tempos variveis no
so proposies, a no ser que se assuma um tempo fixo.

Uma tabela de verdade mostra as relaes entre os valores de verdade das
proposies. A Tabela 1 mostra a tabela de verdade para a negao de uma
proposio p.

Tabela 1. Tabela de verdade para
a negao de uma proposio.
p -p
V F
F V

Definio 2: Sejam p e q proposies. A proposio p e q, denotada por pq,
a proposio que verdadeira quando p e q so verdadeiras e falsa em
qualquer outro caso. A proposio pq chamada de conjuno de p e q.

A tabela de verdade para pq mostrado na Tabela 2.

Tabela 2. Tabela de verdade para a conjuno de
duas proposies.
p q pq
V V V
V F F
F V F
F F F

Exemplo 4: Obtenha a conjuno das proposies p e q no caso em que p o
enunciado Hoje sexta feira e q Hoje chove.
1. Hoje sexta feira e hoje chove.

A proposio verdadeira as sextas feiras com chuva e falsa qualquer dia que
no seja sexta feira e as sextas feiras que no chove.

Definio 3: Sejam p e q proposies. A proposio p ou q, denotada por pq,
a proposio que falsa quando p e q so falsos e verdadeiro em qualquer
outro caso. A proposio pq chamada de disjuno de p e q.

A tabela de verdade para pq mostrado na Tabela 3.

Tabela 3. Tabela de verdade para a disjuno de
duas proposies.
p q pq
V V V
V F V
F V V
F F F

Uma disjuno verdadeira quando ao menos uma das proposies verdadeira.

Exemplo 5: Obtenha a disjuno das proposies p e q no caso em que p o
enunciado Hoje sexta feira e q Hoje chove.
1. Hoje sexta feira ou hoje chove.
Esta proposio verdadeira qualquer dia que seja sexta feira ou chova
(incluindo as sextas feiras que chove). somente falsa os dias que no so sexta
feira e no chove.

Definio 5: Sejam p e q proposies. A implicao p q a proposio que
falsa quando p verdadeira e q falsa e verdadeira em qualquer outro caso.
Nesta implicao p chamada hiptese (ou premissa) e q chamada de teses ou
concluso.

A tabela de verdade para a implicao p q mostrado na Tabela 5.

Tabela 5. Tabela de verdade para a implicao
p q.
p q p q
V V V
V F F
F V V
F F V

Uma forma til de entender o valor de verdade de uma implicao pensar em
uma obrigao ou contrato. Por exemplo, a promessa que muitos polticos fazem
para serem eleitos :
Se eu for eleito, diminuirei os impostos.
Somente quando o politico eleito e no diminui os impostos, podem seus
votantes dizer que o politico no cumpriu sua promessa eleitoral.

A continuao, mostramos mais exemplos de implicao:
1. Se hoje fizer sol, ento iremos para a praia.
2. Se hoje sexta feira, ento 2 +S = S.
3. Se hoje sexta feira, ento 2 +S = 6.

Definio 6: Sejam p e q proposies. A bicondicional p q a proposio
que verdadeira quando p e q tem os mesmos valores de verdade e falsa em
qualquer outro caso.
A tabela de verdade para p q mostrado na Tabela 6.
Tabela 6. Tabela de verdade para a bicondicional
p q.
p q p q
V V V
V F F
F V F
F F V

Observe que a bicondicional verdadeira quando as implicaes p q e q p
so verdadeiras. Por isso, a terminologia p se, e somente se, q se usa para a
bicondicional.

Exemplo 8: Seja p a sentena Voc pode tomar o voo e seja q a sentena
Compras um bilhete. Ento, p q o enunciado Voc pode tomar o voo se
e somente se compras um bilhete.
Esta proposio verdadeira se p e q so ambas verdadeiras ou falsas. falsa
quando p e q tem valores de verdade diferentes.

Considere a seguinte sentena Se terminas de comer a comida, podes comer a
sobremesa. Ela equivalente a Podes comer a sobremesa se e somente se
terminas de comer a comida. Devido a impreciso da linguagem natural,
devemos incluir o reciproco de uma sentena.

Precedncia de Operadores Lgicos

Podemos construir formulas usando o operador negao e os operadores lgicos
definidos anteriormente. Geralmente, vamos utilizar parnteses para especificar
a ordem em que devem aplicar-se os operadores lgicos numa formula. A Tabela
7 mostra os nveis de precedncia dos operadores lgicos.

Tabela 7. Precedncia dos
operadores lgicos.
Operador Precedncia
- 1
2
3
4
5

Por exemplo:
1. -pq denota (-p)q.
2. pqr denota (pq)r.
3. pq r denota (pq) r.

Traduo de Frases da Linguagem Natural

Uma das razoes para traduzir frases da linguagem natural a expresses com
variveis proposicionais e conectivos lgicos, a ambiguidade da linguagem
natural. Este processo chamado de formalizao.

Exemplo 9: Formalize a seguinte frase Voc pode ter acesso a internet dentro
do campus somente se estudas cincia da computao ou no eres aluno de
primeiro ano.
Utilizaremos variveis proposicionais para representar cada parte da frase e
determinar os conectivos lgicos apropriados entre eles. Seja
o: Voc pode ter acesso a internet dentro do campus
c: estudas cincia da computao
: eres aluno de primeiro ano

Considerando que somente se uma forma de expressar uma implicao, a
frase pode ser representada como o (c-).

Exemplo 10: Formalize a seguinte frase Voc no pode entrar na montanha
russa se tens altura menor que 1,20 m, a no ser que tenhas mais de 16 anos.

q: Voc pode entrar na montanha russa
r: tens altura menor que 1,20 m
s: tens mais de 16 anos

A frase pode ser formalizada como (r-s) -q.

1.2. Equivalncias Proposicionais

Na construo de argumentos matemticos se empregam com frequncia
mtodos que produzem proposies com o mesmo valor de verdade que uma
formula dada.

Definio 1: Uma formula que sempre verdadeira, no importa os valores de
verdade das proposies que a compem, se denomina tautologia. Uma formula
que sempre falsa se denomina contradio. Finalmente, uma proposio que
no uma tautologia nem uma contradio se denomina contingencia.

Exemplo 1: Considere as tabelas de verdade de p-p e p-p. Como p-p
sempre verdadeira uma tautologia. Como p-p sempre falso uma
contradio.

Equivalncias Lgicas

As formulas que tem os mesmos valores de verdade em todos os casos possveis
so chamados logicamente equivalentes.

Definio 2: Dizemos que as proposies p e q so logicamente equivalentes se
p q uma tautologia. A notao p q denota que p e q so logicamente
equivalentes.

O smbolo se usa as vezes no lugar de para denotar uma equivalncia
lgica.

Exemplo 2: Mostre que -(pq) e -p-q so logicamente equivalentes.

As tabelas de verdade para estas proposies se mostram na Tabela 2.

Tabela 2. Tabelas de verdade para -(pq) e -p-q.
p q pq -(pq) -p -q -p-q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

Como os valores de verdade das proposies -(pq) e -p-q correspondem
para todas as combinaes possveis de valores de verdade para p e q, ento
-(pq) -p-q uma taulologia e estas proposies so logicamente
equivalentes.

Exemplo 3: Mostre que as proposies p q e -pq so logicamente
equivalentes.

Exemplo 4: Mostre que as proposies p(qr) e (pq) (pr) so
logicamente equivalentes.





Tabela 4. Tabelas de verdade para p(qr) e (pq) (pr).

p q r qr p(qr) pq pr (pq) (pr)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F


As equivalncias logicas da Tabela 5, assim como outras que foram
estabelecidas (Tabelas 6 e 7), podem ser utilizadas para construir novas
equivalncias logicas. Numa formula, uma proposio pode ser substituda por
outra que seja logicamente equivalente sem mudar o valor de verdade da
formula.

Tabela 5. Equivalncias Logicas

Equivalncia Nome
pI p
pF p
Leis da identidade
pI I
pF F
Leis da dominao
pp p
pp p
Lei idempotente
-(-p) p
Lei da dupla negao
pq qp
pq qp
Leis da comutatividade
(pq)r p(qr)
(pq)r p(qr)
Leis da associatividade
p(qr) (pq)(pr)
p(qr) (pq)(pr)
Leis da distributividade
-(pq) -p-q
-(pq) -p-q
Leis de Morgan
p(pq) p
p(pq) p
Leis da absoro
p-p I
p-p F
Leis da negao






Tabela 6. Equivalncias logicas
relacionadas com implicaes
p q -pq
p q -q -p
pq -p q
pq -(p -q)
-(p q) p-q
(p q)(p r) p (qr)
(p r)(q r) (pq) r
(p q)(p r) p (qr)
(p r)(q r) (pq) r


Tabela 7. Equivalncias logicas
relacionadas com implicaes
p q (p q)(q p)
p q -p -q
p q (pq)(-p-q)
-(p q) p -q

Exemplo 5: Mostre que as proposies -(p(-pq)) e -p-q so
logicamente equivalentes.

Podemos utilizar uma tabela de verdade para mostrar que as proposies so
equivalentes. Em lugar disso, estabeleceremos a equivalncia utilizando
equivalncias logicas da Tabela 5.

-(p(-pq)) -p-(-pq) Segunda lei de Morgan
-p(-(-p)-q) Primeira lei de Morgan
-p(p-q) Lei da dupla negao
(-pp)(-p-q) Segunda lei da distributividade
F(-p-q) -pp F
(-p-q)F Lei da comutatividade da disjuno
(-p-q) Lei da identidade para F

Portanto, -(p(-pq)) e -p-q so logicamente equivalentes.



Exemplo 6: Mostre que (pq) (pq) uma tautologia.

Vamos mostrar que a proposio logicamente equivalente a I.

(pq) (pq) -(pq)(pq) Exemplo 3
(-p-q)(pq) Primeira lei de Morgan
(-pp)(-qq) Leis da associatividade e
comutatividade da disjuno
II Exemplo 1 e a lei da comutatividade
para a disjuno
I Lei da dominao

Portanto, (pq) (pq) uma tautologia.

1.3. Predicados e Quantificadores

Considere a seguinte sentena x > S . Ele no verdadeiro nem falso se no
se especifica o valor da varivel. A sentena x maior que 3 tem duas
partes. A primeira parte a varivel x chamada de sujeito. A segunda parte
maior que 3 chamada de predicado e faz referncia a uma propriedade que
pode ter o sujeito. Vamos denotar a sentena x maior que 3 por P(x), onde
P denota o predicado e x a varivel. Uma vez que se assigne um valor para a
varivel x, a sentena P(x) se torna numa proposio e tem um valor de
verdade.

Exemplo 1: Seja P(x) que denota a sentena x > S . Quais so os valores de
verdade de P(4) e P(2) ?

Quantificadores

A quantificao cria uma proposio a partir de uma funo proposicional.
Abordaremos dois tipos de quantificao, a saber, quantificao universal e
quantificao existencial.

Quantificador Universal

Muitas sentenas matemticas impem que uma propriedade seja verdadeira
para todos os valores de uma varivel num domnio particular. Tais sentenas
so expressas utilizando um quantificador universal. A quantificao universal
de uma funo proposicional a proposio que afirma que P(x) verdadeira
para todos os valores de x no domnio. O domnio especifica os possveis
valores da varivel x.


Definio 1: A quantificao universal de P(x) a proposio P(x)
verdadeira para todos os valores x do domnio.

A notao x : P(x) denota a quantificao universal de P(x).
Chamaremos o smbolo o quantificador universal. A proposio x
: P(x) se l como para todo x : P(x).

Um nmero natural um nmero inteiro no-negativo. O conjunto dos nmeros
naturais denotado pelo smbolo .
= {u, 1, 2, S, ]
denota o conjunto dos nmeros inteiros.

+
denota o conjunto dos nmeros inteiros positivos.
denota o conjunto dos nmeros racionais.
denota o conjunto dos nmeros reais.

Exemplo 5: Qual o valor de verdade da quantificao x : x +1 > x ?
Exemplo 6: Qual o valor de verdade da quantificao x : x < 2 ?
Exemplo 7: Qual o valor de verdade da quantificao n n 4: n
2
<
1u ?

Quantificador Existencial

Muitas sentenas matemticas afirmam que existe um elemento com alguma
propriedade. Tais sentenas se expressam atravs de quantificadores
existenciais. Com um quantificador existencial formamos uma proposio que
verdadeira se e somente se P(x) verdadeira para ao menos um valor x no
domnio.

Definio 2: A quantificao existencial de P(x) a proposio Existe um
elemento x no domnio tal que P(x) verdadeira.

Utilizamos a notao x : P(x) para a quantificao existencial de P(x). O
smbolo se denomina quantificador existencial. A quantificao existencial
x : P(x) se l como Existe um x que pertence a tal que P(x).

Exemplo 11: Qual o valor de verdade da quantificao x : x > S ?
Exemplo 12: Qual o valor de verdade da quantificao x : x = x +1 ?
Exemplo 11: Qual o valor de verdade da quantificao n n 4: n
2
>
1u?

Na Tabela 1 se resume o significado dos quantificadores universais e
existenciais.




Tabela 1. Quantificadores.
Sentena Quando verdadeira? Quando falsa?
x : P(x) P(x) verdadeira para
todo x
Existe um x tal que P(x) falsa
x : P(x) Existe um x tal que
P(x) verdadeira
P(x) falsa para todo x


Negaes de Quantificadores

Frequentemente se faz necessrio considerar a negao de uma expresso
quantificada. Por exemplo, considere a negao do enunciado Todos os
estudantes de GCC103 j fizeram uma disciplina de clculo.

Esta sentena uma quantificao universal da forma
x : P(x), onde P(x) a sentena x j fez uma disciplina de clculo. A
negao de esta sentena No se cumpre que todos os estudantes de GCC103
j fizeram uma disciplina de clculo. Isto equivalente a Existe pelo menos
um estudante de GCC103 que no fez uma disciplina de clculo. Isto a
quantificao existencial da negao da funo proposicional original, ou seja,
x : -P(x).

Este exemplo ilustra a seguinte equivalncia:

-x : P(x) x : -P(x).

De forma similar, podemos estabelecer a seguinte equivalncia:

-x : P(x) x : -P(x).

Exemplo 15: Quais so as negaes dos seguintes enunciados:
a. H um poltico honesto
b. Todos os americanos comem hambrguer

a. Todo poltico desonesto
b. Alguns americanos no comem hambrguer

Exemplo 16: Quais so as negaes das seguintes sentenas:
a. x : x
2
> x
b. x : x
2
= 2

Exemplo 17: Expresse a frase Todo estudante desta aula j fez clculo
utilizando predicados e quantificadores.

Para todo estudante desta aula, esse estudante j fez clculo.
Para todo estudante x desta aula, x j fez clculo.
x : C(x) onde consiste nos estudantes desta aula e C(x) o
predicado x j fez clculo.

Exemplo 18: Formalize as seguintes frases:
a. Algum estudante desta aula j visitou Mxico
b. Todo estudante desta aula j visitou Mxico ou Argentina

H um estudante nesta aula tal que esse estudante j visitou Mxico
H um estudante x nesta aula tal que x j visitou Mxico
x : H(x) onde consiste nos estudantes desta aula e H(x) o
predicado x j visitou Mxico.

Para todo estudante x desta aula, x j visitou Mxico ou x j visitou
Argentina.
x : H(x)A(x) onde consiste nos estudantes desta aula, H(x)
o predicado x j visitou Mxico e A(x) o predicado x j visitou
Argentina.

Exemplo 19: Considere as seguintes frases. As duas primeiras se denominam
premissas e a terceira se denomina concluso. O conjunto das trs se denomina
argumento.
a. Todos os lees so ferozes
b. Alguns lees no tomam caf
c. Algumas criaturas ferozes no tomam caf
Sejam P(x), (x) e R(x) os enunciados x um leo, x feroz e x toma
caf, respectivamente. Supondo que o domnio o conjunto de todas as
criaturas, expresse as sentenas do argumento utilizando quantificadores.

a. x : P(x) (x)
b. x : P(x)-R(x)
c. x : (x)-R(x)


1.4. Quantificadores Compostos

So quantificadores que se localizam dentro do alcance da aplicao de outros
quantificadores, como a sentena x y : x +y = u.

Exemplo 1: A sentena x y : x +y = y +x afirma que x +y =
y +x para todo par de nmeros reais x e y.
Exemplo 2: Traduz a sentena para a linguagem natural x y : x >
u y < u xy < u.

Para todo par de nmeros reais x e y, se x > u e y < u, ento xy < u.
Para os pares de nmeros reais x e y, se x positivo e y negativo,
ento xy negativo.
O produto de um nmero real positivo e um nmero real negativo um
nmero real negativo.

Exemplo 4: Traduz a sentena x y z : F(x, y)F(x, z)(y
z) -F(y, z) a linguagem natural, onde F(o, b) significa que o e b so
amigos e consiste em todos os estudantes da faculdade.

Os estudantes x e y so amigos, os estudantes x e z so amigos, y e z
no so a mesma pessoa, ento y e z no so amigos.
H um estudante x tal que para todos os estudantes y e todos os
estudantes z que so diferentes de y, se x e y so amigos e x e z
tambm so amigos, ento y e z no so amigos.
H um estudante tal que seus amigos no so amigos entre si.


1.5. Mtodos de Demonstrao

Duas questes importantes que aparecem no estudo das matemticas so:
1. Quando um argumento matemtico est correto?
2. Que mtodos se podem utilizar para construir argumentos matemticos?

Um teorema uma sentena que se pode verificar que verdadeira.
Demostramos que um teorema verdadeiro atravs de uma sequncia de
sentenas que constituem um argumento chamado demonstrao. Para
construir demonstraes precisamos de mtodos para derivar sentenas novas a
partir das conhecidas. As sentenas que se utilizam numa demonstrao podem
incluir axiomas ou postulados, hipteses do teorema ou teoremas demonstrados
previamente. As regras de inferncia, que so os meios usados para deduzir
concluses a partir de outras afirmaes, ligam os passos de uma demonstrao.

Um lema um teorema simples utilizado na demonstrao de outros teoremas.
Um corolrio uma proposio que se pode estabelecer diretamente a partir de
um teorema que j foi demonstrado. Uma conjectura uma sentena cujo valor
de verdade desconhecido. Quando se encontra uma demonstrao para uma
conjectura, ela se converte num teorema.

Regras de Inferncia

Estas regras justificam os passos dados para demonstrar que a partir de uma
serie de hipteses se obtm de forma logica uma concluso. A tautologia
(p(p q)) q a base da regra de inferncia chamada modus ponens. Esta
tautologia se escreve da seguinte forma:

p
p q
q

O smbolo denota Portanto. O modus ponens declara que se uma
implicao e sua hiptese so verdadeiras, ento a concluso desta implicao
verdadeira.

Exemplo 1: Suponha que a implicao se hoje nevar, iremos a esquiar e a
hiptese hoje esta nevando so verdadeiras. Ento, pelo modus ponens, segue
que a concluso iremos a esquiar verdadeira.

Exemplo 2: Suponha que a implicao se n maior que 3, ento n
2
maior
que 9 verdadeira. Portanto, se n maior que 3, pelo modus ponens, segue
que n
2
maior que 9.

A Tabela 1 mostra uma lista de regras de inferncia mais importantes.
















Tabela 1. Regras de inferncia.
Regra de
inferncia
Tautologia Nome
p
pq
p (pq) Adio
pq
p
(pq) p Simplificao
p
p q
q
(p(p q)) q Modus ponens
-q
p q
-p
(-q(p q)) -p Modus tollens
p q
q r
p r
((p q)(q r)) (p r) Silogismo hipottico
pq
-p
q
((pq)-p) q Silogismo disjuntivo



Exemplo 3: Qual a regra de inferncia na qual se baseia o seguinte
argumento: Agora estamos debaixo de zero graus. Portanto, estamos debaixo
de zero graus ou chove agora.

Seja p a proposio Agora estamos debaixo de zero graus e q chove agora.
Ento, este argumento da seguinte forma:
p
pq

Este argumento utiliza a regra da adio.

Exemplo 4: Qual a regra de inferncia na qual se baseia o seguinte
argumento: Estamos debaixo de zero graus e chove. Portanto, estamos debaixo
de zero graus.

Seja p a proposio Estamos debaixo de zero graus e q chove. Ento, este
argumento da seguinte forma:
pq
p
Este argumento utiliza a regra da simplificao.


Exemplo 5: Qual a regra de inferncia na qual se baseia o seguinte
argumento: Se hoje chove, ento hoje no faremos churrasco. Se hoje no
faremos um churrasco, faremos um churrasco amanha. Portanto, se hoje chove
ento faremos um churrasco amanha.

Seja p a proposio hoje chove, q hoje no faremos um churrasco e r
faremos um churrasco amanha. Ento, este argumento da seguinte forma:
p q
q r
p r

Este argumento utiliza a regra do silogismo hipottico.

Argumentos vlidos

Um argumento dedutivo correto se sempre que todas as hipteses so
verdadeiras, ento a concluso tambm verdadeira. Consequentemente,
mostrar que q se deduz logicamente das hipteses p
1
, p
2
, , p
n
o mesmo que
mostrar que a implicao (p
1
p
2
p
n
) q verdadeira. Quando todas as
proposies utilizadas num argumento correto so verdadeiras, se obtm uma
concluso correta. Porem, um argumento correto pode levar a uma concluso
incorreta se utilizamos uma ou mais proposies falsas no argumento. Por
exemplo

Se 2 >
1
2
ento (2)
2
> (
3
2
)
2
. Sabemos que 2 >
3
2
; portanto (2)
2
= 2 >
(
3
2
)
2
=
9
4


um argumento correto baseado no modus ponens. Porem, a concluso deste
argumento falsa. Utilizou-se no argumento a proposio falsa 2 >
3
2
.

Exemplo 6: Mostre as seguintes hipteses Esta tarde no faz sol e faz mais
frio que ontem, Iremos a nadar somente se faz sol, Se no vamos a nadar,
daremos um passeio em canoa e Se damos um passeio em canoa, estaremos
em casa de noite levam a concluso Estaremos em casa de noite.

Seja p a proposio Esta tarde faz sol, q a proposio faz mais frio que
ontem, r a proposio Iremos a nadar, s a proposio daremos um passeio
em canoa e t a proposio Estaremos em casa de noite. Ento, as hipteses
se podem expressar como -pq, r p, -r s e s t. A concluso t.



Vamos construir um argumento para mostrar que nossas hipteses levam a
concluso desejada como segue:

1. -pq Hipoteses
2. -p Simplificao usando o passo 1
3. r p Hipoteses
4. -r Modus tollens usando os passos 2 e 3
5. -r s Hipoteses
6. s Modus ponens usando os passos 4 e 5
7. s t Hipoteses
8. t Modus ponens usando os passos 6 e 7

Regras de inferncia para sentenas quantificadas
Estas regras de inferncia se usam com frequncia nos argumentos matemticos,
as vezes sem menciona-las explicitamente.
Particularizao universal a regra de inferncia que se utiliza para concluir
que P(c) verdadeira, onde c um elemento particular do domnio , dada a
premissa x : P(x). Utiliza-se a particularizao universal quando se conclui
da sentena Todas as mulheres so sabias que Maria sabia, onde Maria
um elemento do domnio de todas as mulheres.
Generalizao universal a regra de inferncia que declara que x : P(x)
verdadeira, dada a premissa de que P(c) verdadeiro para todos os elementos c
no domnio . Utilizamos a generalizao universal quando mostramos que
x : P(x) verdadeira tomando um elemento arbitrrio c do domnio e
mostrando que P(c) verdadeira.
Particularizao existencial a regra que nos permite concluir que existe um
elemento c no domnio tal que P(c) verdadeiro se sabemos que x
: P(x) verdadeiro. Geralmente, no temos conhecimento das propriedade de
c, somente que este existe.
Generalizao existencial a regra de inferncia que se utiliza para concluir
que x : P(x) verdadeiro quando se conhece um elemento particular c com
P(c) verdadeiro.
Resumimos estas regras de inferncia na Tabela 2.



Regra de inferncia
Nome
x : P(x)
P(c)
Particularizao
universal
P(c) paia um c aibitiiio
x : P(x)
Generalizao
universal
x : P(x)
P(c) paia algum elemento c
Particularizao
existencial
P(c) paia algum elemento c
x : P(x)
Generalizao
existencial

Exemplo 12: Mostre que as premissas Todo aluno da disciplina matemtica
discreta est matriculado em AED2 e Maria uma aluna de matemtica
discreta implica a concluso Maria esta matriculada em AED2.

Se H(x) denota x aluno da disciplina matemtica discreta, C(x) denota x
est matriculado em AED2 e denota o conjunto de alunos. Ento, as
premissas so x : H(x) C(x) e H(Naiia). A concluso C(Naiia).

Podemos utilizar os seguintes passos para estabelecer a concluso a partir das
premissas:

1. x : H(x) C(x) Premisa
2. H(Naiia) C(Naiia) Particularizao universal de 1
3. H(Naiia) Premisa
4. C(Naiia) Modus ponens usando 2 e 3

Exemplo 13: Mostre que as premissas Um estudante desta aula no h lido o
livro e Todo aluno nesta aula aprovou a primeira prova implica a concluso
Algum que aprovou a primeira prova no h lido o livro.

Se C(x) denota x desta aula, B(x) denota x h lido o livro, P(x) denota
x aprovou a primeira prova e denota o conjunto de alunos. As premissas so
x : C(x)-B(x) e x : C(x) P(x). A concluso x
: P(x)-B(x). Os seguintes passos estabelecem a concluso a partir das
premissas:

1. x : C(x)-B(x) Premisa
2. C(o)-B(o) Particularizao existencial de 1
3. C(o) Simplificao de 2
4. x : C(x) P(x) Premisa
5. C(o) P(o) Particularizao universal de 4
6. P(o) Modus ponens usando 3 e 5
7. -B(o) Simplificao de 2
8. P(o)-B(o) Conjuno de 6 e 7
9. x : P(x)-B(x) Generalizao existencial de 8


Mtodos para demonstrar Teoremas

Dado que muitos teoremas so implicaes, as tcnicas para demonstrar
implicaes so importantes. Lembre-se que quando se demonstra a sentena
p q somente falta demonstrar que q verdadeiro se p verdadeiro.

Demonstrao Direta

A implicao p q se pode demonstrar supondo que se p verdadeiro ento q
deve ser tambm verdadeiro. Para realizar este tipo de demonstrao, se supe
que p verdadeiro e se utilizam regras de inferncia e teoremas j
demonstrados para demonstrar que q deve ser tambm verdadeiro.

Definio 1: O inteiro n par se existe um inteiro k tal que n = 2k e mpar
se existe um inteiro k tal que n = 2k +1.

Exemplo 14: Mostre uma demonstrao direta do teorema Se n um inteiro
mpar, ento n
2
um inteiro mpar.

Supomos que a hiptese verdadeira, ou seja, n mpar.
Ento, n = 2k +1 para algum inteiro k.
Podemos escrever n
2
= 2(2k
2
+2k) +1, onde s = 2k
2
+2k um inteiro.
Por tanto, n
2
um nmero mpar.

Demonstrao Indireta

Como a implicao p q equivalente a -q -p, podemos demonstrar a
implicao p q demonstrando a implicao -q -p.

Exemplo 15: Mostre uma demonstrao indireta do teorema Se Sn +2
mpar, ento n mpar.

O teorema anterior equivalente a Se n par, ento Sn +2 par.
Supomos que a hiptese verdadeira, ou seja, n par.
Ento, n = 2k para algum inteiro k.
Podemos escrever Sn +2 = 2(Sk +1), onde s = Sk +1 um inteiro.
Logo, Sn +2 um nmero par.
Por tanto, demonstramos o teorema original.

Definio 2: O nmero racional r racional se existem dois inteiros p e q,
q u, tal que r = pq. Um nmero real que no racional se denomina
irracional.

Exemplo 18: Demonstre que a soma de dois nmeros racionais um nmero
racional.

Vamos tentar uma demonstrao direta.
Supomos que r e s so nmeros racionais.
Da def. 2, existem dois inteiros p e q, q u, tal que r = pq, e existem outros
dois inteiros t e u, u u, tal que s = tu.
Podemos escrever r +s =
p
q
+
t
u
=
pu+qt
qu
, onde pu +qt um inteiro e qu u.
Por tanto, r +s um nmero racional.

Exemplo 19: Demonstre que se n um inteiro e n
2
mpar, ento n mpar.

A demonstrao direta no fcil.
Vamos tentar uma demonstrao indireta.
A sentena anterior equivalente a Se n um inteiro e n par, ento n
2

par.
Supomos que a hiptese verdadeira, ou seja, n par.
Ento, n = 2k para algum inteiro k.
Podemos escrever n
2
= 4k
2
= 2(2k
2
), onde s = 2k
2
um inteiro.
Logo, n
2
um nmero par.
Por tanto, demonstramos a sentena original.

Demonstrao por Reduo ao Absurdo

A implicao p q equivalente a (p-q) r-r. Assim, para provar que
p q, basta provar que (p-q) r-r. Ou seja, em uma demonstrao por
reduo ao absurdo, supomos que a hiptese e a negao da concluso so
ambas verdadeiras e tentamos deduzir uma contradio.

Exemplo 21: Prove que 2 irracional mostrando uma demonstrao por
reduo ao absurdo.

Seja q a proposio 2 irracional.
Supomos que -q verdadeiro.
Ento 2 racional.
Da def. 2, existem dois inteiros o e b, b u, tal que 2 = ob, onde o e b no
tem fatores comuns.
Como 2 = ob ento 2 = o
2
b
2
.
Logo, 2b
2
= a
2
.
Como o
2
par, ento o par.
Ou seja, existe um inteiro c tal que o = 2c.
Assim, 2b
2
= 4c
2
. Simplificando, obtemos b
2
= 2c
2
.
Como b
2
par, ento b par.
Desta forma, os inteiros o e b tem um fator comum igual a 2.
Se r a sentena o e b so inteiros sem fatores comuns, ento -q r-r.
Por tanto, q verdadeiro, ou seja, 2 irracional.


Demonstrao por Casos (Exausto)

Para demonstrar uma implicao da forma (p
1
p
2
p
n
) q, podemos
utilizar a proposio equivalente (p
1
q)(p
2
q) (p
n
q)

Exemplo 23: Utilize uma demonstrao por casos para provar que |xy| =
|x||y|, onde x e y so nmeros reais.

Seja p denota x e y so nmeros reais e q denota |xy| = |x||y|. Observe
que p equivalente a p
1
p
2
p
3
p
4
, onde p
1
denota x u y u, p
2

denota x u y < u, p
3
denota x < u y u e p
4
denota x < u y <
u. Para demonstrar p q, devemos provar que p
1
q, p
2
q, p
3
q e
p
4
q.
Se x u y u, ento |xy| = xy = |x||y|. Logo, p
1
q.
Se x u y < u, ento |xy| = xy = x(y) = |x||y|. Logo, p
2
q.
Se x < u y u, ento |xy| = xy = (x)y = |x||y|. Logo, p
3
q.
Se x < u y < u, ento |xy| = xy = (x)(y) = |x||y|. Logo, p
4
q.

Por tanto, provamos que p q.

3. Raciocnio Matemtico, Induo e Recursividade

3.3. Induo Matemtica

Qual a soma dos n primeiros inteiros positivos mpares?

1 = 1
1 +S = 4
1 +S +S = 9
1 +S +S +7 = 16
1 +S +S +7 +9 = 2S

Pelos resultados anteriores, razovel supor que a soma dos n primeiros
inteiros positivos mpares n
2
. Se esta suposio correta para qualquer inteiro
n, ento necessitamos de um mtodo para demonstra-la.

Induo matemtica uma tcnica extremamente importante que podemos
utilizar para demonstrar sentenas desse tipo. Deve ficar claro que a induo
matemtica somente pode ser utilizada na demonstrao de resultados que
foram obtidos de alguma outra forma.

Muitos teoremas afirmam que P(n) verdadeira para todo n inteiro positivo,
onde P(n) uma funo proposicional ou predicado como, por exemplo, a
sentena 1 +2 +S ++n = n(n +1)2 ou n 2
n
. A induo matemtica
se utiliza para demonstrar proposies da forma n : P(n), onde o domnio
geralmente o conjunto dos inteiros positivos.

Uma demonstrao por induo de que P(n) verdadeira para todo n inteiro
positivo consiste em dois passos:

PASSO BASE: Mostramos que a proposio P(1) verdadeira.
PASSO DA INDUO: Mostramos que a implicao P(k) P(k +1)
verdadeira para todo k inteiro positivo.

A sentena P(k) se denomina hiptese de induo. Quando provamos os dois
passos de uma demonstrao por induo matemtica, provamos que P(n)
verdadeira para todo n inteiro positivo, ou seja, n
+
: P(n) verdadeira.
Este mtodo chamado de primeiro princpio de induo matemtica.

Exemplo 1: Utilize induo matemtica para demonstrar que a soma dos n
primeiros inteiros positivos mpares n
2
.

Seja P(n) a proposio que afirma a soma dos n primeiros inteiros positivos
mpares n
2
. Ou seja, P(n): 1 +S +S ++(2n 1) = n
2
.

PASSO BASE: P(1) afirma que 1 = 1
2
.
PASSO DA INDUO: Supomos que P(k) verdadeira para algum inteiro
positivo k, isto :
1 +S +S ++(2k 1) = k
2
.
Devemos provar que P(k +1) verdadeira, ou seja:
1 +S +S ++(2k 1) +(2k +1) = (k +1)
2
.
Se P(k) verdadeira, ento:
1 +S +S ++(2k 1) +(2k +1) = k
2
+(2k +1) = (k +1)
2
.
Assim, P(k +1) verdadeira.

Como P(1) verdadeira e P(k) P(k +1) tambm verdadeira para todo k
inteiro positivo, pelo princpio da induo matemtica conclumos que P(n)
verdadeira para todo n inteiro positivo.

Exemplo 2: Utilize o mtodo da induo matemtica para demonstrar que
n < 2
n
para todo inteiro positivo n.

Seja P(n): n < 2
n
.

PASSO BASE: P(1) afirma que 1 < 2
1
.
PASSO DA INDUO: Supomos que P(k) verdadeira para algum inteiro
positivo k, isto : k < 2
k
.

Devemos provar que P(k +1) verdadeira, ou seja:
k +1 < 2
k+1
.

Se P(k) verdadeira, ento:
k +1 < 2
k
+1.
Como 1 2
k
para todo inteiro positivo k, ento:
k +1 < 2
k
+1 2
k
+2
k
= 2. 2
k
= 2
k+1
.

Assim, P(k +1) verdadeira.

Por tanto, pelo princpio da induo matemtica conclumos que P(n)
verdadeira para todo n inteiro positivo.

Exemplo 3: Utilize o mtodo da induo matemtica para demonstrar que
n
3
n divisvel por S sempre que n seja um inteiro positivo.

Seja P(n) a proposio n
3
n divisvel por S.

Exemplo 4: Utilize o mtodo da induo para demonstrar que 1 +2
1
+2
2
+
+2
n
= 2
n+1
1 para todos os inteiros no negativos n.

Seja P(n): 1 +2
1
+2
2
++2
n
= 2
n+1
1.

PASSO BASE: P(u) afirma que 2
0
= 1 = 2
1
1.
PASSO DA INDUO: Supomos que P(k) verdadeira para algum inteiro
positivo k, isto : 1 +2
1
+2
2
++2
k
= 2
k+1
1.

Devemos provar que P(k +1) verdadeira, ou seja:
1 +2
1
+2
2
++2
k
+2
k+1
= 2
(k+1)+1
1 = 2
k+2
1.

Se P(k) verdadeira, ento:
1 +2
1
+2
2
++2
k
+2
k+1
= (2
k+1
1) +2
k+1
= 2. 2
k+1
1.
1 +2
1
+2
2
++2
k
+2
k+1
= 2
k+2
1.

Assim, P(k +1) verdadeira.

Por tanto, pelo princpio da induo matemtica conclumos que P(n)
verdadeira para todo n inteiro no negativo.


Induo Forte

H outra forma de induo matemtica que frequentemente se utiliza nas
demonstraes. Nesta forma usamos o mesmo passo base, porem muda o passo
da induo. Supomos que P(]) verdadeira para ] = 1, , k e baseando-nos
nesta suposio, demonstramos que P(k +1) deve ser tambm verdadeira. Este
mtodo conhecido como induo forte ou tambm chamado como o segundo
princpio da induo matemtica.

Os passos utilizados para demonstrar que P(n) verdadeira para todo inteiro
positivo n so:

PASSO BASE: Mostramos que a proposio P(1) verdadeira.
PASSO DA INDUO: Mostramos que a implicao
|P(1)P(2) P(k)] P(k +1) verdadeira para todo k inteiro positivo.

As duas formas de induo matemtica so equivalentes.

Exemplo 14: Mostre que se n um inteiro maior que 1, ento n se pode
escrever como o produto de nmeros primos.

Seja P(n) a proposio n se pode escrever como o produto de nmeros
primos.
PASSO BASE: P(2) afirma que 2 pode-se escrever como o produto de
nmeros primos. Isto verdade pois 2 = 1 2.

PASSO DA INDUO: Supomos que P(2) P(k) verdadeira para
algum inteiro positivo k 2.

Devemos provar que P(k +1) verdadeira.

Se P(2) P(k) verdadeira para k 2, ento:

Caso 1: Se k +1 primo
Ento, P(k +1) verdadeiro.

Caso 2: Se k +1 no primo
Ento, podemos escrever k +1 como o produto de dois inteiros, ou seja:
k +1 = ob tal que 2 o b < k +1.
Pela hiptese de induo, o e b se podem escrever como o produto de
nmeros primos. Assim, k +1 se pode escrever como o produto de
nmeros primos (isto , os primos da fatorao de o e b).

Assim, P(k +1) verdadeira.

Por tanto, pelo segundo princpio da induo matemtica conclumos que P(n)
verdadeira para todo inteiro positivo n > 1.

Exemplo 15: Prove que qualquer franquia postal maior ou igual a 12 centavos
pode ser obtida usando-se selos de 4 e S centavos.

Seja P(n) a proposio uma franquia postal de n centavos pode ser obtida
usando-se selos de 4 e S centavos.

Demonstrao utilizando o primeiro princpio da induo matemtica.

PASSO BASE: P(12) afirma que uma franquia postal de 12 centavos pode ser
obtida usando-se selos de 4 e S centavos Isto verdade considerando trs selos
de 4 centavos.

PASSO DA INDUO: Supomos que P(k) verdadeira para algum inteiro
positivo k 12, isto , uma franquia postal de k centavos pode ser obtida
usando-se selos de 4 e S centavos.

Devemos provar que P(k +1) verdadeira, ou seja, uma franquia postal de
k +1 centavos pode ser obtida usando-se selos de 4 e S centavos. .

Se P(k) verdadeira, ento:

Caso 1: Se foi utilizado ao menos um selo de 4 centavos
Ento, podemos trocar este selo por um selo de S para formar uma
franquia de k +1 centavos.

Caso 2: Se no foi utilizado nenhum selo de 4 centavos
Ento, a franquia de k centavos se formou usando somente selos de S
centavos. Como k 12, ento foi utilizado ao menos trs selos de S
centavos. Assim, se trocamos trs selos de S por quatro de 4, ento
formamos uma franquia de k +1 centavos.

Assim, P(k +1) verdadeira.

Por tanto, pelo primeiro princpio da induo matemtica conclumos que P(n)
verdadeira para todo inteiro positivo n 12.

Demonstrao utilizando o segundo princpio da induo matemtica.

PASSO BASE: As seguintes proposies so verdadeiras:
P(12): trs selos de 4.
P(1S): dois de 4 e um de S.
P(14): um de 4 e dois de S.
P(1S): trs de S.

PASSO DA INDUO: Supomos que P(12)P(1S) P(k) verdadeira
para algum inteiro positivo k 1S.

Devemos provar que P(k +1) verdadeira, ou seja, uma franquia postal de
k +1 centavos pode ser obtida usando-se selos de 4 e S centavos. .

Para formar uma franquia de k +1 centavos, podemos usar a franquia de k S
e um selo de 4 centavos.

Assim, P(k +1) verdadeira.

Por tanto, pelo segundo princpio da induo matemtica conclumos que P(n)
verdadeira para todo inteiro positivo n 12.


3.4. Definies Recorrentes

s vezes difcil definir objetos de forma explcita, porem pode ser simples se
o definimos em termos deles mesmos. Este processo se denomina recurso.

Podemos utilizar a recurso para definir sequncias, funes, conjuntos e
operaes. Por exemplo, a sequncia das potncias de 2 dada por I(n) = 2
n
,
para n = u, 1, 2, Porem, esta sequncia se pode definir tambm definindo o
primeiro termo da sequncia, I(u) = 1, e uma regra para obter um termo da
sequncia a partir da anterior, I(n +1) = 2I(n), para n = u, 1, 2,


Funes definidas recursivamente

Utilizamos dois passos para definir uma funo cujo domnio o conjunto dos
nmeros naturais .

PASSO BASE: Especificamos o valor da funo em zero.

PASSO RECURSIVO: Proporcionamos uma regra para obter seu valor num
inteiro a partir dos seus valores em inteiros menores.

Exemplo 1: Suponha que se define recursivamente como:

(u) = S
(n +1) = 2(n) +S

Calcule (1), (2), (S) e (4).

Exemplo 2: Determine uma definio recursiva da funo fatorial F(n) = n!

F(u) = 1
F(n +1) = (n +1)F(n)

Exemplo 2: Determine uma definio recursiva de o
n
, onde o um nmero
real no nulo e n um nmero natural.

Como o
0
= 1 e o
n+1
= oo
n
, ento:

(u) = 1
(n +1) = o(n)

uma definio recursiva de o
n
.

Definio 1: Os nmeros de Fibonacci, (u), (1), (2),, se definem
recursivamente da seguinte forma:

(u) = u
(1) = 1
(n) = (n 1) +(n 2) para n = 2, S, 4,


Exemplo 5: Calcule os nmeros de Fibonacci (2), (S), (4), (S) e (6).


Conjuntos definidos recursivamente

De forma similar a definio recursiva de funes, as definies recursivas de
conjuntos tm duas partes, um passo base e um passo recursivo. No passo
base se especifica uma coleo inicial de elementos. No passo recursivo se
proporcionam regras para a formao de novos elementos do conjunto a partir
dos que j se conhecem.

Exemplo 7: Considere o subconjunto S dos nmeros inteiros definidos por:

PASSO BASE: S S.
PASSO RECURSIVO: Se x S e y S, ento x +y S.

Exemplo 10: Podemos definir o conjunto de formulas bem definidas formadas
com variveis proposicionais, operadores lgicos do conjunto {-, , , , ] e
os valores I e F.

PASSO BASE: I, F e p, onde p uma varivel proposicional, so formulas
bem definidas.
PASSO RECURSIVO: Se E e F so formulas bem definidas, ento (-E),
(EF), (EF), (E F) e (E F) so formulas bem definidas.

Exemplo 11: Podemos definir de forma recursiva o conjunto das formulas bem
definidas formadas por variveis, nmeros e operadores do conjunto {+, ,
,, ^].

PASSO BASE: x uma formula bem definida se x um nmero ou uma
varivel.
PASSO RECURSIVO: Se F e 0 so formulas bem definidas, ento (F +0),
(F 0), (F 0), (F0) e (F^0) so formulas bem definidas.

Exemplo 12: Demonstre que o conjunto S definido no Exemplo 7 o conjunto
dos inteiros positivos mltiplos de S.

Seja A = {Sn | n 1] o conjunto dos inteiros positivos mltiplos de S. Para
demonstrar que A = S devemos provar que A um subconjunto de S e que S
um subconjunto de A.

Prova de A S
Seja a sentena P(n): Sn S. Devemos provar que P(n) verdadeira para todo
n 1.

PASSO BASE: P(1) afirma que S 1 = S S.
PASSO DA INDUO: Supomos que P(k) verdadeira para algum inteiro
positivo k, isto , Sk pertence a S.

Devemos provar que P(k +1) verdadeira, ou seja, provar que S(k +1) S.

Como Sk S e S S, da segunda parte da definio recursiva segue que
Sk +S = S(k +1) S. Assim, P(k +1) verdadeira.

Por tanto, pelo princpio da induo matemtica conclumos que P(n)
verdadeira para todo n 1.

Prova de S A

Para esta prova, vamos utilizar a definio recursiva de S.

O passo base da definio especifica que S S. Como S = S 1 ento S A.
Para completar a prova, devemos provar que todos os inteiros de S gerados
usando o passo recursivo pertencem ao conjunto A. Ou seja, considerando as
premissas:
Se x S ento x A
Se y S ento y A
Devemos provar que se x +y S ento x +y A.
Pelo passo recursivo, se x S e y S ento x +y S. Como x e y so
mltiplos de S ento x +y tambm mltiplo de S. Assim, x +y A.


6. Recorrncia
6.1 Relaes de Recorrncia

A regra que define um elemento em funo dos que lhe precedem se denomina
relao de recorrncia.

Definio 1: Uma relao de recorrncia para a sequncia {A(n) | n n
0
]
uma equao que determina o elemento A(n) em funo dos elementos
anteriores, isto , A(u), A(1), A(n 1), para todo inteiro n n
0
, onde n
0

um inteiro positivo. Uma sequncia uma soluo de uma relao de
recorrncia se seus elementos satisfazem a relao para todo inteiro positivo n.


Exemplo 2: Determine se a sequncia A(n) soluo da relao de recorrncia
A(n) = 2A(n 1) A(n 2) para n 2, onde A(n) = Sn para n 1.
Responda a mesma pergunta para as sequncias A(n) = 2
n
e A(n) = S.

Se A(n) = Sn, ento para n 2
2A(n 1) A(n 2) = 2(S(n 1)) S(n 2) = Sn = A(n).
Por tanto, a sequncia A(n) soluo da relao de recorrncia.

Se A(n) = 2
n
, ento A(u) = 1, A(1) = 2 e A(2) = 4. Para n = 2,
2A(1) A(u) = 2 2 1 = S A(2).
Por tanto, a sequncia A(n) no soluo da relao de recorrncia.

Se A(n) = S, ento para n 2
2A(n 1) A(n 2) = 2 S S = S = A(n).
Por tanto, a sequncia A(n) soluo da relao de recorrncia.

Exemplo 4: Um casal de coelhos recm-nascidos (um de cada sexo) solto
numa ilha. Os coelhos no podem ter descendncia at a idade de dois meses.
Com dois meses de idade, cada casal de coelhos tem como descendncia outro
casal de coelhos a cada ms. Determine uma relao de recorrncia para o
nmero de casais de coelhos que existir na ilha depois de n meses, supondo que
nenhum coelho morre.

Ms Casais
reprodutores
Casais
jovens
Total de
casais
1 0 1 1
2 0 1 1
3 1 1 2
4 1 2 3
5 2 3 5
6 3 5 8


Seja (n) o nmero de casais de coelhos que vivem na ilha depois de n meses.

A populao de coelhos pode ser modelada utilizando uma relao de
recorrncia. No final do primeiro ms, o nmero de casais de coelhos na ilha
(1) = 1. Como o casal no se reproduz durante o segundo ms, ento (2) =
1. Para calcular o nmero de casais depois de n meses, devemos somar o
nmero de casais de coelhos que tinha no ms anterior, (n 1), e o nmero de
casais que nascem durante esse ms, que (n 2), j que somente os coelhos
com dois meses ou mais podem reproduzir-se.



Por tanto, a sequncia (n) verifica a relao de recorrncia:
(n) = (n 1) +(n 2) para n S
junto com as condies iniciais (1) = 1 e (2) = 1.

A sequncia (n) a sequncia de Fibonacci.


Exemplo 5: [Torre de Hanoi] Considere trs barras montadas sobre uma base
junto com discos de diferentes tamanhos. No inicio do jogo, os discos se
colocam na primeira barra ordenados de maior a menor. As regras do jogo
permitem mover os discos de um em um para troca-los de barra, com a restrio
de que um disco nunca pode ser colocado encima de outro menor. O objetivo do
jogo colocar os discos na segunda barra, ordenados com o maior na base.

Seja E(n) o nmero de movimentos necessrios para resolver o problema da
Torre de Hanoi com n discos. Determine uma relao de recorrncia para a
sequncia E(n).








Iniciamos com n discos na primeira barra. Os n 1 discos superiores se podem
levar para a terceira barra, seguindo as regras do jogo, realizando E(n 1)
movimentos. Durante o processo anterior, o disco maior permaneceu no mesmo
lugar. A seguir, realizamos um movimento para coloca-lo na posio mais baixa
da segunda barra. Uma vez feito isto, com outros E(n 1) movimentos
podemos levar os n 1 da terceira barra para a segunda, colocando-os encima
do maior e terminando assim o jogo.

E(n) = 2E(n 1) +1

A condio inicial E(1) = 1, j que um nico disco se pode levar da primeira
barra para a segunda com um nico movimento.

Um procedimento iterativo nos mostra uma formula explcita para E(n).

E(n) = 2E(n 1) +1
E(n) = 2(2E(n 2) +1) +1 = 2
2
E(n 2) +2 +1
E(n) = 2
2
(2E(n S) +1) +2 +1 = 2
3
E(n S) +2
2
+2 +1

E(n) = 2
n-1
E(1) +2
n-2
+2
n-3
++2 +1
E(n) = 2
n-1
+2
n-2
+2
n-3
++2 +1
E(n) = 2
n
1

O mtodo iterativo nos proporciona a soluo da relao de recorrncia E(n) =
2E(n 1) +1 com a condio inicial E(1) = 1. A demonstrao de que esta
soluo correta pode ser feita utilizando o principio da induo matemtica.


6.2 Resoluo de relaes de recorrncia