You are on page 1of 6

A LGICA NO COTIDIANO E A LGICA NA MATEMTICA

(VIII Encontro Nacional de Educao Matemtica, Julho de 2004)

Flvia Soares
Mestre em Matemtica e Doutora em Educao (PUC RIO)
Professora da Universidade Severino Sombra (USS) Vassouras/RJ
Instituto Superior de Tecnologia/ FAETEC (Paracambi/ RJ)
fsoares.rlk@terra.com.br
Geovani Nunes Dornelas
Professor da Universidade Severino Sombra (USS) Vassouras/RJ e
da Rede Estadual de ensino
gdornelas@uss.br
Introduo
Ela [a Lgica] lhe dar clareza de pensamento, a habilidade de ver seu
caminho atravs de um quebra-cabea, o hbito de arranjar suas idias numa
forma acessvel e ordenada e, mais valioso que tudo, o poder de detectar
falcias e despedaar os argumentos ilgicos e inconsistentes que voc
encontrar to facilmente nos livros, jornais, na linguagem cotidiana e
mesmo nos sermes e que to facilmente enganam aqueles que nunca
tiveram o trabalho de instruir-se nesta fascinante arte (Lewis Carroll).
Em Matemtica estamos sempre tentando descobrir coisas novas e querendo saber se
uma afirmao verdadeira ou falsa. Em muitos casos, a intuio nos mostra a verdade, mas em
outros ela pode nos pregar uma pea. Nesses momentos somos levados a buscar outros recursos
mais eficientes que nos permitam afirmar com certeza o que queremos.
Freqentemente usamos expresses lgico que sim, ou lgico que vai chover,
etc. Mas ser que realmente lgico? Em que nos baseamos para fazer tais afirmaes?
Quando usamos essas expresses quase sempre estamos nos referindo a algo que nos
parece evidente ou quando temos uma opinio muito fcil de justificar (MACHADO, 2000).
Fazemos afirmaes e suposies de vrios tipos e tiramos concluses sobre os acontecimentos
do dia a dia o tempo todo. A grande maioria delas baseada em nossa intuio, em nossa
experincia ou a partir de comparaes com outras situaes semelhantes j vivenciadas. Mas
nem sempre isso suficiente. Para provar alguma coisa, sustentar uma opinio ou defender um
ponto de vista sobre algum assunto, preciso argumentar. Ou seja, preciso apresentar
justificativas convincentes e corretas que sejam suficientes para estabelecer, sem deixar
nenhuma dvida, se uma determinada afirmao falsa ou verdadeira.
A lgica formal surge com Aristteles. Como indica o termo grego rganon, nome
dado ao conjunto dos escritos lgicos de Aristteles, a lgica um instrumento do pensamento
para pensarmos corretamente. A Lgica no se refere a nenhum ser, a nenhuma coisa, ou a
algum objeto em particular, nem a nenhum contedo, mas forma do pensamento.

2
Segundo Aristteles, a lgica estuda a razo como instrumento da cincia ou como um
meio de adquirir e possuir a verdade. E o ato prprio da razo o ato de raciocinar (ou
argumentar). O raciocnio ou argumentao um tipo de operao do pensamento que consiste
em encadear logicamente idias para delas tirar uma concluso. Essa operao vai de uma idia
a outra passando por um ou vrios intermedirios e exige o uso de palavras. Portanto dita uma
inferncia mediata, isto , procede por mediao, por meio de alguma coisa (CHAU, 1994).
Ainda segundo Aristteles a Lgica o que devemos estudar e aprender antes de iniciar
uma investigao filosfica ou cientfica, pois somente ela pode indicar qual o tipo de
proposio, de raciocnio, de demonstrao, de prova, e de definio que uma determinada
cincia deve usar (CHAU, 1994). A Lgica uma disciplina que fornece as leis, regras ou
normas ideais de pensamento e o modo de aplic-las para demonstrar a verdade.
A Lgica tambm estabelece os fundamentos necessrios para as demonstraes pois,
dada uma certa hiptese, a lgica permite verificar quais so as suas conseqncias; dada uma
certa concluso, a lgica permite verificar se ela verdadeira ou falsa (CHAU, 1994).
Um argumento lgico aquele em que a concluso encontrada a partir da anlise das
relaes entre as premissas, sem considerar o contedo real das mesmas. Lgica e raciocnio
dedutivo no esto preocupados em examinar a verdade das premissas em um argumento lgico.
A preocupao com o fato de se a premissa envolve logicamente a concluso.

