A ARITMTICA DO RACIOCNIO Lgica e lgebra Booleana Computadores pensam? Muitas vezes, parece que sim.

Fazem perguntas, oferecem sugestes, corrigem nossa gramtica, acompanham nossas finanas e calculam nossos impostos. s vezes, parecem enlouquecedoramente perversos, entendem mal o que temos a certeza de lhes ter dito, perdendo nosso precioso trabalho ou se recusando a tender a todas as nossas solicitaes razoveis! Porm, quanto mais um computador parece pensar, tanto mais na realidade um tributo capacidade de pensar dos humanos, que acharam meios de expressar atividades racionais cada vez mais complexas inteiramente por sequncias de 0s e 1s. Tentativas de reduzir a razo humana a processos mecnicos remontam pelo meios aos silogismos de Aristteles no sculo IV a.C. Um exemplo mais recente ocorre na obra do grande matemtico alemo Gottfried Wilhelm Leibniz. Uma das muitas realizaes de Leibniz foi a criao, em 1694, de um artefato mecnico de clculo, que podia somar, subtrair, multiplicar e dividir. Essa mquina, chamada Stepped Reckoner, era um aperfeioamento da primeira mquina de somar mecnica, a Pascaline, de Blaise Pascal, de 1642, que s podia somar e subtrair. Diferentemente da Pascaline, a mquina de Leibniz usava o sistema de numerao binrio em seus clculos, representando todos os nmeros como sequncias de 1s e 0s. Leibrz, que tambm inventou o clculo independentemente de Isaac Newton, ficou intrigado com a viso de um "clculo da lgica". Ele buscou criar um sistema universal de raciocnio que seria aplicvel a toda cincia. Ele queria que seu sistema funcionasse "mecanicamente" segundo um conjunto de regras simples para deduzir novas asseres a partir de outras j conhecidas, partindo de umas poucas hipteses lgicas bsicas. Para implementar essa lgica mecnica, Leibniz percebeu que suas asseres deviam ser representadas simbolicamente de algum modo; assim, ele procurou desenvolver uma caracterstica universal, uma linguagem simblica da lgica. Planos iniciais para esse trabalho apareceram em sua publicao de 1666, De Arte Combinatria-, muito do resto de seus esforos permaneceu no publicado at o comeo do sculo XX. Assim, suas percepes profticas sobre relaes abstratas e uma lgebra da lgica tiveram pouca influncia continuada sobre a matemtica dos sculos XVIII e XIX. O tratamento simblico da lgica como sistema matemtico comeou com o trabalho de Augustus De Morgan (1806-1871) e George Boole (1815-1864), dois amigos e colegas que personificaram o sucesso perante a adversidade. De Morgan nasceu em Madras, na ndia, cego de um olho. Apesar dessa deficincia, formou-se com distino no Trinity CoUege, em Cambridge, e foi nomeado professor de matemtica na Universidade de Londres aos 22 anos. Era um homem de interesses matemticos variados e tinha a reputao de ser um professor brilhante, embora um tanto excntrico. Escreveu textos e artigos populares sobre lgica, lgebra, histria da matemtica e vrios outros tpicos e foi cofundador e primeiro presidente da London Mathematical Society. De Morgan acreditava que a separao, feita no sculo XIX, entre matemtica e lgica era artificial e prejudicial, de modo que trabalhou para colocar muitos conceitos matemticos sobre bases lgicas mais firmes e tomar a lgica mais matemtica. Talvez pensando na sua deficincia de cegueira parcial, ele resumiu suas opinies dizendo: Os dois olhos de cincia exata so a matemtica e a lgica: a seita matemtica apaga o olho da lgica, e a seita lgica apaga o olho da matemtica; cada uma acreditando que pode ver melhor com um olho do que com dois. George Boole, filho de um comerciante ingls, comeou a vida sem dinheiro nem privilgio. No entanto, aprendeu sozinho grego e latim e adquiriu suficiente instruo para se tomar professor da escola elementar. Boole j tinha 20 anos quando comeou a estudar matemtica seriamente. Apenas onze anos mais tarde publicou The Mathematical Analysis of Logic (A Anlise Matemtica da Lgica), em 1847, o primeiro de dois livros que lanaram os fundamentos para o tratamento numrico e algbrico do raciocnio lgico. Em 1849 se tomou professor de matemtica

