UNIVERSIDADE VEIGA DE ALMEIDA

Curso de Cincia da Computao

LGICA MATEMTICA
Autoria: Luiz Antonio Palmeira Monteiro (MSc) Miguel Angelo Zaccur de Figueiredo (MSC) Reviso Maria Encarnacion Del Pilar M. Gonalves (MSC) Homologao Accio Magno Ribeiro (DSc) Carlos Alberto Alves Lemos (DSc) Luiz Henrique S.A.Coutinho (DSc) Agosto / 2011

1 Introduo

Pgina 1

1 Introduo

Pgina 2

1
Introduo
1.1 Motivao
Em artigo intitulado A razo e a escola, publicado no Jornal do Brasil [JB, 23/12/2007], Fernando Cavallieri observa que o raciocnio lgico e a capacidade de deduo so fundamentais para a compreenso das cincias exatas. Entretanto, nossa cultura, nossa forma de ser, baseia-se muito mais no pensamento ilgico do que na racionalidade. "Achamos" em abundncia sobre quaisquer coisas, sem nos preocuparmos muito com fundamentaes e comprovaes. Em todas as classes sociais, privilegia-se a intuio, a sensao e o pensamento positivo, menosprezando as operaes mentais tpicas do pensamento cientfico que exigem rigor lgico e anlise racional e concluem, muitas vezes, por solues desagradveis. Preferimos pensar que no fim tudo vai dar certo, ao invs de: avaliar todas as possibilidades, prever as linhas de ao e estabelecer alternativas. No! melhor e mais fcil acreditar que basta ter f e os resultados nos sero favorveis. A cincia, ao contrrio, avana tanto em cima das experincias bemsucedidas quanto das hipteses refutadas. O to famoso e decantado jeitinho brasileiro visto como se fosse prova cabal da nossa criatividade e jogo de cintura a nos diferenciar dos demais povos, nos elevar e dignificar.

1 - Introduo

Pgina 3

Mas, quando optamos pela via do jeitinho: eliminamos a dvida necessria abandonamos informaes e dados que indicam impossibilidades porque temos certeza de que, de uma forma de outra, os problemas vo se resolver. E, se assim no suceder, no ter sido por agirmos com incoerncia, mas sim por obra do azar ou da m vontade de algum ou de alguma instituio. O carter geral dessa brasilidade [segundo Fernando Cavallieri] : a averso forma lgica de pensar e agir a excessiva valorizao do voluntarismo. Muitos brasileiros de boa f acreditam e difundem que possvel aprender sem estudar, nem sempre adianta tomar remdio quando se est doente, os polticos so todos iguais, o Brasil no tem jeito, ou... Deus brasileiro. Fazer disso parte do nosso folclore humorstico, tudo bem, mas moldar nossa conscincia a partir desse besteirol, eis a um problema. Combatendo os jeitinhos desonestos, estaremos contribuindo para ampliar o pensamento lgico e, num movimento de causao circular, reforando o contexto cultural que valoriza mais a razo e o esforo conseqente do que as crenas insustentveis baseadas s em intuies, sentimentos e supersties. O caminho seguir a seqncia de estudo da Lgica Matemtica.

1.2 A Mgica do Pensamento

O egpcio antigo Gravava padres geomtricos em uma pedra O homem moderno Tambm grava padres geomtricos em uma pedra

Esses padres dispostos da maneira correta do para a pedra um poder especial Capacitam a pedra a reagir a encantamentos Encantamentos escritos em uma linguagem sagrada (hierglifos)

Esses padres dispostos da maneira correta do para a pedra um poder especial Capacitam a pedra a reagir a encantamentos Encantamentos feitos em uma linguagem especial

1 - Introduo

Pgina 4

Os encantamentos da linguagem do forma a um mundo. Mundo criado pela magia e imaginado dentro de um padro gravado em uma pedra [Daniel Hillis] Isso no tem nada a ver com feitiaria: A pedra uma pastilha de silcio O padro geomtrico So os circuitos impressos que formam o chip Os encantamentos So os programas (software) A linguagem especial a linguagem de programao

1.3 Como fazer alguma coisa pensar?

