Gilda de La Roque Palis e Iaci Malta PUC RJ Em sua autobiografia, Carl Gustav Jung1, um dos grandes pensadores da Psicanlise,

, lembrando de seus tempos de colgio, diz: o que mais me irritava era o princpio: se e se , ento . Tendo sido dado, por definio, que a diferente de b, por conseguinte no pode ser igual a b, e ainda menos de c. dizer que e parecia uma fraude evidente, uma mentira. Assim como Jung, muitos de nossos alunos ficam atordoados ao tomarem contato com a linguagem matemtica. Sentem-se como quem est participando de um jogo sem conhecer suas regras. As regras do jogo do raciocnio matemtico abstrato precisam ser aprendidas. Seu conhecimento de fundamental importncia para aprender Matemtica e para empregar resultados matemticos em aplicaes nas mais diversas reas cientficas e tecnolgicas. Publicaes de Educao Matemtica e professores experientes cada vez mais insistem em que essas regras sejam trabalhadas com os estudantes, quanto antes melhor. Por outro lado, importante desvincular o significado matemtico (que mais restrito) do significado de sentenas anlogas na linguagem do cotidiano. Como trabalhar essas regras e esses significados com nossos alunos, quando no necessrio, nem conveniente, nem possvel em geral, lanar mo da linguagem rigorosa da Lgica? Nossa opo com alunos ingressantes na Universidade tem sido a de trabalhar com exemplos escolhidos nas vrias reas da Matemtica. Essa experincia tem alcanado considervel xito. Neste artigo, a ttulo de sugesto de abordagem do tema, apresentamos exemplos de explicitao e utilizao de algumas dessas regras. Proposies do tipo se A, ento B Encontra-se com freqncia um tipo de proposio (sentena, frase) importante em Matemtica: as proposies da forma se A, ento B, onde A e B so frases, como nos exemplos a seguir: Proposio 1: Se m e n so inteiros pares, ento o produto mn um inteiro par. Proposio 2: Se m inteiro mpar, ento , para algum nmero inteiro k.

?SOSORIITNEM SODOT SOMOS ?SOSOR TNEM SODOT SOMOS ?SOSORIITNEM SODOT SOMOS ?SOSOR TNEM SODOT SOMOS
Na proposio 1, por exemplo, A a frase m e n so inteiros pares, e B a frase o produto mn 1

 um inteiro par. muito comum que, num tal contexto, a frase A seja chamada de hiptese da proposio e a concluso B de tese. Ao ler as proposies acima, um matemtico logo dir que a proposio 1 verdadeira e a proposio 2 falsa. Mas, o que significa isso? Eis aqui nossa primeira regra: Uma proposio Se A, ento B verdadeira quando em todas as situaes nas quais a hiptese se verifique a tese tambm esteja satisfeita. E falsa quando no for verdadeira. Conclumos que uma proposio falsa quando existe um objeto matemtico2 que satisfaz a hiptese A e no satisfaz a concluso B. Um tal objeto se diz contra-exemplo para a proposio se A, ento B. Por outro lado, um objeto matemtico que satisfaz a hiptese A e a tese B se diz um exemplo para a proposio se A, ento B. Em relao s proposies 1 e 2 anteriores, temos: A dupla de inteiros 6 e 8 um exemplo para a proposio 1, pois 6 e 8 so inteiros pares e seu produto 48 par. Essa proposio no admite contra-exemplo pois, como j adiantamos, ela uma proposio verdadeira, o que ser mostrado mais para frente. Ento qualquer dupla de inteiros pares um exemplo para a proposio 1;

O inteiro 19 um exemplo para a proposio 2, pois 19 mpar e , enquanto o inteiro 5 um contra-exemplo para essa proposio. Com efeito, a hiptese se verifica, pois 5 mpar, mas a concluso no vlida porque , qualquer que seja o inteiro k (ou seria esse inteiro k).

