Projeto TEIA DO SABER 2006 UNESP Campus de Guaratinguet Secretaria de Estado da Educao, SP.

. Departamento de Matemtica Diretoria de Ensino da Regio de Guaratinguet Coordenador Prof. Dr. Jos Ricardo R. Zeni Metodologias de Ensino de Disciplinas da rea de Cincias da Natureza, Matemtica e suas Tecnologias do Ensino Mdio: Matemtica I (Curso Inicial)

INTRODUO LGICA
A lgica a cincia do raciocnio.
A lgica se dedica ao estudo dos conceitos de prova e verdade. Um dos objetivos da lgica determinar se a argumentao utilizada por algum para se chegar a uma certa concluso vlida ou no. A lgica tem sido utilizada em todos as reas da cincia: exatas, biolgicas e humanas. de uso comum por parte do matemtico, do cientista da computao, do engenheiro, do advogado, do biolgo, do historiador, etc...

LGICA CLSSICA
Existem vrios tipos (especialidades) de lgica: a bifurcao fundamental consiste na diviso entre lgicas clssicas e no clssicas. As lgicas clssicas (bivalentes) so baseadas em dois princpios:

Princpio do "terceiro excludo": uma sentena ou verdadeira ou falsa. Princpio da no contradio: uma sentena no pode ser verdadeira e falsa ao mesmo tempo. LGICA E LINGUAGEM
Nem toda sentena da lngua portuguesa pode ser atribuda um valor verdade, V ou F, como por exemplo, as sentenas interrogativas (Para onde voc vai?), as sentenas imperativas (Faa os exerccios.) e as exclamativas (Que belo!), no so em geral consideradas como sentenas lgicas. Por outro lado, as sentenas declarativas, isto , sentenas que emitem um juzo (e portanto, as quais podem ser atribuda um valor verdade), so reconhecidas como sentenas lgicas e, formam junto com os conectivos lgicos, o "Clculo de Proposies", uma linguagem para o raciocnio lgico.

MTODO AXIOMTICO
A obra de Euclides, que viveu por volta de 300a.C., sobre geometria fundou as bases para o que hoje se conhece como mtodo axiomtico para elaborao de teorias matemticas: a partir de alguns conceitos primitivos (ponto, reta, plano, ngulo, etc...) e de alguns axiomas (proposies no demonstradas sobre os conceitos primitivos, como por exemplo, o quarto axioma de Euclides: por um ponto fora de uma reta passa uma nica perpendicular a esta reta), vo se estabelecendo definies e teoremas (proposies sobre as definies), em um grau de dificuldade crescente. A abordagem de Euclides um marco histrico na matemtica. Apesar de muitos dos resultados de Euclides serem conhecidos por outros povos anteriores sua poca, como por exemplo, os egpcios, que tinham acumulado um grande conhecimento sobre geometria que lhes era til na agricultura e na astronomia, diferentemente dos egpcios, Euclides no apenas reuniu uma extensa coleo de resultados em sua obra, ele estruturou esses resultados de modo lgico, demonstrando que alguns resultados so conseqncias lgicas de outros.

HISTRICO
Usualmente, se estabelece um marco para a origem da lgica com os gregos, cerca de 500 anos antes de Cristo, devido ao extenso registro sobre o assunto deixado pelos mesmos. Por mais de mil anos, de 400dc at 1600dc, poucas contribuies foram acrescentadas a lgica neste perodo, assim como aconteceu com quase todas as cincias. No sculo XIX, foram feitas contribuies relevantes para a lgica, destacando-se George Boole (1815-1864), Augustus de Morgan (1806-

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

1871) e Gottlob Frege (1848-1925). Estas contribuies permitiram a apresentao da lgica proposicional de modo axiomtico, a lgica passando a se constituir uma teoria formal. Lgica e Matemtica: o sucesso destas novas formulaes para a lgica, teve repercusses em outras reas da matemtica. No fim do sculo XIX e incio do sculo XX, houve um movimento sem precedentes para formalizar ainda mais as teorias matemticas, como por exemplo, a geometria e a teoria dos nmeros. Os matemticos queriam ter certeza que suas teorias estavam estruturadas em bases slidas. Por exemplo, se a noo de nmeros reais no pudesse ser formalizada de modo consistente, que dizer ento do clculo diferencial e integral?

