05/04/13

RPM 17 - A linguagem lgica

Magistrio em Ao

A Linguagem Lgica

Iole de Freitas Druck IME - USP

O trabalho com a Lgica durante o curso de Magistrio no deve ser um ponto programtico localizado em algum momento especfico da estrutura curricular, mas sim deve ser uma preocupao metodolgica presente sempre que algum ponto do programa permitir ou que o interesse da turma justificar uma explorao mais detalhada. Trata-se de um tema com amplas conotaes interdisciplinares e que se torna mais rico na medida em que for possvel perceber o quanto a lgica permeia as conversas informais entre amigos, a leitura de jornais ou revistas e as diversas disciplinas do currculo - no um instrumento s da Matemtica. O objetivo principal de um certo domnio da lgica o do desenvolvimento da capacidade de usar e entender um discurso correto, identificando construes falaciosas, ou seja, incorretas, mas com a aparncia de correo lgica. Desenvolver no aluno a capacidade de argumentar e compreender argumentos, bem como a capacidade de criticar argumentaes ou textos. Para perseguir este objetivo menos importante ou motivante um curso de lgica formal ou aristotlica, e mais relevante a discusso de exemplos e contra-exemplos de "afirmaes lgicas". Aprende-se mais, talvez, resolvendo uma charada lgica ou percebendo que se pode chegar a uma concluso falsa atravs de caminhos aparentemente lgicos do que, por exemplo, simplesmente decorando uma tabela de verdade. Esta ltima no uma arbitrariedade decidida por um gnio maluco - uma necessidade do raciocnio correto que s percebemos no uso concreto, com exemplos significativos. Assim, por exemplo, a resoluo do problema "Uma Aventura de Alice", abaixo descrito, pode ser uma motivao interessante para a introduo das tabelas de verdade e ao mesmo tempo ser uma atividade instigante para os alunos:

Exerccio 1: Uma Aventura de Alice. Alice, ao entrar na floresta, perdeu a noo dos dias da semana. 0 Leo e o Unicrnio eram duas estranhas criaturas que freqentavam a floresta. O Leo mentia s segundas, teras e quartas-feiras, e falava a verdade nos outros dias da semana. O Unicrnio mentia s quintas, sextas e sbados, mas falava a verdade nos outros dias da semana. Problema 1. Um dia Alice encontrou o Leo e o Unicrnio descansando sombra de uma rvore. Eles disseram: Leo: Ontem foi um dos meus dias de mentir. Unicrnio: Ontem foi um dos meus dias de mentir. A partir dessas afirmaes, Alice descobriu qual era o dia da semana. Qual era? Problema 2. Em outra ocasio Alice encontrou o Leo sozinho. Ele fez as seguintes afirmaes: (1) Eu menti ontem. (2) Eu mentirei daqui a 3 dias. Qual era o dia da semana? Problema 3. Em qual dia da semana possvel o Leo fazer as seguintes afirmaes? (1) Eu menti ontem. (2) Eu mentirei amanh. Problema 4. Em que dias da semana possvel o Leo fazer cada uma das seguintes afirmaes: (a) Eu menti ontem e eu mentirei amanh. (b) Eu menti ontem ou eu mentirei amanh. (c) Se menti ontem, ento mentirei de novo amanh. (d) Menti ontem se e somente se mentirei amanh. Resoluo: Dia da semana Leo Unicrnio Problema 1: Pela resposta do Leo, pode ser 2. ou 5.. 2. M V 3. M V 4. M V 5. V M 6. V M sb. V M dom. V V

- Pela resposta do Unicrnio, pode ser 5. ou domingo. Portanto, como os dois se referiam a um mesmo dia da semana, este era quinta-feira. Problema 2: file:///E:/17/3.htm
1/5

05/04/13 Problema 2:

RPM 17 - A linguagem lgica

Por (1), o dia poderia ser 2. ou 5..

- Por (2), como o Leo mentir 3 dias depois de hoje, hoje pode ser 2., 3., 4., 6., sbado, domingo. Logo, o dia da semana era segunda-feira. Problema 3: A afirmao (1) pode ser feita 2. ou 5.. A afirmao (2) pode ser feita 4* e domingo.

