1

Autor: Luiz Carlos Cardoso

NRE: Pato Branco
Escola: Ncleo Regional de Educao
Disciplina: Matemtica: ( ) ensino fundamental

x ) Ensino Mdio

A LGICA MATEMTICA NO COTIDIANO

Muitas situaes no nosso dia a dia requerem um pensamento lgico, ser que
esta lgica a mesma que segue os rigores da matemtica?
Veja as seguintes frases:
Premissa 1 : "Todo homem mortal."
Premissa 2 : "Joo homem."
Concluso : "Joo mortal."
Estas frases tm alguma relao com a matemtica?
Para entendermos melhor a idia de lgica matemtica vamos retornar no
tempo e ver como se originaram as primeiras idias sobre o assunto.
Podemos dizer que o criador da lgica matemtica foi Aristteles de Estagira na
macednia (384 322 a C). Aristteles criou a cincia da lgica cuja a essncia era a
teoria do silogismo ( determinada forma de argumento vlido), seus escritos foram
reunidos em uma obra chamada Organon ou Instrumento da Cincia (Abar,2004).
Voc j ouviu falar a respeito de Aristteles? Realize uma pesquisa sobre a vida
e as principais descobertas deste pensador.
Na Grcia se desenvolveram duas grandes escolas de Lgica, que tinham uma
certa rivalidade: a PERIPATTICA (que derivava de Aristteles) e a ESTICA fundada
por Zeno (326-264 a.C.)
Muitos anos depois, Gottfried Wilhelm Leibniz (1646 1716 ) realizou importantes
trabalhos a respeito do assunto, os quais s tiveram crdito no sculo XIX.
E Posteriormente George Boole (1815 1864) e Augustus de Morgan (1806
1871), conseguiram relacionar a lgica com a lgebra. Estes publicaram os
fundamentos da chamada lgebra da Lgica.

Atualmente surgem as lgicas no clssicas, que esto contribuindo para a

informtica, com sistemas especialistas, e muitas reas do conhecimento.
necessrio que entendamos alguns conceitos importantes para que tenhamos
uma idia mais precisa sobre a lgica, vamos iniciar pelo termo proposio:
PROPOSIO: uma declarao afirmativa, ou seja uma frase na qual se tenha
sentido afirmar que a mesma seja verdadeira ou que seja falsa.Como por exemplo:

A lua quadrada.

A neve branca.

Matemtica uma cincia.

Estas proposies podem ser traduzidas para a linguagem matemtica, atravs

de variveis, chamadas de variveis proposicionais.

VARIVEIS PROPOSICIONAIS: representadas por letras latinas minsculas p,q,r,s,....
para indicar as proposies (frmulas atmicas) .
Exemplos:

A lua quadrada : p
A neve branca : q

CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para

representar tais combinaes so usados os conectivos lgicos :
: e , : ou , : se...ento , : se e somente se , : no
Exemplos:
A lua quadrada e a neve branca. : p q (p e q so chamados
conjuntos)
A lua quadrada ou a neve branca. : p q ( p e q so chamados
disjuntos)

Se a lua quadrada ento a neve branca. : p q ( p o antecedente

e q o conseqente)
A lua quadrada se e somente se a neve branca. : p q
A lua no quadrada. : p
(Abar,2004)
Com o objetivo de facilitar, o desenvolvimento desses clculos, se constroem as
chamadas tabelas verdade, a construo destas seguem trs princpios fundamentais
da lgica matemtica:
1) Princpio da Identidade: Todo objeto idntico a si mesmo.
2) Princpio da Contradio: Dadas duas proposies contraditrias (uma negao
da outra), uma delas falsa.
3)Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma delas
verdadeira.
Desta maneira as proposies simples s podem ser verdadeiras ou falsas, no
podendo coexistir uma proposio verdadeira e falsa ao mesmo tempo.Vejamos
algumas tabelas verdade:
1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa
(verdadeira)
P

~p

2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjuntos

so verdadeiros.
p

pq

3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjuntos so

falsos.
p

pq

4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente

