Sei sulla pagina 1di 16

Nivelamento de Matemtica

Introduo Lgica Matemtica


Breno de Andrade Pinheiro Nri

Escola de Ps-Graduao em Economia


Fundao Getlio Vargas - Rio de Janeiro
5 de Janeiro de 2006
1 Introduo
O principal objetivo ser a investigao da validade de argumentos: conjunto
de enunciados dos quais um a concluso e os demais, premissas. Os argu-
mentos esto tradicionalmente divididos em indutivos e dedutivos:
1.1 Argumento Indutivo
A verdade das premissas no basta para assegurar a verdade da concluso.
Premissa: " comum aps a chuva car nublado."
Premissa: "Est chovendo."
Concluso: "Ficar nublado."
No trataremos do estudo desses argumentos neste curso, que tm um en-
foque probabilstico.
1.2 Argumento Dedutivo
vlido quando suas premissas, se verdadeiras, a concluso tambm ver-
dadeira.
Premissa: "Todo homem mortal."
Premissa: "Joo homem."
Concluso: "Joo mortal."
Esses argumentos sero objetos de estudo neste curso.
As premissas e a concluso de um argumento, formuladas em uma linguagem
estruturada, permitem que o argumento possa ter uma anlise lgica apropriada
para a vericao de sua validade. Tais tcnicas de anlise sero tratadas no
decorrer deste roteiro.

brenoneri@gmail.com www.fgv.br/aluno/bneri
1
2 Clculo Proposicional
Como primeira e indispensvel parte da Lgica Matemtica temos o clculo
proposicional, tambm chamado de clculo sentencial ou das sentenas.
Proposio uma sentena declarativa armativa (expresso de uma lin-
guagem) da qual tenha sentido armar que seja verdadeira ou que seja falsa.
Exemplos:
A lua quadrada;
A neve branca;
Matemtica uma cincia.
2.1 Smbolos no Clculo Proposicional
Variveis Proposicionais, Lgicas ou Booleanas: as proposies (fr-
mulas atmicas) so representadas por letras latinas minsculas (p, q, r, s, t, u,
v, w, x, y, z, ...). Exemplos:
A lua quadrada: p;
A neve branca: q.
Conectivos (ou Portas) Lgicos: as frmulas atmicas podem ser com-
binadas entre si e, para representar tais combinaes, usaremos os conectivos
lgicos:
: no;
.: e;
.: ou;
==: se ... ento;
==: se e somente se.
Exemplos:
A lua no quadrada: p;
A lua quadrada e a neve branca: p . q;
A lua quadrada ou a neve branca: p . q;
Se a lua quadrada ento a neve branca: p == q;
A lua quadrada se e somente se a neve branca: p == q.
Os conectivos obedecem a seguinte ordem de precedncia: , ., ., == e
==. Para conectivos identicos, tem precedncia o mais esquerda. Exemplos:
2
Se a lua quadrada e a neve branca ento a lua no quadrada: p. q ==
p;
p . q . r == p == q deve ser entendido como (p . (q . r) == p) == q.
Parnteses podem ser utilizados para modicar a ordem de operao dos
conectivos.
Frmulas, Expresses Lgicas ou Booleanas so representadas por
letras latinas maisculas (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, ...).
Denio:
(i) Toda frmula atmica uma frmula;
(ii) Se A e B so frmulas ento