no Queens College, em Dublin. Antes de sua morte repentina e prematura aos 49 anos, Boole tinha escrito vrios outros livros de matemtica que hoje so considerados clssicos. Seu segundo, e mais famoso, livro de lgica, An Investigation of the Laws of Thoiight (Uma Investigao das Leis do Pensamento), de 1854, elabora e codifica as idias exploradas no livro de 1847. Essa abordagem simblica da lgica levou ao desenvolvimento da lgebra boolena, a base dos sistemas modernos de lgica de computadores. O elemento-chave da obra de Boole foi seu tratamento sistemtico de proposies como objetos cujos valores-verdade podem ser combinados por operaes lgicas de modo bem parecido com a maneira como nmeros podem ser somados e multiplicados. Por exemplo, se cada uma das proposies P eQ puder ser verdadeira ou falsa, ento h somente quatro casos de valoresverdade possveis a considerar quando so combinados. O fato de a proposio "P e Q" ser verdadeira se e somente se ambas as proposies forem verdadeiras pode ser representado pela primeira tabela na Figura 1. Analogamente, a segunda tabela da Figura 1 capta o fato de que "P ou Q" verdadeira sempre que pelo menos uma das duas proposies verdadeira. A tabela final mostra o fato de que uma proposio e sua negao sempre tm valores opostos. e V V F V F F F F V F ou V V V F V F V F no F V

Figura 1 Assim, um passo fcil traduzir V e F para 1 e 0 e considerar as tabelas de operao lgica (mostradas na Figura 2) como base para imia aritmtica um tanto inusitada, mas que funciona perfeitamente, um sistema com muitas das mesmas propriedades algbricas que a adio, a multiplicao e o oposto de nmeros. e 1 1 0 1 0 ou 1 0 1 0 1 1 1 0 no 0 1

0 0 0

1 0

Figura 2 De Morgan tambm foi um proponente influente e persuasivo do tratamento algbrico da lgica. Suas publicaes ajudaram a refinar, estender e popularizar o sistema iniciado por Boole. Entre as muitas contribuies de De Morgan a essa rea esto duas leis que agora tm seu nome, que captam perfeitamente o modo simtrico como as operaes lgicas e e ou se comportam com relao negao: no-(P e G) @ (no-P) ou (no-Q) no-(P ou Q) @ (no-P) e (no-Q) Entre as importantes contribuies de De Morgan teoria matemtica da lgica est o fato de enfatizar que as relaes so, por si ss, objetos merecedores de estudo detalhado. Muito desse trabalho ficou em grande parte inobservado at ser ressuscitado e estendido por Charles Sanders Pierce (1839-1914) no ltimo quarto do sculo XIX. C. S. Pierce, filho do matemtico e astrnomo de Harvard, Benjamin Pierce, fez contribuies a muitas reas da matemtica e da