verdadeiro e o conseqente falso.
p

pq

5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se

seus componente
p

pq

(ABAR,2004)
Agora a sua vez, construa a tabela verdade abaixo, aplicando os princpios de
lgica matemtica
P

~(p q)

Verificando todas estas teorias colocadas, nos parece que a Lgica Matemtica
est to longe da nossa realidade. Porm todos ns usamos a lgica no dia a dia,
muitas vezes sem nos darmos conta disso. Veja o que diz Yeda S. Santos em seu
artigo:

A matemtica uma forma lgica para soluo de problemas, at mesmo

nas tarefas domsticas mais simples. E usada mais vezes do que se apercebe
a maioria das pessoas. Uma dona de casa calcula a quantidade de alimento,
gua para o cozimento e tempo de preparo, valendo-se de operaes
matemticas. Contas parecidas usamos para atravessar a rua. Ao ver um
veculo, calculamos o tempo, a distncia e nosso limite de velocidade para
passar sem risco ( Santos,1998)

Por Exemplo, uma situao corriqueira:

Seu pai lhe diz: se voc tirar 10 em Portugus e Matemtica, lhe darei um
presente. Desta forma, Para ganhar o presente, necessrio tirar 10 nas duas
disciplinas Se de outra maneira ele dissesse: se voc tirar 10 em Portugus ou
Matemtica, lhe darei um presente; a bastaria tirar 10 em uma das matrias.
Esse foi um exemplo simples de um uso da lgica. Muitos outros poderiam ser
mostrados. D um exemplo de situao em que a lgica matemtica utilizada em seu
cotidiano.
A lgica pode ser engraada tambm, ento ria se puder:
Deus amor.
O amor cego.
Steve Wonder cego.
Logo, Steve Wonder Deus.
Nada melhor que a felicidade eterna.
Um tomate j melhor do que nada.
Logo, um tomate melhor que a felicidade eterna.
Imagine um pedao de queijo suo, daqueles bem cheios de buracos.
Quanto mais queijo, mais buracos.
Cada buraco ocupa o lugar em que haveria queijo.
Assim, quanto mais buracos, menos queijo.
Quanto mais queijos mais buracos, e quanto mais buracos, menos queijo.
Logo, quanto mais queijo, menos queijo!
Toda regra tem exceo.
Isto uma regra.
Logo, deveria ter exceo.
Portanto, nem toda regra tem exceo.
Disseram-me que eu sou ningum.
Ningum perfeito.
Logo, eu sou perfeito.
Mas s Deus perfeito.
Portanto, eu sou Deus.
Se Steve Wonder Deus, ento eu sou Steve Wonder...
(LIMA,2005,p.1)

Quem no conhece o clssico da literatura, Alice No Pas Das Maravilhas,o que

muita gente no sabe que neste trabalho, a lgica matemtica est presente em muitos
momentos, se confundindo com excelncia literria e imaginao onrica. Isto se explica

pelo fato de que o autor desta magnfica obra foi Lewis Carroll, pseudnimo do
matemtico ingls Charles Dodgson (1832-1898)
Alice encontra-se numa encruzilhada sem saber que direo tomar. Enquanto
pensa, o gato sorridente aparece num passe de mgica sobre um galho de rvore e
pergunta qual o problema. "No sei que caminho tomar", ela explica. "Bem", reflete o
gato, "aonde voc quer ir?" "No sei", responde a menina. "Nesse caso, qualquer um
dos caminhos levar voc at l", conclui o gato.
Em outra situao, a Duquesa, uma das personagens mais intrigantes do
enredo, diz a Alice: "Seja aquilo que voc pareceria ser... Nunca imagine que no ser
diferente daquilo que pode parecer aos outros que voc fosse ou pudesse ter sido no
seja diferente daquilo que tendo sido poderia ter parecido a eles ser diferente". Parece
ilgico? Que tal ento a demonstrao absolutamente lgica do clebre Gato: "Para
comear", disse o Gato, "um cachorro no louco. Concorda?" "Acho que sim",
respondeu Alice. "Bem", prosseguiu o Gato, "voc v um co rosnar quando est bravo
e abanar o rabo quando est feliz. Agora, eu rosno quando estou feliz e balano o rabo
quando estou bravo. Logo, sou louco"! (TV Cultura, 2006).
Assista o filme, tente localizar estas passagens e identifique outras, onde a lgica
matemtica est presente.
No existe uma receita para resolver os problemas de lgica, basta seguir os
princpios fundamentais da lgica matemtica citados inicialmente, e usar o raciocnio.
Vamos ver alguns problemas:
O chapu ou a vida
Num reino em crise, o rei Maximus pretende eliminar os seus trs sbios conselheiros.
Como sente algum carinho pelos sbios resolve dar-lhes uma ltima oportunidade de
salvarem a vida. Se os sbios forem capazes de resolverem o seguinte problema o rei
no os mandar matar.