A, A . B, A . B, A == B e A == B
tambm so frmulas;
(iii) So frmulas apenas as obtidas por (i) e (ii).
2.2 Axiomas Fundamentais
A lgica clssica governada por trs princpios que podem ser formulados como
segue:
Princpio da Identidade: Todo objeto idntico a si mesmo;
Princpio da Contradio: Dadas duas proposies contraditrias (uma
negao da outra), uma delas falsa;
Princpio do Terceiro Excludo: Dadas duas proposies contraditrias,
uma delas verdadeira.
Com base nesses princpios as proposies simples so ou verdadeiras ou
falsas, sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica
bivalente.
2.3 Tabelas-Verdade
Podemos ver uma expresso lgica como uma funo das proposies que apare-
cem em sua frmula, cujo contra-domnio o conjunto V, F. Como cada uma
das n proposies que so argumentos desta funo podem assumir V ou F, o
domnio o conjunto formado por n vezes o produto cartesiano do conjunto
V, F, V, F
n
, cuja cardinalidade #V, F
n
= 2
n
. Podemos ento repre-
sentar essa funo lgica ou booleana por uma tabela com 2
n
linhas, chamada
tabela-verdade. Como exemplo seguem as tabelas-verdade dos conectivos
lgicos:
p q p p . q p . q p == q p == q
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
(Tabela-Verdade 1)
3
3 lgebra Booleana
Geroge Boole (1815-1864) foi quem introduziu a hoje chamada lgebra booleana.
Mas antes de estudarmos lgebra booleana, precisamos entender o conceito de
lgebra abstrata, ou simplesmente lgebra.
3.1 lgebra
lgebra o estudo de conjuntos, cujos elementos so chamados de nmeros,
e de operaes denidas sobre os elementos desse conjunto. Engloba conceitos
mais especcos como grupos, anis, invariantes e cohomologia. A lgebra de
Boole , mais precisamente, um anel. Para entendermos o conceito de anel
precisamos do conceito de grupo.
3.1.1 Grupo
Um grupo um conjunto G, nito ou innito, onde denida uma operao
binria chamada de operao do grupo, que atende a quatro propriedades
fundamentais: fechamento, associatividade, identidade e inversa.
f dito uma operao binria em um conjunto G se f denida no
produto cartesiano de G com ele mesmo G e assume valores no prprio G,
f : GG G. Sejam a; b G, representamos o elemento em G que obtido
pela operao do grupo em a e b por ab.
1. Fechamento: \a; b G,ab G;
2. Associatividade: \a; b; c G; (ab) c = a (bc);
3. Identidade: existe um elemento identidade em G representado pelo sm-
bolo 1 tal que, para todo a G, 1a = a1 = a (1 G : a1 = 1a = a; \a G);
4. Inversa: \a G; a
1
G : aa
1
= a
1
a = 1.
Observaes:
Se vale apenas a propriedade 1, no temos um grupo mas um grupide;
se valem 1 e 2, temos um grupide associativo ou um semi-grupo;
um semi-grupo pode ser vazio;
se valem 1, 2 e 3, temos um monide;
um monide no pode ser vazio (pois possui o elemento 1), e portanto um
grupo no pode ser vazio;
um grupo unitrio chamado de grupo trivial;
um monide que possui a propriedade da comutatividade chamado de
monide comutativo;
um grupo comutativo chamado de grupo abeliano;
um grupo dito grupo nito se #(G) = n < e n chamado de ordem
do grupo;
4
um subconjunto do grupo que fechado sob a operao do grupo chamado
de sub-grupo (a grande maioria dos grupos so, na verdade, sub-grupos de
grupos maiores).
Exemplo de grupo nito: grupo cclico Z
4
.
3.1.2 Anel
Um anel um conjunto S com operadores binrios + e + chamados, respecti-
vamente, de adio e multiplicao, satisfazendo as seguintes propriedades:
1. Fechamento Aditivo: \a; b S; a +b S;
2. Associatividade Aditiva: \a; bc S; (a +b) +c = a + (b +c);
3. Comutatividade Aditiva: \a; b S; a +b = b +a;
4. Identidade Aditiva: 0 S : 0 +a = a + 0 = a; \a S;
5. Inversa Aditiva: \a S; a S : a + (a) = (a) +a = 0;
6. Distributividade Esquerda e Direita: \a; b; c S; a+(b +c) = (a + b) +
(a + c) e (b +c) + a = (b + a) + (c + a).
Anis podem atender a propriedades opcionais tais como:
7. Associatividade Multiplicativa: \a; bc S; (a + b) + c = a + (b + c);
8. Comutatividade Multiplicativa: \a; b S; a + b = b + a;
9. Identidade Multiplicativa: 1 S : 1 + a = a + 1 = a; \a S;
10. Inversa Multiplicativa: \a S; a
1
S : a + a
1
= a
1
+ a = 1.
Observaes:
Um anel satisfazendo as propriedades 7-10 chamado de campo (Exemplo:
conjunto dos nmeros reais com as operaes de adio e multiplicao usuais);
um anel satisfazendo apenas as propriedades 7, 9 e 10 chamado de campo
assimtrico.
Exemplo de anel que no satisfaz 8: o conjunto de todas as matrizes reais 22
com a adio e multiplicao usual de matrizes (note que este anel tampouco
satisfaz 10 e portanto no um campo assimtrico).
Exemplo de anel que no satisfaz 9: conjunto dos nmeros inteiros pares
com adio e multiplicao usuais.
Exemplo de anel que no satisfaz 10: conjunto dos nmeros inteiros com
adio e multiplicao usuais.
5
3.2 lgebra Booleana
A lgebra booleana, (B; +; +;), denida por um conjunto B = 0; 1, uma
operao binria de adio, +, uma operao binria de multiplicao, +, uma
operao unria ou singular, , denidas em B como descrito a seguir:
+ : 0; 1 0; 1 0; 1 : 0 + 0 = 0; 0 + 1 = 1; 1 + 0 = 1; 1 + 1 = 1.
+ : 0; 1 0; 1 0; 1 : 0 + 0 = 0; 0 + 1 = 0; 1 + 0 = 0; 1 + 1 = 1.
: 0; 1 0; 1 :