Mas, cuidado: Enquanto um s contra-exemplo permite concluir que um enunciado falso, no basta exibir exemplos para mostrar que uma proposio seja verdadeira. Esse um erro muito comum. Frequentemente, nossos estudantes examinam alguns casos e j concluem que a proposio verdadeira, sem atentar para a exigncia de que ela s se diz verdadeira se valer para todos os casos. Um bom exemplo para ilustrar o perigo de tal atitude dado pela proposio: Se n um inteiro positivo, ento Podemos verificar que para , No entanto, para , obtemos um nmero primo. , etc. at , tem-se que um nmero primo.

que no primo. Portanto a proposio falsa. Esse e outros casos esto no artigo Vale para 1, para 2, para 3, ... Vale sempre? (RPM 9, pg. 32). Ento, como mostrar que uma proposio do tipo Se A, ento B verdadeira? Antes de responder a essa questo, lembramos que proposies desse tipo podem ter outras formulaes equivalentes. Listamos as mais usuais:

na forma A implica B, abreviada, s vezes, pela notao A proposio ser chamado implicao). Se A for verdadeira, ento B ser verdadeira. Se A for vlida, ento B ser vlida. B verdadeira desde que A seja verdadeira. B verdadeira se A for verdadeira. A uma condio suficiente para B. B uma condio necessria para A. A ser verdadeira somente se B for verdadeira.

B (da o fato de esse tipo de

Todos esses enunciados querem dizer a mesma coisa. Ao dizer que todas essas sentenas so reformulaes de Se A, ento B, estamos dando convenes quanto ao uso da linguagem matemtica. Em particular, estamos explicitando os significados dos termos condio necessria, condio suficiente e somente se na linguagem matemtica. Alm disso, proposies implicativas podem estar formuladas sem o emprego da palavra Se. Observe que a proposio 1 pode ser reformulada das seguintes maneiras equivalentes: O produto de dois inteiros pares um inteiro par. Para toda dupla de inteiros pares m e n tem-se que seu produto mn par. O produto de inteiros mn par desde que m e n sejam inteiros pares. Para que o produto dos inteiros m e n seja par, suficiente que m e n sejam pares.

Diferentes modos de provar que uma proposio da forma Se A, ento B verdadeira No temos aqui a pretenso de estudar tcnicas de demonstrao de forma abrangente. Alm de essas habilidades s poderem ser tratadas adequadamente em nvel mais avanado, no se pode dizer que exista uma prtica uniforme, objetiva e bem estabelecida de demonstrao em Matemtica. Haja vista a recente discusso em torno de provas produzidas por computadores. Neste artigo, chamamos de prova ou demonstrao um argumento convincente escrito em linguagem matemtica. Para provar que uma proposio do tipo Se A, ento B verdadeira preciso mostrar, como vimos, que a tese verdadeira em todos os casos que satisfazem a hiptese. Os mtodos mais comuns para fazer essa prova so os seguintes: 1. Demonstrao direta: verificao direta da tese para todos os casos em que a hiptese vlida. 2. Demonstrao por meio de argumentos lgicos: por argumentao, verifica-se que a tese vlida para os casos que satisfazem a hiptese. 3. Demonstrao por contradio (ou por absurdo): verificao de que a presena de um contra-exemplo conduz a um absurdo. A seguir, apresentamos alguns exemplos:

Demonstrao direta Exemplo 1: Se , ento n um nmero primo uma proposio verdadeira.

Nesse caso, em se tratando de um nmero finito e pequeno de casos possveis, basta examin-los um a um. Como todos os inteiros 3, 17, 31, 19 so primos, a proposio verdadeira.

Demonstrao por meio de argumentos lgicos Exemplo 2: Voltemos proposio 1: Se m e n so inteiros pares, ento o produto mn um inteiro par para mostrar que uma proposio verdadeira. Desta vez no d para examinar todos os casos um a um pois h infinitos deles. Assim mesmo possvel verificar que a tese verdadeira em todos os casos que satisfazem a hiptese, escrevendo: e , onde k e j o inteiros. Fazendo o produto, obtemos , que par. Logo, a proposio 4

verdadeira. assume somente valores negativos uma proposio verdadeira. A tendncia de nossos estudantes num caso como esse a de verificar que os valores da funo so negativos para alguns valores de x, o que no uma demonstrao de que a proposio verdadeira. preciso mostrar que a funo negativa para todos os nmeros reais positivos.

Demonstrao por contradio (ou por absurdo) Esse mtodo bastante utilizado no caso de proposies cuja verdade ou falsidade queremos determinar e no conseguimos mostrar que a tese satisfeita em todas as situaes nas quais a hiptese se verifica, nem conseguimos produzir um contra-exemplo. Exemplo 4: Se n um inteiro e par, ento n par uma proposio verdadeira.

Seja n um inteiro, tal que par. Suponhamos que n no seja par, isto , que n mpar. Ento , onde k um inteiro e . Temos ento que mpar, contradizendo o fato de ser par. Logo a proposio verdadeira. Exemplo 5: As funes polinomiais um zero comum uma proposio verdadeira. e no tm

Observe que essa proposio pode tambm ser escrita da seguinte forma: Sejam e . Se e , ento .

Uma demonstrao direta de que essa proposio verdadeira consiste em calcular os zeros das funes f e g, e verificar que nenhum dos zeros de f tambm um zero de g. A demonstrao alternativa que sugerimos a seguir por absurdo e bem mais compacta. Suponhamos que a proposio falsa, ou seja, que as funes dadas tm um zero comum, que denotaremos por a. Ento ou , ou , nem de .

e da, , o que uma contradio, pois 0 no soluo nem de Logo a proposio dada verdadeira.

Observe que demonstraes por contradio (ou por absurdo) podem ser detectadas por apresentarem no seu incio frases como Suponhamos que a proposio seja falsa (isto , admite 5

contra-exemplo), e, ao final, sentenas como absurdo), logo a proposio verdadeira.