OUTRAS APLICAES
A lgica aplicada em diversas reas onde as variveis so bivalentes. Lgica e aritmtica na base dois (binria): na base dois, os dgitos possveis so 0 ou 1. A soma de dois bits (dgitos binrios) pode ser formulada atravs de duas expresses lgicas. Isto permite que as operaes da aritmtica possam ser realizadas atravs de circuitos digitais. Lgica e Circuitos Digitais: por exemplo, na eletrnica, um interruptor tem dois estados possveis: ligado ou (exclusivo) desligado. A lgebra dos interruptores (circuitos digitais) pode ser formulada atravs da lgica, assim como expresses lgicas podem ser representadas por circuitos. Lgica e Inteligncia Artificial: o mtodo dedutivo um dos fundamentos dos sistemas especialistas, sistemas inteligentes dotados de uma base de conhecimento e de um mtodo dedutivo que permite tirar concluses a partir de alguns dados. Sistemas deste tipo tem sido utilizados em diversas reas como por exemplo, no auxlio a diagnsticos mdicos, e na agricultura.

EXERCCIOS
1. Para quais sentenas abaixo possvel atribuir um valor verdade, V ou F? a. Existe vida em outro planeta. b. V estudar. c. Ele honesto. d. Agora no est chovendo. e. Vamos ao cinema? 2. Teste seu conhecimento. As questes abaixo tem um valor verdade definido de acordo com a rea do conhecimento a que se referem. Responda qual o valor verdade de cada alternativa. a. O nmero 143 primo. b. Para todo nmero real positivo, x2 x. c. Na base dois, 101 + 110 = 1011. d. Para que um corpo se mantenha em movimento, deve existir uma fora atuando sobre ele. e. Todo tringulo inscrito em uma semi-circunferncia, com um lado igual ao dimetro, retngulo. f. Se um nmero divisvel por 3 ento ele divisvel por 9. 3. Lgicas No Clssicas. O estudo de lgicas no clssicas motivado por sistemas para os quais podem ser importantes atribuir mais do que dois valores. Um exemplo clssico o da mquina de lavar roupas. A maioria das mquinas atuais tm usualmente dois estados: vazio ou cheio, conforme a mquina est sendo usada ou no. Se for necessrio lavar alguma roupa, deve-se encher a mquina de gua, independente da quantidade de roupa que ser lavada. Este certamente, no um sistema inteligente. Seria mais adequado uma mquina que ajustasse o volume de gua para a quantidade de roupa a ser lavada. Elabore outros exemplos do cotidiano para os quais seria conveniente considerar outros estados, alm de Cheio/Vazio, Sim/No, Ligado/Desligado, etc...

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

Lgica para Concursos

Considere um concurso cuja prova constituda de questes de mltipla escolha, cada questo tendo quatro alternativas. A chance de uma pessoa acertar uma questo "no chute", isto , escolhendo aleatoriamente uma alternativa, de 25%. Entretanto, se a comisso que elaborou a prova no tiver cuidado e o candidato agir de modo lgico, em algumas questes esta chance pode aumentar, pois algumas alternativas podem ser eliminadas. Para as questes abaixo, verifique se alguma alternativa pode ser excluda apenas utilizando o raciocnio lgico, sem necessidade de conhecimento especfico sobre a questo. Questo 1. Marque a alternativa correta. De acordo com as leis da Atlntida (um pas imaginrio) a. b. c. d. Uma empresa no pode empregar menores de dezoito anos. Menores de dezoito anos podem se casar sem autorizao dos pais. Menores de dezoito anos no podem votar. Uma empresa pode empregar menores de dezoito anos.