Lgica na Matemtica e Lgica no Cotidiano


Uma vez que a correo ou incorreo de um argumento depende somente da relao
estabelecida entre as premissas e a concluso, a validade do argumento independe da veracidade
das premissas. Entretanto fcil cair na tentao de aceitar como vlidos, argumentos
aparentemente lgicos, por apresentarem uma concluso verdadeira, e da mesma forma, rejeitar
argumentos baseados em premissas fantasiosas (como Toda bruxa boa tem uma vassoura de
pelo), ou que envolvam conceitos errados (Todo mamfero voa).
Esta discusso fez com que alguns pesquisadores se interessassem em avaliar a
influncia do contedo das premissas no raciocnio lgico de crianas e de adultos. Retomando
alguns estudos feitos a esse respeito, Dias (1996) ressalta que adultos escolarizados dificilmente
erram nos problemas sob a forma conhecida por Modus Ponens, ou seja, um tipo argumento
dedutivo com a estrutura: p implica q, se p..., portanto p. Por outro lado, o desempenho desses
mesmos sujeitos cai um pouco quando so submetidos a analisar argumentos com a estrutura de
Modus Tollens: p implica q, no q, portanto no p.
Os estudos de Scribner e Wilkins, citados por Dias (1996), mostram que a maioria dos
adultos, independente de escolarizao, capaz de avaliar corretamente argumentos contendo
fatos familiares. As pesquisas mostram que o desempenho dos sujeitos em problemas com
contedos familiares do dia-a-dia era geralmente melhor e apresentavam menos falcias do que

3
problemas com contedos desconhecidos ou escritos simbolicamente. Segundo os autores, isso
influencia os sujeitos a fazerem converses invlidas quando se referem a assuntos do cotidiano,
erradas do ponto de vista lgico, mas freqentemente aceitas como corretas no senso comum.
Esse ponto tambm chamado ateno por Malta et all (2002). Em seu texto, os autores
mencionam que um dos pontos delicados da idia do aprendizado espontneo que muito
embora na linguagem matemtica as frases sejam construdas da mesma maneira que na
linguagem do cotidiano, a lgica pode diferir nos dois casos. Isto o que acontece em geral
quando se analisam frases condicionais com contedos do dia-a-dia. O exemplo citado pelos
autores bastante esclarecedor para explicar o tipo de concluso errada a qual estamos nos
referindo.
Suponhamos que algumas pessoas ouviram o pai de Joo dizer que: Se Joo for
aprovado no vestibular, ento Joo ter um carro. No ser nenhuma surpresa se ouvirmos
algum dizer que Joo foi aprovado no vestibular, j que se soube que ele j tem um carro. Na
verdade, essa a concluso a que chegaria a maioria das pessoas, isto , Se Joo tem um carro,
ento Joo foi aprovado no vestibular.
Malta et all (2002) ressaltam que essa a conveno usual para o entendimento de
frases condicionais na linguagem do cotidiano, mas no a conveno dada pela lgica
matemtica. O que ocorre que, assim como concluem outros pesquisadores citados por Dias
(1996), quando apresentados a argumentos dedutivos para serem avaliados, os sujeitos tendem a
endossar aqueles cujas concluses acreditam, e a no aceitar argumentos cujas concluses so
por eles desacreditadas, independentemente da validade das premissas. Alm disso, acham
difcil trabalhar com premissas cujos contedos vo de encontro s suas experincias.
Assim, a adoo dessa mesma lgica, aceita pelo senso comum do cotidiano, na leitura
de textos matemticos leva, impreterivelmente, a srios erros, comprometendo o aprendizado de
um contedo matemtico.

Sobre o ensino de Lgica