Aristteles As palavras so signos que representam o pensamento A lgica um estudo no de palavras, mas do pensamento As palavras so referncias ao sucesso ou fracasso do pensamento em atingir a verdade George Boole Tentou reduzir a lgica do pensamento humano s operaes matemticas Deu a seu livro o ttulo: Investigao das leis do Pensamento Inventou linguagem para descrever a manipular proposies lgicas Essa linguagem chamada de lgebra booleana Claude Shannon Estava interessado em construir mecanismos que imitassem o pensamento.(por exemplo: uma mquina que jogasse xadrez.) Em 1940 ele mostrou que era possvel montar circuitos eltricos equivalentes a expresses da lgebra boolena. Acabou definindo informao e sua medida que chamamos bit Alan Turing. Tambm estava interessado no problema de fazer uma mquina que pudesse pensar. Mostrou que qualquer clculo pode ser realizado por um escriturrio burro, que siga uma srie simples de regras para ler e escrever. Concluiu que o escriturrio poderia ser substitudo por uma mquina de estado finito: a mquina de Turing. Assim, acabou inventando um esquema para uma mquina de computao de uso geral Descreveu em 1937 a idia de um computador universal Colaborou na construo do Colossus, primeiro computador da Inglaterra, que ajudou a decifrar a mquina Enigma de criptografia alem.
Aristteles (384 a.C. - 322 a.C.)

George Boole (1814 - 1864)

Claude Elwood Shannon (1916 - 2001)

Alan Mathison Turing (1912 - 1954)

1 - Introduo

Pgina 5

Konrad Zuse (1910 1995)

Konrad Zuse Depois de vrias tentativas, chegou um calculador com: um controlador, uma memria e um dispositivo de clculo binrio (1934). Com rels e uma fita de pelcula cinematogrfica perfurada (para instrues de mquina e exibio de resultados), inventou o primeiro computador eletromecnico do mundo(1936). Em 1937 afirmou que este tipo crebro mecnico ir resolver todas as tarefas do pensamento colocadas nesses dispositivos. Helmut Theodor Schreyer Teve a idia crucial de substituir rels eletromecnicos por vlvulas eletrnicas. Montou prottipos de somador de 10-bit a vlvulas e de memria com lmpadas neon (1938). Ajudou Zuser a construir o primeiro computador eletrnico (a vlvulas) do mundo. Pioneiro dos computadores eletrnicos e inventor dos circuitos lgicos

Helmut T. Schreyer (1912 1984)