O rei colocou os trs sbios em fila indiana e disse-lhes: Disponho de cinco chapus,
trs brancos e dois pretos. Vou colocar na cabea de cada um de vocs um destes
chapus, de forma que cada um de vs capaz de ver o chapu daqueles que esto
sua frente, mas no capaz de ver o seu prprio chapu, nem o chapu daqueles que
esto atrs ( o ltimo sbio da fila v os chapus dos outros dois, o do meio s v o
chapu do primeiro sbio e o primeiro sbio da fila no v nenhum dos chapus).
Para salvarem a vida, pelo menos um dos trs sbios ter que dizer de que cor o
chapu que tem na sua cabea. Mas, se um de vocs se enganar na cor morrem os
trs.
O rei colocou trs dos chapus na cabea dos sbios e escondeu os outros dois. De
seguida, perguntou ao ltimo da fila de que cor era o seu chapu e ele nada respondeu;
perguntou ao do meio a cor do seu chapu e este nada respondeu; quando perguntou
ao primeiro a cor do seu chapu este respondeu acertadamente e sem qualquer
sombra de dvida, ficando os trs sbios livres.
De que cor era o chapu do primeiro sbio? Porqu?
Soluo
O sbio que deu a resposta ( o primeiro da fila ) raciocinou da seguinte forma:H 3
chapus brancos e 2 pretos. Se o 3 sbio tivesse visto em cada um de ns chapus
pretos teria dito prontamente "majestade, o meu chapu branco".
respondeu significa que tem dvidas. Portanto, h duas possibilidades:
1. Viu 2 chapus brancos;
2. Viu um chapu branco e outro preto.
Seguindo a primeira hiptese, o meu chapu branco.
Seguindo a segunda hiptese, quem ter o chapu preto?

Como no

Se eu tivesse o chapu preto, o segundo sbio teria respondido " vejo que
o primeiro sbio tem um chapu preto. Se o meu fosse tambm fosse
preto o terceiro sbio teria respondido que o dele era branco. Como ele
no respondeu o meu branco ". Isto , se o meu chapu fosse preto, o
segundo sbio teria respondido, como no respondeu significa que o meu
chapu branco.
Em concluso: Majestade, o meu chapu branco.
Verdadeiro ou falso
Quantas frases verdadeiras h no quadro seguinte ?
Neste quadro h exatamente uma frase verdadeira.
Neste quadro h exatamente uma frase falsa.
Neste quadro h exatamente duas frases verdadeiras.
Neste quadro h exatamente duas frases falsas.
Soluo:
Pode no haver nenhuma;
Pode haver apenas uma correta ( a primeira );
Pode haver exatamente duas corretas ( as duas ltimas );
O problema no tem uma resposta nica! Esquisito, no? Para ficar claro, ler os
princpios fundamentais da lgica (j comentados anteriormente)

Agora, um desafio de lgica matemtica para voc resolver:

10

10