Questo 2. Marque a alternativa falsa. De acordo com os cientistas do planeta Logus a. A velocidade da luz depende da regio do espao em que ela est viajando. b. A luz das estrelas branca. c. A trajetria da luz se curva ao passar em regies de gravidade elevada. d. A luz das estrelas amarela. Atividade em sala: leia o problema, discuta a formulao e a resoluo do problema com o grupo e descreva (redao) seu raciocnio. Reflexo posterior: analise a possibilidade de trabalhar problemas deste tipo em sala de aula. Atividades opcionais (em casa): (i) Caso a questo 2 acima fosse "Marque a alternativa correta", sua anlise ainda seria vlida? (ii) Procure em provas de concurso, por exemplo, no ENEM, no SARESP ou no vestibular, para ver se voc encontra questes que permitem este tipo de anlise ou similares. (iii) Elabore pelo menos duas estratgias que permitam analisar as alternativas de modo lgico e eventualmente eliminar da resposta algumas alternativas.

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

Raciocnio Lgico. Problemas e Desafios. 1. [Smullyan] Um senhor tem um cavalo de uma nica cor. Este senhor tem trs amigos, Joo, Pedro e Roberto, que no conhecem a cor do cavalo. Os amigos decidem tentar adivinhar a cor do cavalo. Para facilitar, o senhor diz que a cor do cavalo ou branca, ou marrom ou cinza. Joo diz que o cavalo branco. Pedro diz que ou o cavalo branco ou marrom. Roberto diz que o cavalo no cinza. Aps ouvir as tentativas dos amigos, o senhor diz que dois deles esto correto e um est errado. Determine a cor do cavalo. 2. [Mortari] Os brincos das Princesas. Um rei tem trs filhas: Ana, Jlia e Tatiana, todas inteligentes. Para decidir qual delas vai herdar o reino, o rei faz um desafio para elas. O rei dispe de cinco pares de brincos, sendo 3 pares de esmeralda (verde) e 2 pares de rubi (vermelho). As princesas tero os olhos vendados e ser colocado um par de brincos em cada uma. A primeira princesa que disser com certeza qual a pedra (cor) do seu brinco herdar o trono, desde que justifique qual o raciocnio utilizado para chegar a esta concluso. A princesa que quiser tentar, ter os olhos desvendados podendo ver os brincos que as irms esto usando mas no podendo ver o brinco que usa (a sala no tem espelhos). Quem errar ser retirada da sala. Ana a primeira a tentar, mas aps ver os brincos das irms conclui que no tem certeza sobre qual brinco que est usando e portanto retirada da sala. Jlia a prxima a tentar, mas tambm aps ver o brinco de Tatiana conclui que no tem certeza sobre qual brinco que est usando e tambm retirada da sala. Antes que tirassem a venda dos olhos de Tatiana ela responde corretamente qual o brinco que est usando e descreve seu raciocnio para o pai, herdando assim o trono. Qual a pedra (cor) do brinco de Tatiana. Justifique seu raciocnio. 3. Os Porteiros do Cu e do Inferno. Aps a morte, um senhor foi deixado em um local onde havia duas entradas: uma para o cu e outra para o inferno. Cada entrada tinha um porteiro. As entradas e os porteiros no podem ser distinguidas visualmente. Para decidir qual das entradas escolher, este senhor pode fazer uma nica pergunta a um dos porteiros. A pergunta deve se referir ao cu ou ao inferno, ou aos prprios porteiros. Ele havia sido informado de que o porteiro do inferno sempre mentia, e o porteiro do cu sempre dizia a verdade. Determine qual das perguntas abaixo permite a este senhor decidir com certeza sobre qual a entrada do cu. a. b. c. d. Esta a entrada do cu? Voc diz a verdade? O outro porteiro diz a verdade? Se voc fosse o outro porteiro, voc diria que esta a entrada do cu?

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