Um Pioneiro da Computao: Helmut Schreyer nasceu alemo. Construiu o primeiro computador digital totalmente eletrnico do mundo. Fugiu no final da 2. Guerra para o Brasil (conseguiu um passaporte de brasileiro nato!" na embaixada do Brasil em Viena). Foi assim que chegou ao Rio de Janeiro (sem falar uma palavra de portugus) no final de 1945. Aqui conseguiu um lugar como professor de Telefonia na ento Escola Tcnica do Exrcito, hoje, Instituto Militar de Engenharia. Nessa poca no acreditaram no que contava. Orientou alguns alunos, construindo o primeiro computador (era hbrido: analgico e digital) eletrnico no Brasil (concludo em 1960). Morreu brasileiro, em seu apartamento no Flamengo. . Von Neumann Percebeu que a aritmtica decimal poderia ser substituda pela aritmtica binria O programa poderia ser representado em forma digital As instrues do programa poderiam ser armazenadas na memria do computador Props uma nova arquitetura: a mquina de Von Neumann Construiu na Universidade de Princeton o EDVAC (Electronic Discrete Variable Automatic Computer)

John Von Neumann (1903 - 1957)

1818 Frankenstein, um romance de terror gtico de Mary Shelley. Ele conta a histria de Victor Frankenstein, estudante de cincias naturais que na busca da criao de um homem artificial (e imortal). Acaba por construir um monstro com partes de cadveres, em seu laboratrio

1 - Introduo

Pgina 6

O computador universal a mquina da imaginao. Ele facilita, gera, e constri idias Comea com as idias e as leva mais longe. Com a programao adequada capaz de simular a funo do crebro humano (Redes Neurais). Assim, pode fazer algumas coisas que lembram muito o pensamento humano A computao uma das partes mais difceis na construo de um homem artificial

A lgica busca: As formas de pensamento A linguagem descritiva do pensamento As leis de argumentao e raciocnio corretos Os mtodos e princpios que regem o pensamento humano

1.4 Os dois mundos

Quando falamos ou pensamos estamos usando em nossa mente uma outra realidade, uma espcie de realidade virtual, paralela e, ao mesmo tempo, diferente do mundo real. Existe um mundo que no se apresenta fisicamente para ns. No usa tomos para se mostrar. Isso porque este mundo est dentro de ns. o mundo virtual da nossa mente. A existncia dos dois mundos indica que os sonhos fazem parte da realidade dos homens.
Um mundo externo

O mundo dos sonhos um infinito particular em que cada um cultiva seu prprio universo de desejos e medos, lugar onde tudo pode acontecer.

Um mundo interno

O mundo real
material: tem peso e tamanho finito o mundo visvel objetivo Est fora de nosso controle onde as nossas vontades nem sempre so atendidas mutvel (existe o tempo) corruptvel, entrpico (h desgastes, vai-se perdendo as coisas, perde at a prpria coeso) o imprio do Real, dominado pela objetividade o territrio do homem comum (demiurgo) preso s coisas do cotidiano Freqentamos todos os dias no mundo externo um mundo real do fracasso provado pela velhice e a morte Nota: Como no mundo real h perdas, com o passar do tempo, tendemos ser cada vez mais conservadores (evitar perdas)

O mundo das idias (Parmnides)

abstrato, imaterial (virtual), sem peso, sem tamanho eterno (independe do tempo) o mundo inteligvel subjetivo Est sob nosso controle onde nossas vontades so atendidas imutvel (sempre jovem), incorruptvel anti-entrpico (no h desgastes). o imprio dos sentidos, captado na imaginao e dominado pela subjetividade a seara do homem sbio Freqentamos todos os dias nos nossos sonhos. o reino da inteligncia (nous) percebido pela razo (logos) Nota: J que s no mundo das idias pode-se ficar novamente jovem, tendemos ser cada vez mais idealistas.

1 - Introduo

Pgina 7

1.5 Questes da existncia

Descartes: vejo muito claramente que, para pensar, preciso existir, (cogito ergo sum - penso logo existo). Leva-nos a considerar a nossa existncia como um fato. Mas e a existncia dos outros? Os problemas centrais da filosofia da mente no ps-guerra podem ser fixados em dois: O problema das outras mentes (o que justifica nossa crena na existncia de outras mentes? Existem os outros ou eles so fruto de nossa mente criativa? Isto , ser que s eu existo?) A questo mente-corpo (como podemos explicar as relaes da mente e seu corpo? Como algo imaterial, como o pensamento, pode atuar em algo material, como o nosso corpo?) A nica entidade que pode perceber os dois mundos a nossa alma Poderemos realmente saber o que ocorre fora dela? Ser o mundo real uma criao de nossa alma? (como ocorre no mundo das idias) Existe a realidade ou voc v uma realidade criada por voc mesmo? Algum te abriu esse espao? . Podemos realmente saber se vivemos em um mundo real ou em um mundo virtual? (Matrix?). A realidade apenas um caso particular do possvel [Brgson] Existem leis que descrevem os movimentos da mente nos sonhos? Sim, esses dois mundos parecem ter regras. Uma delas a da Lgica. . O estudo da lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto. 1.6 O Senso Comum
Max Weber e Lvi-Straus, falam de um conhecimento - ou pensamento que orienta as atitudes do homem comum. Lvi-Straus, observa que h (...) um pensamento selvagem (...) que homlogo ao pensamento lgico, mas que est em oposio ao conhecimento cientfico. Tal conhecimento no-cientfico denominado de senso comum.

1 - Introduo

Pgina 8

O senso comum: o saber que se adquire atravs de experincias vividas ou ouvidas do cotidiano. Engloba costumes, hbitos, tradies, normas e ticas. um saber informal que se origina de opinies de um determinado indivduo ou grupo que avaliado conforme o efeito que produz nas pessoas. um saber imediato, subjetivo, heterogneo e acrtico, pois se conforma com o que dito para se realizar. A cincia: a busca da verdade em todas as coisas por meio de testes e comprovaes objetiva, busca critrios, avalia, busca leis de funcionamento, Rene a individualidade existente em cada lei para formar uma s estrutura, Se renova, se modifica e busca sempre se firmar no conhecimento

Observao: O homem sempre procura as repeties. Sobre isto pode-se dizer que so as repeties a nica forma que sustenta a cincia. Todos os cientistas so colecionadores de repeties e coincidncias. Quando um comportamento se repete, ou coincide, os cientistas comeam a formular leis que expliquem estas repeties e 0 coincidncias

Exemplo de coisas que a maioria das pessoas sabe e concorda, pois so bem bvias e que fazem parte do senso comum:. Toda pessoa mais jovem que sua me Todo crime tem uma vtima No se perde o que no se tem No se pode dar algo que no se tenha O tempo nunca retrocede, sempre avana possvel transformar um ovo em omelete, mas no possvel transformar uma omelete em ovo Para "chegar" preciso antes "sair" Exemplo de coisas que o senso comum classifica como absurdas ou inadequadas: Afirmar que uma excurso d direito a 50 jantares no ms, pois um ms no tem 50 noites Bloquear autorizaes de desmate em uma regio em que a maior parte das derrubadas de rvores so feitas sem autorizao Tapar o sol com a peneira Limpar carvo Enxugar gelo Peneirar gua Os raciocnios que ns chamamos de "senso comum" e que esto presentes no nosso quotidiano, se revelam frequentemente falsos. Exemplo de como nossos sentidos nos enganam: Todo dia, vemos um pequeno crculo de cor amarela percorrendo o cu o sol parece ser menor do que a Terra H uma coincidncia do dimetro aparente da Lua com o do Sol, o que faz com que o eclipse do Sol escurea a face da Terra parece que o Sol e a Lua so do mesmo tamanho Diariamente vemos o sol nascer, percorrer o cu e se pr. o sol se move em torno da Terra Mas tudo isso falso, a astronomia nos revela que O sol muitas vezes maior do que a Terra a Terra que se move em torno do sol. Vejam os exerccios propostos a seguir

Curiosidades: Ainda sobre coisas absurdas

ou inadequadas: Sempre que perdemos algo e pedimos ajuda a algum, este nos pergunta: "onde foi que voc perdeu ???" (ora se soubessemos no estaramos pedindo ajuda, no mesmo?!) Sempre que aparece no computador a frase 'Teclado No Instalado', o fabricante pede para apertar qualquer tecla para continuar ??? Por que a palavra 'Grande' menor do que a palavra 'Pequeno' ??? Por que 'Separado' se escreve tudo junto e 'Tudo junto' se escreve separado ???

1 - Introduo

Pgina 9

1.7 Exerccios Propostos Como est a sua lgica? 1.7.1 Com uma folha de papel, a figura abaixo possvel?

1.7.2 Se dou uma nota de R$ 50,00 uma pessoa, e pego dela R$ 20,00, com quanto ficou a pessoa? 1.7.3 Se voc ultrapassa o segundo colocado, em que lugar voc fica? 1.7.4 Certos meses tm 30 dias, outros, 31. Quantos meses tm 28 dias? (Superinteressante, ano 6, n*6, junho/93, pag.80) 1.7.5 Qual o nmero que completa a sequncia: 1, 3, 6 , 10 ... (A) 13 (B) 15 (C) 12 (D) 11 (E) 18 1.7.6 Qual o nmero que completa a sequncia: 1, 1, 2 , 3 , 5 ... (A) 5 (B) 6 (C) 7 (D) 8 (E) 9 1.7.7 Qual o nmero que completa a sequncia: 21, 20, 18 , 15 , 11... (A) 9 (B) 8 (C) 7 (D) 6 (E) 5 1.7.8 Qual o nmero que completa a sequncia: 65536, 256 , 16 ... (A) 4 (B) 6 (C) 2 (D) 1 (E) 8

1 - Introduo

Pgina 10

1.7.9 Qual o prximo nmero da seqncia abaixo? 2, 10, 12, 16, 17, 18, 19,... 1.7.10 Qual o prximo nmero da seqncia abaixo? 98, 72, 14, ... 1.7.11 At que ponto voc entra em um tnel? 1.7.12 Determine o prximo elemento da seqncia abaixo:

1.7.13 Um pergunta de lgica jurdica: um homem pode casar com a irm de sua viva? 1.7.14 Que nmero maior: 36% de 78 ou 78% de 36? 1.7.15 Um pastor tem 17 ovelhas. Todas morrem, menos 9. Quantas ficam? 1.7.16 Leva-se 3 minutos para se cozinhar um ovo. Quanto tempo ser necessrio para se cozinhar seis ovos? 1.7.17 Voc est dirigindo um nibus que vai do Rio de Janeiro para Fortaleza. No incio temos 32 passageiros no nibus. Na primeira parada, 11 pessoas saem do nibus e 9 entram. Na segunda parada, 2 pessoas saem do nibus e 2 entram. Na parada seguinte, 12 pessoas entram e 16 pessoas saem. Na prxima parada, 5 pessoas entram no nibus e 3 saem. Pergunta: Qual a cor dos olhos do motorista do nibus? 1.7.18 O pai de Marianne tem cinco filhas: a) Chacha b) Cheche c) Chichi d) ?????? e) Chuchu Pergunta: Qual o nome da quarta??? 1.7.19 Sabendo-se que se somarmos dois nmeros pares encontraremos um nmero par; se somarmos dois nmeros mpares tambm encontraremos um nmero par e, somente, se somarmos um nmero par com um nmero mpar, encontraremos um nmero mpar,