e assim chegamos a uma contradio (ou

Exemplo 6: Se h n pessoas em uma festa, ento h pelo menos duas pessoas que tm o mesmo nmero de amigos na festa. uma proposio verdadeira3. Inicialmente observe que uma pessoa qualquer na festa pode ter ou amigos presentes. Ou seja, h n possibilidades quanto ao nmero de amigos que uma pessoa pode ter na festa. Supondo, por absurdo, que nenhum par de pessoas na festa tem o mesmo nmero de amigos presentes, cada pessoa ter um nmero diferente de amigos na festa, isso significa que uma pessoa que chamaremos de tem 0 amigo na festa, uma pessoa tem 1 amigo na festa, uma pessoa tem 2 amigos na festa, etc., at que finalmente uma pessoa tem amigos na festa. A pessoa , que tem amigos na festa, ento amiga de todas as outras pessoas presentes, isto , de e . Chegamos assim a um absurdo, pois amiga de , que no tem amigos na festa. Logo a proposio verdadeira. Observao 1: Quando no existe objeto satisfazendo a hiptese A, a proposio Se A, ento B se diz verdadeira (por vacuidade). Nesse caso, um contra-exemplo seria um elemento no conjunto vazio e esse seria o absurdo. Esse tipo de verificao tambm chamado implicao vazia. o que se d no exemplo a seguir. Exemplo 7: O conjunto vazio subconjunto de qualquer conjunto, que pode ser traduzido como: Se , ento A. Observao 2: H demonstraes em que vrias implicaes so empregadas em cadeia. Assim, uma demonstrao de que A implica B pode ser realizada atravs de uma cadeia de proposies como as seguintes: A implica C, C implica D e D implica B.

Recproca da proposio Se A, ento B Dada uma proposio primeira. Se A, ento B, a sentena Se B, ento A chamada recproca da

claro que a recproca da recproca de uma proposio ela prpria, da falarmos tambm de duas proposies recprocas. Embora ligando as mesmas frases, como a hiptese de uma vira tese de outra e vice-versa, uma proposio e sua recproca podem no ter a mesma natureza: uma pode ser verdadeira e a outra,

falsa; ambas podem ser verdadeiras ou ambas podem ser falsas. Exemplo 8: A recproca da proposio 1 a proposio Se o produto mn de dois inteiros par, ento cada um dos inteiros m, n par. Embora a proposio 1 seja verdadeira, sua recproca falsa, como se v com o contra-exemplo e . Exemplo 9: A recproca da proposio Se m e n so inteiros mpares, ento o produto mn mpar a proposio Se o produto mn de dois inteiros mpar, ento cada um dos inteiros m, n mpar. Deixamos a cargo do leitor verificar que ambas as proposies so verdadeiras.

Proposies do tipo A se, e somente se, B Se quisermos considerar simultaneamente a proposio Se A, ento B e sua recproca Se B, ento A, usamos a frase A se, e somente se, B. Proposies desse tipo podem ser formuladas de vrias outras maneiras, dentre elas:

A implica B e reciprocamente, abreviada s vezes pela notao A B; Se A, ento B e reciprocamente; A verdadeira se, e somente se, B for verdadeira; A uma condio necessria e suficiente para B; A e B so proposies equivalentes.

E eis aqui uma outra regra: Uma proposio do tipo A se, e somente se, B verdadeira quando Se A, ento B e Se B, ento A so ambas verdadeiras. Caso contrrio falsa. Pelo exemplo 9 anterior, v-se que a proposio O produto mn de dois inteiros mpar se, e somente se, cada um dos inteiros m, n mpar verdadeira. O exemplo 8 mostra que a proposio O produto mn de dois inteiros par se, e somente se,

cada um dos inteiros m, n par falsa, embora seja vlida num dos sentidos. Negao de uma proposio Para o iniciante nem sempre fcil negar uma proposio. No entanto, saber enunciar a negao de uma proposio frequentemente til em demonstraes. Designamos a negao de uma proposio P por no P. A negao de uma proposio P tem a propriedade que sua negao P, isto , no (no P) P. Exemplo 10: Enunciamos, para exemplificar as negaes das proposies 1 e 2, dadas no incio deste artigo: Negao da proposio 1: Existe uma4 dupla de inteiros pares m e n cujo produto mn no um nmero par. (Falsa) Negao da proposio 2: Existe um inteiro mpar m tal que inteiro k. (Verdadeira) qualquer que seja o

Dizemos que no P verdadeira quando P falsa e dizemos que no P falsa quando P verdadeira. Apesar de no pretendermos nos estender sobre o problema delicado de negar proposies, alguns comentrios que faremos abaixo pode auxiliar essa tarefa. A proposio: Se m um inteiro mltiplo de 3, ento m um mltiplo de 9 pode ser reformulada no seguinte enunciado Para todo inteiro m que goza da propriedade de ser mltiplo de 3 tem-se que m um mltiplo de 9. E sua negao : Existe um inteiro m que mltiplo de 3 e no mltiplo de 9. Observe que isso uma regra geral: A negao de uma proposio do tipo: Para todo objeto, com uma certa propriedade, algo acontece : Existe um objeto com a certa propriedade, tal que aquele algo no acontece. E vice-versa: A negao de uma proposio do tipo: Existe um objeto, com uma certa propriedade, para o qual algo acontece : Para todo objeto com a certa propriedade, aquele algo no acontece. Finalmente, observamos que a grande queixa do Jung era anterior a essa discusso lgica. No dizer dele prprio, sua grande confuso vinha da substituio dos nmeros, que ele compreendia,

por letras, o que ele nunca aceitou! __________

C.G. Jung. Memrias, sonhos, reflexes. Editora Nova Fronteira, 1961. pgs. 38-39. Um objeto matemtico um nmero, uma expresso algbrica, uma funo, uma figura geomtrica, etc. 3 Esse um problema bastante conhecido; a verso que apresentamos encontra-se em A Matemtica do Ensino Mdio, Volume 1. Coleo do Professor de Matemtica, SBM (1996), pg. 47. 4 Em existe uma ou existe um, esse uma ou um deve ser entendido no sentido de alguma ou algum isto , no sentido de pelo menos uma ou pelo menos um, no no sentido de somente uma ou somente um, salvo meno explcita, quando se diz, em geral, existe um e um s ou existe um nico.
2 1