Raciocnio Lgico. Problemas e Desafios II. Modelagem Matemtica. 1. [Elon] Um garoto deseja cozinhar um ovo em 15 minutos, entretanto ele no dispe de um relgio, e sim de duas ampulhetas. Uma das ampulhetas marca um intervalo de tempo de 7 minutos e a outra marca 11 minutos. Como o garoto poder ter certeza de cozinhar o ovo em 15 minutos usando apenas as duas ampulhetas? 2. [Concurso] Uma bomba de vcuo retira metade do ar de um recipiente fechado a cada bombada. Sabendo que aps 5 bombadas foram retirados 62 centmetros cbicos de ar, calcule a quantidade de ar que permanece no recipiente aps essas bombadas. 3. Ao morrer um senhor deixou uma herana no valor de R$90.000,00 para trs herdeiros: a esposa e dois filhos. Um juiz decidiu que a herana deve ser repartida da seguinte maneira: a viva deve receber metade do total, e a outra metade deve ser repartida igualmente entre a viva e os dois filhos. Quanto deve receber cada herdeiro? 4. Trs scios abrem uma farmcia. O capital investido por Jos quatro teros do que Roberto investiu e o capital investido por Carlos dois teros do que Jos investiu. Se o investimento total foi de R$58.000,00, calcule quanto cada scio investiu na farmcia. 5. [Adaptado de Malba Tahan] Problema dos marinheiros. O comandante de um navio quer recompensar dois bravos marinheiros. Assim, entregou ao secretrio uma caixa contendo entre duzentas e quarenta e duzentos e cinqenta moedas, para que, no dia seguinte, fossem distribudas igualmente entre os dois marinheiros. Entretanto, ao anoitecer um dos marinheiros, sem nada dizer ao companheiro, foi sorrateiramente at onde se achava a caixa com moedas e dividiu-a em duas partes iguais, entretanto a diviso no era exata e sobrava uma moeda. Por causa desta moedinha capaz de haver discusso amanh, o melhor jog-la fora, pensou o marinheiro e assim o fez, levando a sua parte e deixando o restante no mesmo lugar. Horas depois, o segundo marinheiro teve a mesma idia. Foi at o lugar onde se encontrava a caixa de moedas, dividiu o total em duas partes iguais, observando que sobrava uma moeda, resolveu atir-la ao mar, levando a sua parte. No dia seguinte, o secretrio reuniu os dois marinheiros para cumprir a ordem do comandante. Abriu a caixa de moedas, dividiu-a em duas partes iguais, dando a cada um dos marinheiros uma parte. Observando que sobrava uma moeda na caixa, guardou-a para si como pagamento pelo servio prestado. Nenhum marinheiro reclamou, pois cada um achava que j havia retirado a parte que lhe cabia. (i) Quantas eram as moedas na caixa? (ii) Quanto recebeu cada um dos marinheiros?

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

RESPOSTAS DOS EXERCCIOS DE LGICA Apostila: Introduo lgica. 1. As sentenas das alternativas a e d podem ser atribudas um valor verdade. A sentena da alternativa c tambm pode, desde que se conhea sobre quem se est falando. 2. a. Falso, 143 = 1113. d. Falso. b. Falso, x = um contraexemplo. c. Verdade. e. Verdade. f. Falso, x = 6 um contraexemplo.

Lgica para Concursos Questo 1: as alternativas A e D so contraditrias, uma a negao da outra. Assim, uma delas deve ser verdade. Portanto, as alternativas B e C podem ser descartadas. Questo 2: as alternativas B e D so inconsistentes, ambas no podem ser verdade. Assim, uma delas deve ser falsa. Portanto, as alternativas A e C podem ser descartadas. Raciocnio Lgico. Problemas e Desafios I. Estes problemas so resolvidos por exausto, considerando-se todas as possibilidades. 1. A cor do cavalo marrom. Anlise: vamos analisar a possibilidade de cada amigo estar certo ou no. Se Joo estiver certo, Pedro e Roberto tambm estaro certos mas, isto contradiz o que o dono do cavalo afirmou (que apenas 2 estavam corretos). Como Joo est errado, o cavalo no branco. Se Pedro estiver certo ento, Roberto tambm estar certo e como j vimos que Joo est errado, isto coerente com o que o dono afirmou. Assim, Pedro est certo e como Pedro disse que o cavalo branco ou marrom, a cor do cavalo deve ser marrom. 2. O brinco de Tatiana de esmeralda. Anlise: o que Ana pode ter visto? Se suas irms estivessem ambas com brincos de rubi, ento Ana teria certeza que o seu brinco de esmeralda. Assim, suas irms devem estar ambas com brincos de esmeralda ou uma com esmeralda e a outra com rubi. O que Jlia pode ter visto? Se Tatiana estivesse usando rubi, Jlia saberia que seu brinco de esmeralda, pois caso contrrio Ana teria ganho o desafio. Assim, o brinco de Tatiana de esmeralda. 3. A alternativa D. Anlise: deve ser uma pergunta para a qual os porteiros tenham respostas diferentes. Para a pergunta da alternativa D, a resposta do porteiro do cu no, enquanto a resposta do porteiro do inferno sim. Para as perguntas das alternativas A, B e C ambos os porteiros dariam a mesma resposta, sim para A e B e no para C.

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