1 - Introduo

Pgina 11

 correto pensar que, em um jogo de par-ou-mpar: (A) ter maior probabilidade de vencer o jogador que pedir mpar e colocar um nmero mpar. (B) ter maior probabilidade de vencer o jogador que pedir mpar e colocar um nmero par. (C) ter maior probabilidade de sair vitorioso o jogador que pedir par e colocar um nmero par. (D) ter maior probabilidade de sair vitorioso o jogador que pedir par e colocar um nmero mpar. (E) os dois jogadores tero sempre a mesma probabilidade de vencer. 1.7.20 Relacione as sries que possuem a mesma sequncia lgica utilizando o alfabeto oficial (que no inclui as letras K, W e Y) e assinale a opo que contm a numerao correta. (1) A F B E ( ) H N L J (2) B G E D ( ) L P N L (3) L H E B ( ) H N I M (4) G L I G ( ) U R O L (A) (B) (C) (D) (C) 2 2 2 1 1 4 1 4 4 4 1 4 3 3 2 3 3 1 2 3

1.7.21 Quantas vezes os ponteiros de um relgio se sobrepem por dia? 1.7.22 As pessoas querem envelhecer? 1.7.23 Divida 30 por 1/2 e some 10. Qual o resultado? 1.7.24 Um mdico receita trs comprimidos e diz para tomar um a cada meia hora, quantos minutos duram os comprimidos? 1.7.25 Se voc pegar 3 bananas de um prato que contm 13 bananas, com quantas bananas voc fica? [4] 1.7.26 O que voc pe em uma torradeira ? 1.7.27 Diga cinco vezes: meite, meite, meite, meite, meite. Agora soletre meite. Diga-nos: O que bebem as vacas? 1.7.28 Se voc reordenar as letras "RAPIS" o resultado ser o nome de: (A) Cidade (B) Oceano (C) Pas (D) Animal (E) Estado 1 - Introduo Pgina 12