0 = 1;

1 = 0.
Como o conjunto B e as operaes + e + atendem s propriedades de 1 9
dos anis, a lgebra booleana um anel e por isso tambm conhecida como anel
booleano.
3.3 Formas Cannicas: minitermos e maxtermos
3.3.1 Problema de Prost
J vimos que toda expresso lgica podemos associar uma tabela-verdade
que a caracterize completamente. Ser que o oposto vale? Ou seja, para toda
tabela-verdade, existe uma expresso lgica (ou, equivalentemente, uma funo
booleana) que a represente? Essa pergunta foi colocada por Leon Prost (1888-
1995).
A resposta para essa questo : sim, dada uma tabela-verdade, sempre
podemos escrever uma funo booleana que a represente. Na verdade, sem-
pre podemos escrever innitas funes booleanas, distintas, que a repreente.
Em outras palavras, dada uma funo booleana, h innitas funes booleanas
distintas mas equivalentes entre si.
Para exemplicar este ponto, considere a tabela-verdade
p q r F (p; q; r)
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
; (Tabela-Verdade 2)
onde F uma funo das variveis lgicas p, q e r, e foi gerada aleatriamente.
Note que podemos representar F com as expresses distintas, mas equivalentes:
F = p q+ pqr+p qr+pq r; F = p q r+ p qr+p(qr + q r); F = p q r+ p qr+p (q +r) (qr).
Note que poderamos continuar manipulando F e escrev-la de muitas (innitas)
formas diferentes.
6
3.3.2 Formas Cannicas
Para resolver essa incovenincia, deniu-se duas formas cannicas - a soma de
minitermos (ou forma normal disjuntiva) e o produto de maxtermos (ou forma
normal conjuntiva) - nas quais uma expresso booleana unicamente represen-
tada pelas suas variveis lgicas. Para tanto:
substitui-se as operaes do tipo p == q por, por exemplo, p + q e as
operaes do tipo p == q por, por exemplo, pq + p q;
elimina-se as negaes que atuam em soma ou produtos utilizando as Leis
de De Morgan: (pq) = p + q e (p +q) = p q;
elimina-se as duplas negaes como, por exemplo, p por p;
modica-se o alcances dos conectivos substituindo p (q +r) por pq + pr
para a soma de minitermos (virtualmente a nica forma cannica utilizada
na prtica) ou substituindo p + qr por (p +q) (p +r) para o produto de
maxtermos;
utiliza-se as propriedades demonstradas no Exerccio 6 da 1
a
Lista de Ex-
erccios, ou fatos como p + p = 1 (para soma de minitermos) ou p p = 0
(para produto de maxtermos) para que todas as variveis apaream em
cada minitermo ou maxtermo, que so chamados de minitermos com-
pletos ou maxtermos completos
Note que igualdades como p + qr = (p +q) (p +r) no seriam vlidas em
lgebra usual de nmeros reais, e portanto as propriedades demonstradas no
Exerccio 6 da 1
a
Lista de Exerccios se mostram bastante teis na lgebra de
Boole.
Considerando a Tabela-Verdade 2 mais uma vez, observe que a forma cannica
tipo soma de minitermos completos seria F = p q r + p qr + pqr +p qr +pq r. Ob-
serve ainda que o nmero de minitermos completos igual ao nmero de vezes
em que a funo F assume o valor 1, e que, da uma tabela verdade, trivial
escrever a soma dos minitermos completos.
3.4 Mapas de Karnaugh
Infelizmente, a soma de minitermos completos no uma expresso tima
(no sentido de que no a expresso mais simples possvel), mas possvel
chegar, a partir dela, em uma forma tima e que , tambm, uma representao
nica, utilizando as Propriedades. A idia manter uma estrutura de soma
de minitermos, mas sem a exigncia de que cada termo contenha todas as var-
iveis. Por exemplo, na soma de minitermos completos da Tabela-Verdade 2,
F = p q r + p qr + pqr +p qr +pq r, podemos operar os dois primeiros minitermos
utilizando algumas das propriedades: p q r + p qr = p q ( r +r) = p q (1) = p q.
Obtemos ento uma expresso tima e nica (como soma de minitermos, mas
7
lembro que temos uma expresso tima e nica com produto de maxtermos)
para F: F = p q + pqr +p qr +pq r.
Assim como as tabelas-verdade nos ajudam a escrever a soma de minitermos
completos, podemos utilizar os mapas de Karnaugh, ou simplesmente mapas-
K, inroduzidos por Maurice Karnaugh por volta de 1950, para escrever a soma
de minitermos. Os mapas-K podem ser vistos como uma generalizao dos
Diagramas de Venn, utilizados em Teoria dos Conjuntos. Infelizmente, os mapas
de Karnaugh s so prticos para simplicar expresses de at quatro variveis,
pois com cinco ou mais variveis a "visualizao" das propriedades se torna
menos bvia.
Um mapa-K para n variveis possui 2
n
valores e h uma relao bijetiva
entre cada mapa-K, sua tabela-verdade e suas forma cannica completas ou
timas.
Exerccio Resolvido 1: dada a tabela-verdade (gerada aleatoriamente), es-
creva o mapa-K que a represente:
p q F
0 0 0
0 1 0
1 0 1
1 1 0
; (Tabela-Verdade 3)
p p
q 0 0
q 1 0
: (Mapa-K 1)
Exerccio Resolvido 2: dado o mapa-K (gerado aleatoriamente), escreva a
tabela-verdade que o represente:
p p p p
r 1 1 1 0
r 1 0 1 1
q q q q
; (Mapa-K 2)
p q r F
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
: (Tabela-Verdade 4)
Exerccio Resolvido 3: dado o mapa-K (gerado aleatoriamente), escreva a
8
soma de minitermos completa e a soma de minitermos tima:
p p p p
r 1 1 0 1 s
r 0 1 0 0 s
r 0 1 1 0 s
r 0 1 1 0 s
q q q q
; (Mapa-K 3)
F = pqrs +p qrs +p qr s +p q r s +p q rs + p q r s + p q rs + pqrs; (1)
ou, em soma de minitermos tima,
F = p q + q r +qrs: (2)
Os valores foram gerados aleatoriamente para nos lembrar que a resposta
ao Problema de Prost sim, ou seja, dada uma tabela-verdade qualquer (ou,
analogamente, dado um mapa-K qualquer), sempre h uma expresso que a (o)
represente. Ademais, em suas quatro formas cannicas, essa expresso nica.
Abaixo listo alguns (nem todos, observe que no h quadrados isolados,
tampouco h padres com 2 quadrados, e apenas os de 4 e 8 quadrados esto
listados) dos padres que iremos procurar em um mapa-K de quatro variveis
para escrever a expresso tima. Note que padres com apenas 1 quadrado
equivalem a um minitermo com as 4 variveis; padres com 2 quadrados, a
minitermos com 3 variveis; padres com 4 quadrados, a minitermos com 2
variveis; padres com 8 quadrados, a minitermos com 1 nica varivel; e, nal-
mente, padres com 16 quadrados (ou seja, todo o mapa-K) equivalem a uma
funo F = 1.
9
4 Aplicaes
4.1 Teoria dos Conjuntos
Podemos utilizar gelbra de Boole para resolver, de maneira fcil, exerccios
na Teoria dos Conjuntos. Para tanto, precisamos fazer uma bijeo entre as
operaes usuais entre conjuntos e as operaes da lgebra booleana.
Um conjunto A uma coleo de elementos de um determinado Universo
que satisfazem uma certa propriedade p, e o representamos como A :=
10
: atende p ou, de maneira mais simples, A := : p. Exem-
plo: conjunto dos nmeros inteiros que divisvel por 2: P := x Z : x = 2n; n N.
Podemos esquecer a propriedade x = 2n; n N e chamar isso de p, por exemplo.
Sejam os conjuntos A := : p e B := : q. Revisemos as
operaes entre conjuntos:
1. Complementao: {A := : p;
2. Interseo: A B := : pq, observe, portanto que AB = A {B;
3. Unio: A' B := : p +q.
Exemplo: Denamos a complementao de A com relao ao conjunto B
como sendo o conjunto formado por todos os elementos que esto em A mas
no esto em B (note que a complementao propriamente dita seria ento uma
complementao com relao ao Universo), e a representemos por AB. Vemos
que AB := A {B e portanto AB := : p q.
Exerccio Resolvido 4 (Bartle, Questo 1.4.a): A diferena simtrica entre
dois conjuntos A e B (por exemplo, os denidos acima) o conjunto D cujos
elementos pertecem a A ou a B mas no aos dois (ou seja, D := (A' B)
{ (A B), ou ainda, D :=
n
: (p +q) (pq)
o
). Mostre que D = (AB) '
(BA).
Resposta: (p +q) (pq) = (p +q) ( p + q) = p q + q p. Realmente ca trivial
utilizando lgebra booleana, no?
4.2 Circuitos Eltricos
Claude Elwood Shannon (1916-2001) utilizou, pela primeira vez, em seu tra-
balho A Symbolic Analysis of Relay and Switching Circuits, a lgebra booleana
para a simplicao e representao de circuitos com chaves eltricas que po-
dem estar ligadas (ou, de maneira mais tcnica, fechada) ou desligadas (abertas),
sendo representadas pelos valores booleanos 1 e 0, respectivamente.
1. Circuito com um interruptor p:
Passar corrente eltrica se a chave estiver fechada (p = 1), mas no
passar corrente se a chave estiver aberta (p = 0);
2. Circuito com dois interruptores p e q ligados em paralelo:
11
Passar corrente se ao menos uma das duas chaves estiver fechada (p +
q = 1), mas no passar corrente se ambas as chaves estiverem abertas
(p +q = 0);
3. Circuito com dois interruptores p e q ligados em srie:
Passar corrente se ambas as chaves estiverem fechadas (pq = 1), mas no
passar corrente se ao menos uma das duas chaves estiver aberta (pq = 0).
Exerccio Resolvido 5: Um comit tem 3 membros. Um projeto passa se e
somente se o presidente vota a favor e obtm maioria. Projete um circuito de
modo que cada membro vote a favor apertando um boto e tal que a luz se
acenda se o projeto for aprovado.
Resposta: Sendo p o boto do presidente e a e b os dos outros dois membros,
a tabela-verdade abaixo mostra quando a luz acender de acordo com os botes
p, a e b:
p a b luz
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
; (Tabela-Verdade 5)
a soma de minitermos pa +pb e o produto de maxtermos p (a +b).
4.3 Tcnicas de Demonstrao de Teoremas
Um teorema possui hiptese, P, (pode ser, e geralmente , um conjunto de
hipteses operadas com conectivos lgicos como o "no", o "e" e o "ou") que
implicam em uma concluso, Q. E pode ser representando como uma impli-
cao, == (ou, em alguns casos, uma dupla implicao, ==, que nada mais
que P == Q . Q == P, e neste caso dizemos que "vale a volta" ou que "o
converso verdade").
P == Q (3)
Considere a implicao (3). Se ocorre P, ento ocorre Q, ou seja, a ocorrncia
de P suciente para garantir a ocorrncia de Q, e por isso P chamado
de condio suciente. Note tambm que para P ocorrer necessrio que Q
12
tambm ocorra, seno a implicao estaria errada, e por isso Q chamado de
condio necessria, pois ela necessria para a ocorrncia de P. Vejamos um
exemplo colocado por Bartle para ilustrar:
Se sou de Chicago, ento sou de Illinois. (4)
Observe que ser de Chicago uma condio suciente para que seja de
Illinois. Por outro lado, necessrio ser de Illinois para poder ser de Chicago.
E neste caso, no vale a volta, ou o converso. dizer, no necessrio ser
de Chicago para ser de Illinois dado que posso ser de Springeld, a capital de
Illinois (onde mora o Holmer Simpson?). Tampouco podemos dizer que ser de
Illinois uma condio suciente para ser de Chicago, pois mais uma vez posso
ser de Springeld.
Se temos uma dupla implicao, ento ambas as condies so sucientes
e necessrias para a ocorrncia da outra. indiferente escrever P == Q e
Q == P.
Para a demonstrao de um teorema com a sua estrutura dada por uma dupla
implicao necessrio realizar duas provas, nominalmente: provar a "ida" E
provar a "volta". Portanto, sem perda de generalidade (essa expresso
muito usada em anlise) basta aprendermos a provar em um sentido.
4.3.1 Prova Direta
Imagine que no seja trivial provar o teorema P == Q mas que seja fcil mostrar
que P == R
1
, e que seja fcil mostrar que R
1
== R
2
, e assim sucessivamente
at obter R
n
== Q. Ento, pela Lei do Silogismo (vocs j demonstraram que
ela vale), est demonstrado que P == Q. Essa a prova direta.
Exerccio Resolvido 6 (Bartle, Teorema 1 do Apndice A): O quadrado de
um nmero mpar tambm mpar.
Resposta: Queremos mostrar que se
n mpar, (P)
ento
n
2
mpar. (Q)
Bom, se n mpar, ento
n = 2k 1; k Z; (R
1
)
n
2
= (2k 1)
2
; k Z; (R
2
)
n
2
= 4k
2
4k + 1; k Z; (R
3
)
n
2
=

4k
2
4k + 2

1; k Z; (R
4
)
n
2
= 2

2k
2
2k + 1

1; k Z; (R
5
)
mas sabemos que, como k Z, 2k
2
2k+1 tambm pertence a Z (se no parece
ser trivial, isso poderia ser provado anteriormente como um lema, que como
13
chamamos um pequeno teorema que provado para ser utilizado em um passo
na demonstrao de um teorema mais complexo), e podemos representlo por
m Z
n
2
= 2m1; m Z. (Q)
Ou seja, de fato, se n mpar, n
2
tambm o .
Q:E:D:
comum utilizar marcas para indicar o m de uma demonstrao. Os sinais
mais comumente utilizados so Q.E.D. (do latim quod erat demonstrandum)
ou seu equivalente em portugus C.Q.D. (como queria demonstrar). Utiliza-se
ainda marcas mais discretas como ou .
Infelizmente, provas diretas nem sempre so teis. Na verdade, as provas
indiretas - Prova por Contraposio e Prova por Contradio (ou reduo ao
absurdo) - so muito mais comuns na prtica.
4.3.2 Prova Contrapositiva
A prova por contraposio, talvez a mais aplicada no dia-a-dia, baseada na
equivalncia lgica entre P == Q e

Q ==

P (lembre-se que Q necessrio para
que P seja vlido e portanto se Q no vale, ento P tampouco vale.
Exerccio Resolvido 7 (Bartle, Teorema 3 do Apndice A): Seja a _ 0, a um
nmero real. Se, para todo " > 0 temos que 0 _ a < ", ento a = 0.
Resposta: Note que o teorema no nada trivial, talvez at surpreendente.
Bem, neguemos a concluso
a ,= 0; (

Q)
mas dado que a _ 0, logo
a > 0; (R
1
)
escolhamos "
0
=
a
2
> 0; ora, ento
"
0
< a; (

P)
ou seja, falso que \" > 0 temos que 0 _ a < ". Portanto, se \" > 0 temos que
0 _ a < ", ento a = 0.
Q:E:D:
Uma dica: a prova por contraposio muito til quando para teoremas
cuja hiptese seja do tipo "se para todo (\) objeto vale a propriedade, ento",
pois, quando negarmos Q, basta mostrar que "existe () um objeto tal que a
propriedade no vale" para falsear P. Pois, note, a negao do quanticador
universal "para todo (ou para qualquer)" (\) o quanticador existncial "ex-
iste" ().
O converso tambm verdade. Logo, se a concluso do teorema do tipo
"ento existe () um objeto tal que vale a propriedade", ento a prova direta
a mais indicada: basta apresentar um objeto. Mas veja que se o teorema diz
"ento existe um nico (!) objeto tal que vale a propriedade", ento no basta
provar a existncia, tem que demonstrar tambm a unicidade.
14
Demonstrar unicidade geralmente mais fcil por contradio. A demon-
strao comea com algo tipo: "Suponha, por contradio, que y ,= x tambm
satisfaa a propriedade p, ento ..." e voc tenta chegar em um absurdo, con-
clundo com um "Absurdo! E portanto x nico.".
Lio: fcil falsear "isso vale para todo objeto", pois basta apresenar um
objeto tal que a propriedade no vale, chamado de contra-exemplo.
4.3.3 Prova por Contradio (reductio ad absurdum)
A prova por reduo ao absurdo talvez a mais elegante e utilizada pelos
grandes matemticos da humanidade em famosas e clssias demonstraes. Ela
baseada na equivalncia lgica entre P == Q e

P . Q. Mas, por de De Mor-
gan,

P . Q ~

P .

Q

. Ou seja, se mostrarmos que P .



Q sempre falso (uma
contradio ou absurdo), ento est demonstrado que P == Q.
Exerccio Resolvido 8 (Bartle, Teorema 6 do Apndice A): (Euclides, Ele-
mentos, Livro IX, Proposio 20) Existem innitos nmeros primos.
Resposta: Nesse teorema no h hipteses (P), apenas a concluso (Q).
Suponha, por contradio, que h apenas n < nmeros primos: p
1
, p
2
,
..., p
n
. Seja m := p
1
p
2
p
2
o produto de todos os nmeros primos e seja
q := m + 1. Ento q > p
i
; \i = 1; ::; n, e portanto q , S, logo q no primo.
Ento j 1; 2; :::; n : p
j
divide q, mas p
j
tambm divide m e portanto divide
q m = 1. Absurdo! Ento existem innitos nmeros primos.
Q:E:D:
4.3.4 Prova por Induo Matemtica
A prova por induo til quando queremos demonstrar que uma certa pro-
priedade P () vlida para todos os nmeros naturais n maiores ou iguais
que um certo nmero natural n
0
denominado de base da induo. Ou seja,
quando queremos mostrar que vale P (n) ; \n N; n _ n
0
. A tcnica envolve
dois passos:
1. mostrar que a propriedade vale para a base da induo, ou seja, mostrar
que vlido P (n
0
);
2. mostrar que se a propriedade valer para um certo n = k; k N, ento vale
para n = k+1, ou seja, mostrar que P (k) == P (k + 1), o que chamado
de ponte da induo.
Exerccio Resolvido 9 (Bartle, Exerccio 1.2.7): Prove que 5
2n
1 divisvel
por 8, \n N.
Resposta: Ou seja, prove que
5
2n
1
8
um nmero inteiro. Como a questo
pede para mostrar que vlido para todo natural, ento a base da induo
n
0
= 1. Vamos executar os dois passos da prova por induo:
1. mostremos que
5
2n
1
8
um nmero inteiro quando n = 1: trivial,
5
2
1
8
=
25 1
8
= 3;
15
2. suposemos ento que a propriedade vlida para um k N, quer dizer,
vamos supor que
5
2k
1
8
= m Z; mas ento
5
2(k+1)
1
8
=
5
2k+2
25 + 24
8
=
5
2k
5
2
5
2
+ 24
8
=
5
2

5
2n
1

+ 24
8
= 5
2
m+3,
que inteiro, e portanto a propriedade vlida para k + 1.
Temos ento que
5
2n
1
8
Z; \n N.
Observe que no passo dois (a ponte da induo) ns no armamos que a
propriedade vale para um k N, ns apenas mostramos que se por acaso valer,
ento valer tambm para k + 1. Esse detalhe bem sutl mas fundamental
para a validade da prova.
5 Referncias Bibliogrcas
Abar, Celina, 2005. Noes de Lgica Matemtica. PUC-SP, www.pucsp.br/~logica.
Bartle, Robert G. e Donald R. Sherbert, 2000. Introduction to Real Analysis,
3
rd
Edition. John Wiley & Sons, Inc.
Editora Globo, 1987. Microcomputador: Curso Prtico. Vol 1 e 2.
Hyde, Randall, 2004. Art of Assembly Language Programming. Aldeia
NumaBoa, www.numaboa.com.br/informatica/assembly.
Nri, Breno, 2005. Teoria da Medida para Economistas. www.fgv.br/aluno/bneri.
Wolfram Research, 2005. Mathworld. www.mathworld.wolfram.com.
16

Potrebbero piacerti anche