RESPOSTAS DOS EXERCCIOS DE LGICA Problemas e Desafios II. Modelagem Matemtica. 1. O garoto deve proceder da seguinte maneira: vire as duas ampulhetas juntas e quando esgotar a ampulheta de 7 minutos, comece a cozinhar o ovo marcando o tempo na ampulheta de 11 minutos. Observe que faltam apenas 4 minutos para esgotar esta ampulheta. Quando a ampulheta de 11 minutos esgotar, vire-a de novo, reiniciando a marcao do tempo. Quando esta ampulheta se esgotar novamente, o ovo estar cozido. 2. Volume de ar que permanece no recipiente igual a 2cm3. Anlise: o volume de ar que permanece igual ao volume inicial, V, menos o volume retirado. O volume retirado a cada bombada descrito na tabela abaixo Bombada 1. 2. 3. 4. 5. Volume Retirado V/2 V/4 V/8 V/16 V/32 Assim, o volume inicial, V, pode ser calculado da equao V/2 + V/4 + V/8 + V/16 + V/32 = 62cm3, obtendo V = 64cm3. 3. Viva deve receber x = R$60.000,00 e cada filho y = R$15.000,00. Anlise (fraes): metade da herana = 1/2 de 90 = 45. um tero da metade = 1/3 de 45 = 15. 4. Roberto deve receber x = R$18.000,00, Jos y = R$24.000,00, e Carlos z = R$16.000,00. Anlise por equao em uma varivel: seja x o capital investido por Roberto. capital investido por Jos = 4/3 x. capital investido por Carlos = (2/3).(4/3).x. = 8/9 x. Total investido pelos scios: x + 4/3 x + 8/9 x = 58.000. Anlise por sistema de equaes: o problema pode ser modelado pelas seguintes relaes x + y + z = 58.000, y = 4/3 x, z = 2/3 y. 5. Anlise por sistema de equaes:

Definio das variveis

t x y s = = = =

total de moedas na caixa, moedas que o 1. Marinheiro retirou de noite, moedas que o 2. Marinheiro retirou de noite, moedas distribudas a cada marinheiro pelo secretrio. t = 2x +1, x = 2y + 1, y = 2s + 1.

Relaes entre as variveis:

Usando as equaes para eliminar as variveis x e y, obtm-se uma relao entre t e s t = 8s + 7. Do enunciado do problema, sabemos que 240 t 250. Assim, temos que s = 30 e t = 247. Tambm, das equaes acima obtemos x = 123 e y = 61. Finalmente, total de moedas que o 1. Marinheiro recebeu = x + s = 123 + 30 = 153, total de moedas que o 2. Marinheiro recebeu = y + s = 61 + 30 = 91. Observao: a soma das moedas que cada marinheiro recebeu igual ao total de moedas menos 3 (2 jogadas fora mais 1 que ficou com o secretrio).

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP.

RESPOSTAS DOS EXERCCIOS DE LGICA Problemas e Desafios II. Modelagem Matemtica. Resolues Alternativas. 4. Resoluo por fraes: represente o capital de Roberto por um retngulo.

Capital de Roberto Como o capital de Jos 4/3 do de Roberto, vamos dividir o capital de Roberto em 3.

Capital de Roberto.

Capital de Jos.

O capital de Carlos 2/3 do capital de Jos. Agora, no desenho acima o capital de Jos composto de 4 retngulos. Dividindo cada retngulo em 3, como no desenho abaixo, pode-se obter o capital de Carlos

Capital de Jos.

Capital de Carlos.