Oito carros, de marcas e cores diferentes, que nada tem a ver com suas cores da
Formula 1, esto alinhados, lado a lado, para uma corrida. Estabelea a ordem em que
os carros esto dispostos, baseando-se nas seguintes informaes:
1. O FERRARI est entre os carros 'vermelho' e 'cinza'.
2. O carro 'cinza' est esquerda do LOTUS.
3. O MACLAREN o segundo carro esquerda do FERRARI e o primeiro direita do
carro 'azul'.
4. O TYRREL no tem carro a sua direita e esta logo depois do carro 'preto'.
5. O carro preto est entre o TYRREL e o carro 'amarelo'.
6. O JORDAN no tem carro algum esquerda: est a esquerda do carro 'verde'.
7. A direita do carro 'verde' est o MARCH.
8. O LOTUS o segundo direita do carro 'creme' e o segundo a esquerda do carro
'marrom'.
9. O WILLIAN o segundo esquerda do BENETTON.
Atualmente estamos convivendo com a tecnologia do computador, este aparelho
que se popularizou entre ns, segue conceitos de lgica matemtica, e para chegar ao
que temos hoje evidenciamos a contribuio de grandes lgicos como Alan Turing:
Alan Mathison Turing, nascido em 23 de Junho de 1912 em Paddington,
Inglaterra.
Foi com a publicao do artigo "Mquinas Computveis", em 1937, que Turing
passou a contribuir efetivamente para o mundo da matemtica. Nele provava que
existem clculos impossveis de serem feitos, contradizendo as perguntas de Hilbert em
relao matemtica, feitas em 1928.
Hilbert, Levantou um nmero de questes sobre a idia central da matemtica, e
cujas inesperadas respostas abalariam esta rea de estudo e a levaria a novas
descobertas. As questes eram: a matemtica era completa? A matemtica era
consistente? A matemtica era resolvel?

11

11

Kurt Godel provou que a matemtica deveria ser incompleta porque, como ele
demonstrou, existem proposies que podem ser feitas, mas que no podem ser
provadas ou negadas. Ele tambm provou que a matemtica no podia ser definida
como consistente e completa.
Ento Turing elaborou a idia sobre uma mquina com uma arquitetura simples,
entretanto improvvel, que pudesse executar todo o tipo de problemas que fossem
colocados. Essa poderosa mquina somente entenderia os nmeros 0 e 1 (o primeiro
computador binrio). Ele estabeleceu, numa linguagem especfica, o que era um
algoritmo genrico. Essa idia foi chamada de Mquina de Turing, mas apesar da
natureza simples e geral do seu algoritmo, ainda assim existiam problemas que no se
conseguia resolver. E assim a terceira pergunta de Hilbert foi provada incorreta, pois a
matemtica no resolvel.
Porm, o artigo de Turing no ficava somente na teoria, tambm trazia uma
aplicao prtica que na poca, ningum percebeu. Turing imaginara uma mquina que
pudesse fazer todos os clculos possveis, desde que lhe fornecessem as instrues
necessrias. O artigo possua as frmulas matemticas e a descrio daquilo que, no
futuro, mudaria o mundo com o nome de computador (FINGER,2002,p.2) .

Referncias

ABAR, Celina. Lgica Matemtica, So Paulo: 2004.

Disponvel em: logica@pucsp.br
Acesso em: 23/08/2006

12

SANTOS, Yeda. Matemtica em Tempo Integral, So Paulo : 1998

Disponvel em:
<http://www.usp.br/jorusp/arquivo/1998/jusp445/manchet/rep_res/rep_int/univers1.html>
Acesso em: 23/08/2006
FINGER, Alessander et.al. A IMPORTNCIA DE BERTRAND RUSSELL
E ALAN TURING PARA A LGICA. Porto Alegre:
Disponvel em: http://www.inf.ufrgs.br
Acesso em: 20/08/2006
ALICE NO PAS DAS MARAVILHAS, TV Cultura, 2006
Disponvel em: http://www.tvcultura.com.br/artematematica/ed_p01.html
Acesso em: 20/08/2006
LIMA, Rocha Alessandra, MATEMTICA HUMOR , 2005
Disponvel em: <http://www.reniza.com/matematica/humor/logmatem.htm>
Acesso em: 12/08/2006

12