A Matemtica necessita da lgica para suas definies, postulados, alm de ser
fundamental para julgar se um teorema verdadeiro ou falso, e a partir disso tirar outras
concluses, propor outras conjecturas, provar outros teoremas...
Compartilhamos da opinio de Druk (1998) quando a autora afirma que o estudo da
lgica no Ensino Fundamental e Mdio no deve ser um ponto localizado em algum momento
especfico do currculo escolar, mas uma preocupao metodolgica presente sempre que algum
ponto do programa permitir.
Ainda segundo Druk (1998), a Lgica um tema com conotaes interdisciplinares e
que se torna mais rico quando se percebe que ela est presente nas conversas informais, na

4
leitura de jornais e revistas e em nas diversas disciplinas do currculo, no sendo portanto um
objeto exclusivo da Matemtica.
No sistema escolar e na vida em sociedade um certo domnio da lgica necessrio ao
desenvolvimento da capacidade de distinguir entre um discurso correto e um incorreto, na
identificao de falcias, no desenvolvimento da capacidade de argumentao, compreenso e
crtica de argumentaes e textos.
Em seu livro Matemtica e Lngua Materna, Machado (2001) diz ser a afirmao A
Matemtica desenvolve o raciocnio lgico a frase que, entre outros tantos mitos que envolvem
a Matemtica, parece mais solidamente estabelecida no senso comum. O autor lembra ainda
que, historicamente e em todas as pocas, muitos filsofos contriburam para a legitimar uma
associao entre Matemtica e a Filosofia, onde o papel da Lgica seria fundamental.
O autor no discute a veracidade da afirmao de que a Matemtica desenvolve
raciocnio, mas sim o superdimensionamento ou a exclusividade do papel que a Matemtica
teria em tal tarefa, pois que, qualquer assunto poderia apresentar situaes igualmente profcuas
nesse sentido.
Mas mesmo estando presente no seu discurso e mesmo que eles acreditem nessa
capacidade da Matemtica, a maior parte dos professores muitas vezes no compreende
explicitamente o que isso significa e nem sabe como proporcionar situaes para que os alunos
realmente raciocinem bem.
Os livros didticos por muitos anos excluram os alunos da construo dos contedos,
abandonando o raciocnio dedutivo e as demonstraes, e enfatizando o uso de algoritmos e
frmulas nem sempre bem compreendidas pelos estudantes.
No ensino da Matemtica, pensar por meio de algoritmos tem uma desvantagem sobre o
pensamento lgico. Os alunos aprendem uma enorme quantidade de frmulas e em que tipos de
situaes devem aplic-las. Assim, quando o estudante se depara com uma situao similar ele
pode resolv-la facilmente, entretanto no pode resolver qualquer tipo de problema
desconhecido, mesmo se ele tem todo o conhecimento para isso.
Problemas em Geometria tem uma caracterstica comum: eles no podem ser resolvidos
com o mesmo padro. Nesses casos no suficiente substituir um dado em uma frmula, mas
sim combinar e aplicar os teoremas conhecidos. Isto problemtico para os estudantes o que
torna o desempenho deles fraco em Geometria mesmo que sejam bons em outros assuntos da
Matemtica.
Outros temas geram igual dificuldade como a Anlise Combinatria. No ensino de
combinatria os livros didticos e os professores tendem a agrupar as diferentes situaes de
contagem em combinaes, arranjos e permutaes, sem que se compreenda o porqu das
frmulas. Assim, somente o conhecimento das mesmas no resolve os problemas realmente