Do desenho acima, o capital de Jos corresponde a 12 retngulos menores, o de Carlos a 8 e o de Roberto a 9 (cada retngulo maior equivale a 3 retngulos menores). Assim, o total de retngulos menores 29 e corresponde a 58 mil reais (o capital total dos 3 scios). Portanto, cada retngulo menor corresponde a 2 mil reais. Finalmente, capital de Jos = 12 retngulos menores = 12 x 2 = 24 (mil reais). capital de Carlos = 8 retngulos menores = 8 x 2 = 16 (mil reais). capital de Roberto = 9 retngulos menores = 9 x 2 = 18 (mil reais). 5. Resoluo por exausto. Seja t o total de moedas na caixa. Foi dado no problema que 240 t 250. Quando o 1. marinheiro dividiu t por 2 o resto foi 1, portanto t deve ser mpar. Assim, as possibilidades se reduzem a t = 241, 243, 245, 247 ou 249. Aps o furto do 1. marinheiro, o total de moedas na caixa foi reduzido a metade, os valores possveis so x = 120, 121, 122, 123 ou 124. Pelo mesmo raciocnio, quando o 2. marinheiro dividiu por 2 o total de moedas que havia na caixa (naquele momento) o resto foi 1, portanto aquele total deve ser mpar. Assim, as possibilidades se reduzem a x = 121 ou 123. Aps o furto do 2. marinheiro, o total de moedas na caixa foi novamente reduzido a metade, os valores possveis sendo y = 60 ou 61. Finalmente, pelo mesmo raciocnio, quando o secretrio dividiu por 2 o total de moedas que havia na caixa (naquele momento) o resto foi 1, portanto a nica possibilidade y = 61. Este valor corresponde a x = 123 e t = 247. O total de moedas distribudo pelo secretrio para cada marinheiro s = 30. Total de moedas que o 1. Marinheiro recebeu = x + s = 123 + 30 = 153, Total de moedas que o 2. Marinheiro recebeu = y + s = 61 + 30 = 91.

Lgica

Prof. Dr. Jos Ricardo R. Zeni

Projeto TEIA DO SABER - Secretaria de Estado da Educao, SP

REFERNCIAS BIBLIOGRFICAS
DIVERTIMENTOS LGICOS - BERLOQUINI, P., 100 Jogos Lgicos, editora Gradiva, 1998. - LIMA, Elon Lages, Meu Professor de Matemtica e Outras Estrias, SBM, 1999. - SMULLYAN, Raymond, O Enigma de Sherazade, Zahar Editor, 1998. - SMULLYAN, Raymond, Alice no Pas dos Enigmas, Zahar Editor, 2001. - STEWART, Ian, Mania de Matemtica, Zahar Editor, 2000. - TAHAN, Malba, O Homem que calculava, 20. edio, editora Conquista, 1961.

Revista Galileu, edio especial sobre matemtica, editora Globo, abril 2003.

- Revista Coquetel, Desafios de Lgica. MODELAGEM MATEMTICA - BASSANEZI, R. C., Ensino-aprendizagem com modelagem matemtica: uma nova estratgia. Editora Contexto, 2002.

- LIMA, Elon L. et al., Temas e Problemas, SBM, 2003. - POLYA, G., A arte de resolver problemas, editora Intercincia, 1978.
LGICA FORMAL - CASTRUCCI, Benedito, - MORTARI, Cezar A., Introduo Lgica Matemtica, editora Nobel, 1984. Introduo Lgica, editora UNESP, 2001. Lgica, editora Mc-GrawHill (Makron do

- NOLT, John e ROHATIN, Dennis, Brasil), Coleo Schaum, ano 1991.

- DAGHLIAN, Jacob, Lgica e lgebra de Boole, editora Atlas, 1995. - HEGENBERG, Lenidas, Lgica, Simbolizao e Deduo, editora EDUSP, 1975.

LGICA E OUTRAS CINCIAS - ALVES, Alar C., Lgica: Pensamento Formal e Argumentao, Elementos para o Discurso Jurdico, editora Edipro, 2000. - BARKER, Stephen F., Filosofia da Matemtica, editora Zahar, 1976. - ILARI, Rodolfo, Introduo ao Lxico, editora Contexto, 2000. - ILARI, Rodolfo, Introduo Semntica, editora Contexto, 2002. - TAHAN, Malba, A Lgica na Matemtica, editora Saraiva, 1966.

Lgica

Prof. Dr. Jos Ricardo R. Zeni