1.7.29 Um avio com 100 pessoas a bordo caiu junto fronteira de Espanha. A cabina da Primeira Classe caiu em Espanha, o resto do avio caiu no lado portugus. Qual pas tm a obrigao de enterrar os 18 sobreviventes portugueses que viajavam em Primeira Classe? (A)Portugal (B) Espanha (C) Nenhum (D) O pas onde est registrado o avio 1.7.30 Aconteceu h uns trinta anos atrs, e um avio estava voando a uns 6.000 metros sobre a Alemanha (voc se lembra que a Alemanha nessa poca estava dividida politicamente em duas: Alemanha Ocidental e Alemanha Oriental) Bem, seguindo a estria, durante o vo um dos motores falhou. O piloto, percebendo que o motor restante tambm estava falhando, decidiu uma aterrissagem forada. Infelizmente o motor restante falhou antes que ele pudesse fazer essa manobra e o avio caiu no meio da terra de ningum, entre a Alemanha Ocidental e a Alemanha Oriental. Aonde voc enterraria os sobreviventes ? Na Alemanha Oriental, na Ocidental ou na terra de ningum ? 1.7.31 Verifique se a argumentao vlida ou est bem construda: a) lgico que a Terra redonda, pois o limo redondo, a bola de futebol redonda e a cabea do Diego tambm redonda... b) Todo mundo perde guarda-chuvas, mas ningum encontra. Por outro lado, todo mundo acha clipe, mas ningum nunca o compra Logo, o guarda-chuva deve virar clipe, certo? c) Cartaz em sala de aula: Nesta sala proibido comer e beber Ento, na sala pode-se: S comer sem beber S beber sem comer Comer e chupar a bebida com um canudinho d) Hoje em dia, os trabalhadores no tm tempo pra nada. J os vagabundos... tm todo o tempo do mundo. Como tempo dinheiro. Ento, os vagabundos tem mais dinheiro do que os trabalhadores. e) The liar's paradox: "This statement is false." This statement is true if and only if it is false, and therefore it is neither true nor false

1 - Introduo

Pgina 13

1.8 Para saber mais [1] Hillis, Daniel O Padro Gravado na Pedra - Editora Rocco; Rio de Janeiro; 2000 [2] McInerny, D.Q.- Use a Lgica - Editora BestSeller; Rio de Janeiro; 2006 [3] Popper, Karl R.- O Conhecimento e o Problema Corpo-Mente Edies 70; Lisboa, Portugal; 1996 [4] Stewart, Ian Almanaque das Curiosidades Matemticas Jorge Zahar Ed.; Rio de Janeiro; 2009

1 - Introduo

Pgina 14