cincia. No entanto, como seu interesse em filosofia e lgica se tornou cada vez mais pronunciado, seus escritos migraram nessa direo. Ele distinguiu seu interesse em uma lgebra da lgica daquele de seu pai e outros matemticos, dizendo que os matemticos queriam chegar a suas concluses to rapidamente quanto possvel e, assim, estavam dispostos a pular etapas quando sabiam a que levava um argumento; os lgicos, entretanto, queriam analisar as dedues to cuidadosamente quanto possvel, dividindo-as em etapas pequenas, simples. Essa reduo do raciocnio matemtico a longas cadeias de passos pequeninos, mecnicos, era um pr- requisito fundamental para a "era do computador". Os progressos do sculo XX no projeto de artefatos eltricos, junto com a traduo de 1 e O para estados eltricos ligado e desligado, culminou em calculadoras eletrnicas que mais do que cumpriam a promessa do Stepped Reckoner de Leibniz. Cdigos-padro para smbolos do teclado permitem a tais mquinas ler e escrever palavras. Mas foi o trabalho de Boole, De Morgan, C. S. Pierce e outros que, ao transformarem o raciocnio de palavras para smbolos e, ento, para nmeros, levou ao computador moderno, cujo clculo rpido de longas cadeias de Is e Os lhe d o poder de "pensar" seu camirio por meio das aplicaes cada vez mais intrincadas da lgica matemtica. 01010100 01101000 01100101 01000101 01101110 01100100 QUESTES 1. Construir tabelas 0-1 freqentemente um modo eficiente de verificar que proposies lgicas so verdadeiras. a. A negao toma verdadeiras proposies falsas, e falsas as verdadeiras; assim ela inverte os valores 0-1 em uma tabela-verdade. Supondo que a coluna e a linha especificam os valores-verdade para P e Q respectivamente, faa tabelas para "no (P e Q)" e "(no P ) " ou "(no Q)". Como seus resultados se relacionam com as Leis de De Morgan? b. Use tabelas 0-1 para verificar a segunda das Leis de De Morgan. 2. Alm de e, ou e no, h mais um operador lgico bsico. a forma condicional "se... ento". Na lgica matemtica, a proposio "Se P, ento Q" falsa somente quando P verdadeira e Q falsa; em todos os outros casos, considerada verdadeira. a. Faa uma tabela 0-1 para o operador "se... ento". Especifique o que representa, na tabela, P (a hiptese) e Q (a concluso). b. Com as mesmas hipteses da Questo 1 (a), faa uma tabela 0-1 para "rio (se P, ento Q)". Essa proposio logicamente equivalente a "se (no P), ento (no Q)"? (Duas formas so logicamente equivalentes se tm os mesmos valores-verdade em todas as circunstncias.) D um exemplo de senso comum para ilustrar sua resposta. 3. Frequentemente, um passo intermedirio na traduo de um argumento lgico para uma linguagem a qual a mquina possa entender o uso dos smbolos para conectivos lgicos bsicos. Desse modo, a prosa complicada quebrada em uma srie de proposies declarativas simples conectadas por um dos quatro conectivos bsicos que descrevemos. Uma variedade de smbolos tem sido usada por anos; os seguintes so comuns agora: no: ~ e: ou: se... ento: @ Por exemplo: "Se o sol no estiver brilhando, ento eu irei s lojas ou ao cinema" pode ser escrita como " ~P @ (Q P)", em que P,Q e R significam "o sol est brilhando", "eu irei s lojas" e "eu irei

ao cinema", respectivamente. Reescreva cada uma das seguintes declaraes complexas como uma srie de proposies positivas simples conectadas por (algum dos quatro) smbolos lgicos definidos aqui. a. Se x=y e x no negativo, ento x no menor que y. b. Se o Postulado das Paralelas no verdadeiro, ou o Teorema de Pitgoras no verdadeiro, ento

a geometria no euclidiana. 4. Para que os computadores processem argumentos lgicos, os operadores lgicos devem ser traduzidos para circuitos eltricos (Charles Sanders Pierce parece ter sido o primeiro a mostrar que isso era possvel). Por exemplo, interruptores liga-desliga representam ou se estiverem unidos em paralelo, e e se estiverem em srie. Para eficincia de produo e operao, os operadores lgicos devem ser to simples quanto possvel. Se dois operadores sempre resultam nos mesmos valoresverdade, ento eles so logicamente equivalentes, e o mais simples pode ser usado em vez do mais complexo. Use tabelas 0-1 como auxlio para responder a estas questes. a. Pode "Q ou no (se P ento Q)" ser substitudo por "Q ou P"? b. "Se no P e Q, ento P e Q" pode ser substitudo por exatamente um destes: "se P, ento no Q", "se Q, ento P", "se no P, ento Q". Qual a substituio correta?