Portanto, no existe um dia na semana em que seja possvel o Leo fazer as duas afirmaes. Problema 4: (a) Esta afirmao (que uma conjuno) uma mentira quando alguma das suas componentes for falsa, logo, como mentira, o Leo pode afirm-la 2. ou 4.. Por outro lado, ela ser verdadeira somente quando suas duas componentes o forem, logo o Leo no poder afirm-la em nenhum dia em que fala a verdade. Resposta: 2. ou 4. (compare este exerccio com o Problema 3 e explique por que eles so diferentes). (b) Esta afirmao (que uma disjuno) mentirosa quando as suas duas componentes forem falsas, logo o Leo no poder afirm-la nos dias em que mente. Por outro lado, ela ser verdadeira quando pelo menos uma das suas componentes o for, assim o Leo poder afirmla na 5. ou no domingo. Resposta: 5. ou domingo. (c) Esta afirmao (que uma implicao), composta de duas outras, s falsa quando, sendo a primeira (premissa) verdadeira, a segunda (concluso) for falsa. Logo, o Leo poder afirmla mentirosamente somente na 4.(na 2. e na 3. a afirmao verdadeira - convena-se). Pelo mesmo motivo acima o Leo no poder diz-la na 5., dia em que fala a verdade. Nos demais dias de verdade ele poder afirm-la (6., sbado e domingo), j que, a premissa sendo falsa, a implicao verdadeira (pense nisso!). Resposta: 4., 6., sbado ou domingo. d) Esta afirmao (que uma equivalncia) verdadeira quando suas duas componentes forem verdadeiras ou quando forem as duas falsas. Assim, ela uma mentira, dentre os dias em que o Leo mente, somente na 2. ou na 4.. Dentre os dias em que ele fala a verdade, ele poder afirm-la somente na 6. ou no sbado. Resposta: 2., 4., 6. ou sbado. (Observao: Veja as tabelas de verdade no final do artigo.) Existem vrios livros ou revistas que contm problemas do tipo charada lgica". Na bibliografia citamos alguns. Estes problemas podem ser usados aqui ou ali para chamar a ateno de alguns tipos mais comuns de "falha de lgica" num raciocnio, como por exemplo: Exerccio 2. Leia as seguintes afirmaes: (1) Se um poltico tem muito dinheiro, ento ele pode ganhar as eleies. (2) Se um poltico no tem muito dinheiro, ento ele no pode ganhar as eleies. (3) Se um poltico pode ganhar as eleies, ento ele tem muito dinheiro. (4) Se um poltico no pode ganhar as eleies, ento ele no tem muito dinheiro. (5) Um poltico no pode ganhar as eleies se ele no tem muito dinheiro. Responda ento: (a) Assumindo que (1) verdadeiro, quais das outras afirmaes so verdadeiras. (b) Qual a negao de (1)? E a sua recproca? E a sua contrapositiva? (Veja "definies usadas", no final do artigo.) (c) Mesmas perguntas para (5). Resoluo: (a) Sendo (1) verdadeiro, no se pode saber nada sobre a veracidade de (2), (3) ou (5) (observe que (2) e (5) afirmam a mesma coisa). A nica que verdadeira como decorrncia de (1) a afirmao (4). (Observao: faa o exerccio do final do artigo.) (b) As definies dos conceitos aqui empregados esto tambm no final. - A negao de (1) : "Um poltico tem muito dinheiro e no pode ganhar as eleies". (Exerccio: utilizando as observaes do final, verifique que as tabelas de verdade de
file:///E:/17/3.htm 2/5

05/04/13

RPM 17 - A linguagem lgica

- A recproca de (1) (3). - A contrapositiva de (1) (4). (c) Sendo (5) verdadeira, (2), que a mesma afirmao com outra maneira de escrever, tambm ser obrigatoriamente verdadeira. Tambm (3), que a contrapositiva de (2), ser obrigatoriamente verdadeira. Nada se pode afirmar sobre a veracidade de (1) ou (4). A negao de (5) : "Um poltico pode ganhar as eleies e no ter muito dinheiro". A recproca de (5) (4).

- A contrapositiva de (5) (3). Tambm se pode levar o aluno a compreender mais claramente a diferena entre a estrutura lgica existente num enunciado e o contedo propriamente dito deste enunciado atravs de exerccios do tipo que segue:

Exerccio 3. Decida quais das afirmaes so vlidas. (a) Todos os girassis so amarelos e alguns pssaros so amarelos, logo nenhum pssaro um girassol. (b) Alguns livros so verdes e algumas coisas verdes so comestveis. Conclumos que alguns livros so comestveis. (c) Como todos os peixes so mamferos, todos os mamferos so aves e existem minerais que so peixes, conclumos que existem minerais que so aves. (d) Todos os homens so mortais. O presidente um homem. Concluso: 0 presidente mortal. (e) Alguns homens sabem nadar. No existem peixes que no sabem nadar. Concluso: Os peixes sabem nadar. (f) Alguns santistas so surfistas. Alguns surfistas so loiros. No existem professores surfistas. Concluses: (1) Alguns santistas so loiros. (2) Alguns professores so santistas. (3) Alguns loiros so professores. (4) Existem professores loiros. Resoluo: Neste exerccio os diagramas de Venn podem ser utilizados, como segue: (a) Algumas configuraes possveis para as premissas do enunciado.

As configuraes (2, 3 e 4) obtidas j nos permitem concluir que afirmao no vlida pois existe modelo que torna a premissa verdadeira e a concluso falsa. (Estas so as nicas configuraes possveis?) b) Algumas configuraes possveis para as premissas do enunciado:

A configurao (2) nos permite concluir que a afirmao no vlida pelo mesmo motivo anterior. Encontre mais 3 configuraes possveis. Todos aqueles minerais que forem peixes, pelo diagrama so necessariamente aves, logo a concluso decorrente das premissas e a afirmao vlida, apesar de poder haver outros diagramas cabveis com a descrio das premissas - por exemplo, algum que no deixe nenhum mineral ser mamfero sem ser peixe. (Esboce um assim.) Esta afirmao chamada silogismo. O mais famoso deles, deixado por Aristteles, falava de Scrates, ao invs do presidente. E claramente vlido.

file:///E:/17/3.htm

3/5

05/04/13

RPM 17 - A linguagem lgica

invs do presidente. E claramente vlido. (e) Esta afirmao vlida pois a concluso equivalente a uma das premissas. (f) Alguns diagramas possveis para as premissas do enunciado.

Bastam estes dois diagramas para vermos que nenhuma das quatro concluses vlida a partir das premissas. Isso no impede que existam configuraes em que todas as quatro sejam verdadeiras (faa exemplos de tais configuraes onde todas as premissas sejam verdadeiras e as concluses tambm). Mas para que uma implicao genrica deste tipo seja vlida no possvel que possamos exibir contra-exemplos como os acima. Uma afirmao destas s vlida quando for verdadeira em todos os modelos possveis nos quais as premissas so verdadeiras. Outras maneiras de trabalhar a lgica no curso de magistrio so atravs de atividades interdisciplinares, seja com Fsica, Qumica. Portugus, Histria, Geografia, leitura crtica de textos de jornais ou mesmo de livros-textos das vrias disciplinas. Alguns dos tpicos do prprio currculo de Matemtica so mais propcios ao uso de "demonstraes" ou "contra-exemplos" (na sistematizao da Geometria notadamente) e, portanto, ao abordarmos estes tpicos, podemos sempre aproveit-los para salientar a estrutura lgica subjacente em toda a Matemtica. Observaes sobre o contedo lgico citado no texto:

Tabelas de verdade Se P, Q so afirmaes dadas, sendo que a letra F significa falso 5 a letra V significa verdadeiro, a tabela abaixo diz o valor (F ou V) ias afirmaes compostas a partir de P e Q segundo o valor (F ou V) das prprias P ou Q: Negao Conjuno Disjuno Implicao Equivalncia P PAQ PVQ P-Q P-Q no P PeQ P ou Q se P ento Q P se e s se Q P implica Q P equivalente aQ F V V V V F F V F F V F V V F V F F V V

V V V V

V F V F

Definies usadas: Dada uma afirmao P, chamamos a afirmao "no P" ou " P" de negao de P. Dadas afirmaes P e Q, chamamos de implicao afirmao "Se P ento Q" ou "P implica Q" ou "P Neste caso, a afirmao "Se Q ento P" ou "Q implica P" ou "Q P" a sua recproca e a afirmao "Se no Q ento no P" ou "no Q implica no P" ou " Q P" a sua contrapositiva.

Q".

Exerccio: Prove que uma implicao logicamente equivalente sua contrapositiva usando as tabelas de verdade, ou seja, prove que a afirmao: "(P Q) ( Q P)" possui s V na sua tabela de verdade. Prove tambm que uma implicao no logicamente equivalente sua recproca, isto , a afirmao "(P Q) (Q P)" possui V e F na sua tabela de verdade. Prove ainda que a negao da negao equivalente prpria afirmao, ou seja, que a afirmao " P P" possui s V na sua tabela de verdade.

Referncias Bibliogrficas:
file:///E:/17/3.htm
Curiosidades Lgicas:

4/5

05/04/13

RPM 17 - A linguagem lgica

Curiosidades Lgicas: [1] Desafios Lgicos. Revista da Editora Morumbi, So Paulo, 1986. [2] Tahan, Malba. O Homem que Calculava, Rio de Janeiro, Conquista, 197-1. Divulgao da Lgica: [3] Carraher, David W. O senso critico. So Paulo, Editora Pioneira, 1983. [4] Machado, Nilson J. Lgico? Lgico!. So Paulo, Editora Scipione, 1988. [5] ----------- . Lgica, Conjuntos e Funes. Vol.l, Coleo Matemtica por Assunto. So Paulo, Editora Scipione, 1988. Lgica Formal: [6] Hegenberg, Lenidas. Lgica: O Clculo de Predicados. So Paulo, Editora Herder, EDUSP, 1973. [7]---------------- . Lgica, Lgica e Deduo. So Paulo, EDUSP-EPU, 1975. [8] Zimbarg Sobrinho, Jacob. Introduo Lgica Matemtica. 9o Colquio Brasileiro de Matemtica, Poos de Caldas, 1973.

Iole de Freitas Druck professora do IME-USP. Sua rea de especializao Lgica Matemtica e tem se deixado seduzir cada vez mais pelas questes relativas a Ensino de Matemtica no 1 grau. Faz parte da coordenao de projeto de Matemtica do projeto RIPEC-CAPES/SPEC-PADCT.

file:///E:/17/3.htm

5/5