5
significantes, aqueles nos quais o raciocnio lgico aliado ao princpio fundamental da contagem
leva facilmente a resposta correta.
Ensinar lgica freqentemente pode ser associado com o ensino de conectivos, tabelas
verdade e diagramas de Venn. Sendo assim, voltamos a ensinar mais uma vez algoritmos e
frmulas. Estes algoritmos tm praticamente nenhuma aplicao no ensino da Matemtica no
Ensino Fundamental e Mdio, o que faz com que as escolas no ensinem Lgica alguma.
Acreditamos que se deve ensinar lgica de uma forma diferente, ajudando os alunos a
perceber a existncia de uma estrutura lgica do pensamento matemtico melhorando sua
capacidade de resolver problemas. Aliado a essa questo, enfatizamos que necessrio ainda
entender que, embora na linguagem matemtica e linguagem do cotidiano as frases guardem
certas semelhanas as regras de entendimento para podem se distintas dependendo da situao a
ser analisada.
Dessa forma algumas das atividades que acreditamos serem teis para um primeiro
contato com a Lgica matemtica so as atividades que envolvem a argumentao lgica no
cotidiano, enigmas lgicos e atividades ldicas envolvendo o raciocnio lgico (matemtico ou
no).
A Lgica freqentemente deixada de fora do ensino de matemtica. Este fato tem
efeitos no entendimento da Matemtica e em outras linguagens. Este minicurso aponta para
alguns tipos de atividades que podem ser realizadas para que a Lgica passe a fazer parte do
currculo de Matemtica. Os principais tpicos abordados sero os seguintes:
Informaes gerais sobre a Histria da lgica;
O que Lgica e qual a sua importncia para o ensino e aprendizagem da
Matemtica;
Tipos de argumentos (argumentos vlidos, invlidos, sofismas, estrutura de um
argumento, silogismos);
Lgica simblica (uso dos conectivos e e ou);
Proposies do tipo Se A ento B e sua importncia nas demonstraes de
teoremas (reconhecimento de tese e hiptese, negao, recproca)
Exemplos mais comuns de demonstraes em Matemtica (demonstrao direta e
demonstraes por absurdo)
Exerccios de Lgica envolvendo situaes matemticas e exemplos do cotidiano
(atividades recreativas envolvendo lgica, enigmas lgicos, exerccios de vestibulares recentes e
concursos);
Sugestes de leitura para aprofundamento.
A maior parte das atividades foi retirada de Barros (2001, 2003); Silva (2000) e
Machado (2000); exames de Vestibulares e concursos pblicos.

Referncias
BARROS, Dimas Monteiro de. Raciocnio lgico, matemtico e quantitativo. So Paulo: Novas
Conquistas So Paulo, 2001. (Srie Concursos Pblicos).
________, Dimas Monteiro de. Enigmas, Desafios, Paradoxos e outros divertimentos
matemticos. Araatuba: Novas Conquistas So Paulo, 2003.
CHAU, Marilena. Introduo histria da filosofia: dos pr-socrticos a Aristteles. v. I. So
Paulo: Brasiliense, 1994.
DIAS, Maria da Graa Bompastor Borges. O desenvolvimento do raciocnio dedutivo. In:
DIAS, Maria da Graa Bompastor Borges; SPINILLO, Alina Galvo (Orgs.) Tpicos em
Psicologia Cognitiva. Recife: Editora da Universitria da UFPE, 1996. p. 11-44.
DRUK, Iole de Freitas. A linguagem Lgica. Revista do Professor de Matemtica, 17, p. 10
18, 1998.
MACHADO, Nlson Jos. Lgica? Lgico! So Paulo: Scipione, 2000.
_________, Nlson Jos. Matemtica e Lngua Materna. 5.ed. So Paulo, Cortez, 2001.
MALTA, Iaci; PESCO, Sinsio; LOPES, Hlio. Clculo a uma Varivel: uma Introduo ao
Clculo. v.1. Rio de Janeiro: Ed. PUC Rio; So Paulo: Loyola, 2002.
NASSER, Lilian; TINOCO, Lcia A. A. Argumentao e Provas no ensino da Matemtica. Rio
de Janeiro: IM / UFRJ Projeto Fundo, 2001.
PALIS, Gilda de La Rocque; MALTA, Iaci. Somos todos mentirosos? Revista do Professor de
Matemtica, 37, p.110, 1998.
SALMON, Wesley C. Lgica. Trad. lvaro Cabral. Rio de Janeiro: Prentice-Hall do Brasil.
SILVA, Josimar Jos da; LOPES, Lus. divertido resolver problemas. Rio de Janeiro: J. Silva,
2000.