Apostila de Lógica

PS-GRADUAO EM ENSINO DA MATEMTICA
ENSINO DE NOES DE LGICA MATEMTICA
DOCENTE:
JOS HELDER DE MESQUITA FILHO
Fortaleza-Cear 2008
ACCESSU EDUCAO SUPERIOR

FACULDADE ATENEU
COORDENADOR GERAL: PROF. JOS WILLIAM FORTE COORDENADORAS PEDAGGICAS: PROF. LUCIDALVA BACELAR/PROF. SOLANGE MESQUITA
CURSO DE PS-GRADUAO
DISCIPLINA:
ENSINO DE NOES DE LGICA MATEMTICA
DOCENTE:
JOS HELDER DE MESQUITA FILHO
Fortaleza-Cear 2008
Sumrio A. Objetivo do mdulo ........................................................................................... 7 B. C. Ementa do mdulo ............................................................................................. 7 Carga horria...................................................................................................... 7
APRESENTAO ......................................................................................................... 9 INTRODUO ............................................................................................................ 11 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. TIRANDO CONCLUSES .............................................................................. 13 1.1. Exerccios......................................................................................................... 14 PROPOSIES CONDICIONAIS ................................................................. 15 2.1. Exerccios......................................................................................................... 16 PROPOSIES EQUIVALENTES ................................................................ 19 3.1. Exerccios......................................................................................................... 20 DEFINIES .................................................................................................... 23 4.1. Exerccios......................................................................................................... 24 DEDUES VLIDAS E NO VLIDAS ................................................... 27 5.1. Exerccios......................................................................................................... 28 ARGUMENTOS COM DUAS PREMISSAS ................................................. 31 6.1. Exerccios......................................................................................................... 32 PROVA DIRETA .............................................................................................. 35 7.1. Exerccios......................................................................................................... 36 PROVA INDIRETA .......................................................................................... 39 8.1. Exerccios......................................................................................................... 40 UM SISTEMA DEDUTIVO ............................................................................. 43 9.1. Exerccios......................................................................................................... 43 A HABILIDADE DE PERCEBER REGULARIDADES .............................. 47 Exerccios ..................................................................................................... 47 Exerccios ..................................................................................................... 52 EXPRESSANDO CONCLUSES GERAIS .................................................. 51 RESOLVENDO PROBLEMAS ....................................................................... 55 BIBLIOGRAFIA ............................................................................................... 57 ANEXOS ............................................................................................................ 59 Sudoku.......................................................................................................... 59 Kakuro .......................................................................................................... 60
Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 5
10.1. 11.1.
14.1. 14.2.
A.
Objetivo do mdulo
Fazer com que o professor de Matemtica possa ter novas maneiras de inter-relacionar o contedo matemtico com os problemas do dia-a-dia e o desenvolvimento do raciocnio lgico, mostrando sua importncia na compreenso do discurso oral e escrito. Para isto, buscamos, na literatura, alguns textos e procuramos explorar os aspectos matemticos que neles esto presentes. B. Ementa do mdulo
Problemas contextuais, ilustrados com aplicaes de situaes concretas, relacionadas Lgica Matemtica abrangendo os seguintes assuntos: Induo e Recurso, Lgica Sentencial, Teoremas Principais, Decidibilidade e Incompletude dos Sistemas Formais. C. Carga horria
12 horas-aula
APRESENTAO Quando perguntamos a qualquer professor de Matemtica o porqu da incluso desta disciplina no currculo das escolas de Ensino Fundamental e Mdio, a resposta sempre a mesma: Ela importante em problemas do dia a dia; Ela ajuda a desenvolver o raciocnio lgico do aluno. O que pretendemos com estas notas (inter) relacionar estes dois aspectos da Matemtica, mostrando sua importncia na compreenso (raciocnio lgico) do discurso oral e escrito. Para isto, buscamos, na literatura, alguns textos e procuramos explorar os aspectos matemticos (raciocnio lgico) que neles esto presentes. Dentre os textos escolhidos, neste primeiro momento, esto trechos de dois clssicos da literatura infantil, Alice no pas das maravilhas e Alice atravs dos espelhos, do matemtico Lewis Carrol. Na Matemtica, para a obteno dos resultados procurados, utilizamos dois tipos de raciocnio. Um deles, partindo do caso geral para o particular - o raciocnio dedutivo - e o outro, partindo do caso particular para o geral - o raciocnio indutivo. Este material dividido em captulos. O raciocnio dedutivo ser abordado do captulo 1 ao 9. Abordaremos o raciocnio indutivo do captulo 10 ao 12. Ao final de cada captulo, encontramos uma lista de exerccios para cada uma das lies. de fundamental importncia que voc resolva os exerccios de todas as lies para uma melhor compreenso e consolidao dos contedos abordados. Se voc no conseguir resolver a maior parte dos exerccios ou se resolv-los com muita dificuldade aconselhvel que torne a ler o texto. No acreditamos que esse material ou esse contedo deva ser abordado diretamente com alunos da Educao Bsica. Essa no a melhor maneira de tratar esse assunto com alunos desse nvel de ensino. Esperamos, entretanto, que voc possa explorar a sua essncia dentro dos contedos que esto sendo abordados em suas aulas.
INTRODUO Certamente, ao longo de sua vida, voc j utilizou argumentos do tipo abaixo, para tirar concluses. Se todos os amigos de Joo so meus amigos, 1) E se todos os meus amigos so agradveis, Ento, todos os amigos de Joo so agradveis. Se nenhum amigo de Joo meu amigo, 2) E se nenhum amigo de Joo agradvel, Ento, nenhum de meus amigos agradvel. Estes dois argumentos apresentam uma grande diferena entre si. Mesmo em uma anlise superficial, pode-se not-la. Se ns raciocinamos como em (1), ns pensamos corretamente. Se ns raciocinamos como em (2), ns pensamos incorretamente. Dizemos que, em (1), a concluso (a sentena comeando por portanto) segue das premissas [as sentenas que o argumento usa como base, neste caso, as duas primeiras sentenas de (1) e (2)]. Quando a concluso de um argumento segue de suas premissas, ns dizemos que o raciocnio ou argumento logicamente vlido. caso do argumento (1). Em (2), a concluso pode at ser verdadeira, mas no segue de sua relao com as premissas. Dizemos, por isso, que o argumento ou raciocnio no logicamente vlido. Os argumentos apresentados acima no esto relacionados a nenhum fato matemtico. Para fazermos esta anlise, bastou-nos um pouco de bom senso. Um dos aspectos mais importantes da Matemtica, na Educao Bsica, o desenvolvimento do raciocnio lgico. Como o raciocnio lgico matemtico baseia-se neste mesmo bom senso de que tratamos acima, de fundamental importncia para o aluno identificar, dentre os argumentos que pretende utilizar, aqueles que so vlidos e os que no o so. Ou melhor, identificar as concluses (inferncias) que podem ser tiradas e as que no podem ser tiradas d proposies que ele vai utilizar como hipteses. Como dissemos na apresentao, nas nossas demonstraes em Matemtica podemos utilizar dois tipos de raciocnio: o dedutivo, que parte do caso geral para o particular; e o indutivo, que parte do caso particular para o geral. No raciocnio dedutivo, o aprendiz parte de afirmaes conhecidas em geral, para poder tirar certas concluses particulares, por meio da combinao de resultados, via raciocnio lgico vlido. Como exemplo de raciocnio dedutivo podemos citar o seguinte: Se ns soubermos que (1) um homem foi baleado; (2) quem atirou foi Pedro ou Maria; e que (3) Maria no sabe atirar; ns podemos DEDUZIR que foi Pedro que atirou. No raciocnio indutivo, o aluno parte de observaes de regularidades que se apresentam nos experimentos para da tirar uma concluso geral. O raciocnio indutivo pode ser caracterizado no seguinte exemplo: Ao observarmos que 61 = 6; 62 = 36; 63 = 216; 64 = 1296. Podemos INDUZIR que todas as potencias de 6 tm o algarismo das unidades igual a 6. importante percebermos que esse tipo de raciocnio no fornece uma demonstrao. Ele simplesmente nos d uma pista do que deve ocorrer. Essa pista pode ser verdadeira ou no.
1. TIRANDO CONCLUSES Um dos objetivos para o estudo da Matemtica desenvolver a habilidade de pensar criticamente, A compreenso dos mtodos de raciocnio dedutivo fundamental, no desenvolvimento do pensamento crtico, e a esse assunto que ns nos dedicaremos primeiramente.
Sirvam-se do espaguete, gente. Peg servir as almndegas.
Os mal-entendidos so muito comuns na vida diria, como podemos observar pelo casal da ilustrao anterior que, mesmo tendo sido informados do que vai acontecer, provavelmente tero uma surpresa. Ns freqentemente tiramos concluses erradas ou, pelo menos, questionveis a respeito de certos assuntos. Isto ocorre muito freqentemente com relao Matemtica. muito comum, nesta disciplina o aluno resolver um problema, julgando que esteja correto, e sua soluo estar totalmente incorreta ou, o que pior, no ter nada a ver com o problema proposto. Tirar concluses corretamente uma habilidade que, como tantas outras, precisa ser exercitada. Ler o enunciado de um problema e conseguir distinguir entre o que acreditamos ser verdade e a verdade prpria do texto de fundamental importncia na resoluo de problemas. Afinal, como resolver corretamente um problema se no compreendemos o que nos pedido? Como resolv-lo se no conseguimos perceber a diferena entre o que nos dado para resolv-lo (hiptese) e o que nos pedido (tese)? Um exerccio bastante interessante, abordando a compreenso de um texto, apresentado a seguir na lista de exerccios.
1.1. Exerccios A seguir, temos um trecho de um livro de James Thurber que vem seguido de uma srie de afirmaes que so concluses que podem ser retiradas do trecho com base na aceitao de que toda informao da passagem literalmente verdadeira. Algumas dessas afirmaes so verdadeiras, algumas so falsas e outras so questionveis, isto , a leitura do trecho r os permite determinar se elas so verdadeiras ou falsas. Escreva ao lado de cada afirmao, se ela verdadeira (V), falsa (F) ou questionvel (Q), justificando, por meio do texto, suas respostas. Mame costumava mandar uma caixa de bombons todo Natal para as pessoas mordidas de Airedale. A lista por fim continha 40 ou mais nomes. Ningum podia entender porque ns no nos livrvamos do cachorro. Eu mesmo no conseguia entender muito bem, mas ns no conseguamos nos livrar dele. Eu acho que uma ou duas pessoas tentaram envenenar Muggs ele comportava-se como envenenado de vez em quando e o velho Major Moberly atirou nele uma vez, com seu revlver, perto da rua East Broad mas Muggs viveu quase onze anos e mesmo quando este mal podia mover-se ele mordeu um deputado que tinha visitado meu pai, a negcios. (James Thurber, My Life and Hard Times - Minha Vida e Tempos Difceis) a. ( ) Muggs era um cachorro Airedale, b. ( ) As pessoas que recebiam caixas de bombons de mame no Natal tinham sido mordidas pelo cachorro. c. ( ) Pelo menos uma pessoa tentou envenenar Muggs. d. ( ) O cachorro tinha mordido, pelo menos, 40 pessoas. e. ( ) Mame no podia entender porque ns no nos livrvamos de Muggs. f. ( ) Muggs tentou morder o Major Moberly. g. ( ) O major Moberly tentou matar Muggs. h. ( ) O Major Moberly no acertou Muggs quando atirou nele. i. ( ) O Hotel Seneca ficava na rua East Broad. j. ( ) Muggs tinha onze anos quando morreu. k. ( ) Muggs morreu de velhice.
2. PROPOSIES CONDICIONAIS
Os dois anncios mostrados anteriormente tm algo em comum: cada um tem uma manchete que comea com a palavra se Proposies que consistem em duas sentenas, uma das quais comea com a palavra se ou quando ou alguma palavra equivalente so chamadas proposies condicionais. Tais proposies so, freqentemente, usadas quando o propsito estabelecer certas concluses, e assim elas so muito comuns no campo da publicidade. Elas tambm so importantes na Matemtica, quando estamos lidando com provas dedutivas. Uma proposio condicional pode ser representada de forma abreviada por se a, ento b ou, simbolicamente, por a b . A letra a representa a sentena do se, ou a hiptese, e a letra b representa a sentena do ento, ou concluso. O smbolo a b lido como se a, ento b ou como a implica b. Por exemplo, no primeiro anncio, a representa as palavras AVIS est sem carros e b representa as palavras ns lhe arranjaremos um de nossos concorrentes. No segundo anncio, a substitui a proposio descobrir vida em Marte e b substitui isto ser notcia para voc. Para compreender a relao que existe entre a hiptese e a concluso de uma proposio condicional muitas vezes til a representao dessa relao por meio de diagramas de crculos. Tais diagramas tambm so conhecidos como diagramas de Euler (ou Euler-Venn), por ter sido o matemtico suo Leonhard Euler, quem primeiro os utilizou, no sculo XVIII.
Para representar uma proposio condicional por meio de um diagrama de EulerVenn, ns desenhamos dois crculos, um dentro do outro. O interior do crculo menor representa a, a hiptese, e o interior do crculo maior representa b, a concluso. Note que, se um ponto est dentro do crculo a, tambm est dentro do crculo b. Ou, mais brevemente, se a, ento b, que o que o diagrama quer representar. b a
2.1. Exerccios 1. Como chamada uma proposio que pode ser representada abreviadamente por Se a, ento b? 2. Na proposio Se a, ento b, o que representam as letras a e b? 3. Em que consiste um diagrama de Euler-Venn? 4. Os exerccios seguintes se referem a esta proposio: Se voc mora em Fortaleza, ento voc mora no Cear. a) Qual a hiptese desta proposio? b) Qual sua concluso? c) Reescreva essa proposio na forma b se a. 5. Os exerccios seguintes se referem a esta proposio: Est frio l fora se est nevando. a) Qual a hiptese desta proposio? b) Qual sua concluso? c) Reescreva a proposio na forma Se a, ento b. 6. Reescreva cada uma das oraes seguintes na forma se-ento. Tenha cuidado para no mudar o significado de nenhuma das oraes. Por exemplo, se voc escreve uma proposio verdadeira na forma se-ento e ela se toma falsa, alguma coisa est errado. Exemplo: Nenhum fantasma tem sombra. Possveis respostas: Se uma criatura um fantasma, ela no tem sombra. Se voc um fantasma, ento voc no tem sombra. a) Todos os anos bissextos tm 366 dias. b) Ursos Koala comem apenas folhas de eucalipto. c) Quando o gato est na gaiola, no para cantar. d) Sorvete de pistache tem uma cor peculiar. e) Smokey, o Urso no teria que fazer comercial para viver, se dinheiro crescesse em rvores. f) Use a escada em vez do elevador em caso de incndio.
g) Nenhum nmero de telefone genuno comea com 555. 7. Escreva a proposio condicional representado por este diagrama de Euler.
Tente novamente
No incio voc no obteve sucesso
Eu gostaria de poder voar como os pssaros!
Se Deus quisesse que voce voasse, Ele teria lhe dado asas.
No concordo! Por que no?
Ele tambm no lhe deu um prabrisas!
8. Pedro, o cara na roda nesta tirinha, fez uma observao na forma de uma proposio condicional sobre Deus querer que Joo voasse. Que proposio essa? 9. Uma proposio condicional semelhante sobre Pedro andar na roda feita na observao de Joo sobre o pra-brisa. Que proposio esta? 10. Que idia segue logicamente desta proposio e do fato de Deus no ter dado a Pedro um pra-brisa.
3. PROPOSIES EQUIVALENTES Lewis Carroll, o autor de Alice no Pas das Maravilhas e Alice Atravs dos Espelhos, era um professor de matemtica que escreveu histrias como um passatempo. Os livros dele contm muitos exemplos divertidos de ambos, argumentos lgicos corretos e, deliberadamente, argumentos lgicos incorretos. Por isso, h muito os seus livros tm sido os favoritos entre os matemticos. Considere o seguinte dilogo que aconteceu no ch na casa do Chapeleiro Maluco. No a mesma coisa de jeito nenhum! disse o Chapeleiro. Assim, voc tambm poderia dizer que eu vejo o que eu como a mesma coisa que eu como o que vejo!. Voc tambm poderia dizer, acrescentou a Lebre, que eu gosto do que eu tenho o mesmo que eu tenho o que eu gosto!. Voc tambm poderia dizer, acrescentou o Rato Dorminhoco, que poderia falar dormindo, que eu respiro enquanto durmo a mesma coisa que eu durmo enquanto respiro!. Isto a mesma coisa para voc, disse o Chapeleiro. E aqui a conversa interrompida, e a festa silencia por um minuto. Aqui, Carrol est jogando com pares de proposies relacionadas, e o Chapeleiro, a Lebre e o Rato esto corretos: as sentenas em cada par no dizem a mesma coisa, de forma alguma. Consideremos o exemplo do Rato Dorminhoco. Se ns colocarmos suas duas proposies na forma se-ento, ns teremos as proposies condicionais Se eu durmo, ento eu respiro e Se eu respiro, ento eu durmo. Embora ambas as proposies sejam verdadeiras para o Rato, a primeira verdadeira e a segunda falsa, em se tratando de seres vivos comuns. Note que a hiptese eu durmo e a concluso eu respiro na primeira proposio foram permutadas na segunda. A segunda proposio condicional chamada recproca da primeira. A recproca de uma proposio condicional formada trocando- se sua hiptese pela concluso e vice-versa. Em smbolos, a recproca de a b b a . A recproca de uma proposio verdadeira pode ser falsa. Tambm possvel que seja verdadeira, mas em qualquer caso, uma proposio e sua recproca no tm o mesmo significado. Em outras palavras, aceitar uma proposio condicional como verdadeira no nos obriga a aceitar sua recproca como verdadeira. Os diagramas de Euler-Venn para as proposies do Rato Dorminhoco so mostrados aqui. Eu respiro Eu durmo Eu durmo Eu respiro
Note que, se um ponto no est dentro do crculo maior em um destes diagramas, ento no est dentro do circulo menor. Por isto, cada diagrama ilustra duas proposies. O primeiro no s representa Se eu durmo, ento eu respiro, mas tambm Se eu no respiro, ento eu no durmo. A segunda destas proposies chamada a contrapositiva da primeira. A contrapositiva de urna proposio condicional formada trocando-se sua hiptese pela concluso e vice-versa e negando ambas. Em smbolos, a contrapositiva de a b (no b ) (no a ) . Como dissemos anteriormente, uma proposio e sua contrapositiva so representadas pelo mesmo diagrama. Dizemos por isso que elas so logicamente equivalentes. Uma no pode ser verdadeira e a outra falsa: elas ou so ambas verdadeiras ou ambas falsas. O segundo diagrama de Euler-Venn no s representa a proposio Se eu respiro, ento eu durmo, mas tambm a proposio Se eu no durmo, ento eu no respiro. Porque ambas as proposies so representadas pelo mesmo diagrama, elas so tambm logicamente equivalentes. A primeira a recproca da proposio original do Rato Dorminhoco e a segunda sua inversa. A inversa de uma proposio condicional formada negando ambos sua hiptese e sua concluso. Em smbolos, a inversa de a b (no a ) (no b ) As relaes entre proposies consideradas nesta lio encontram-se re no seguinte quadro: a b Proposio: Logicamente equivalentes (no b) (no a ) Contrapositiva: ba Recproca: Logicamente equivalentes (no a ) (no b) Inversa: 3.1. Exerccios 1. Como formada cada uma das proposies seguintes? a) A recproca de uma proposio condicional. b) A inversa de uma proposio condicional. c) A contrapositiva de uma proposio condicional. 2. Quais das proposies seguintes so ilustradas por este diagrama de Euler? b a
a) a b
b) b a
c)
(no a ) (no b)
d)
(no b) (no a )
3. Que fato sobre uma proposio condicional e sua contrapositiva o exerccio 2 ilustra? 4. Escreva em smbolos as duas proposies condicionais ilustradas por este diagrama de Euler.
a b
5. Que fato sobre a recproca e a inversa de uma proposio condicional o exerccio 4 ilustra? 6. Considere a proposio: Se sua temperatura mais que 38, ento voc tem febre. a) Esta proposio verdadeira? b) Se a proposio for representada pelo smbolo a b , que palavras representam as proposies a e b c) Escreva com palavras a proposio que representada por (no a ) (no b ) . d) Esta proposio verdadeira? e) Como chamada essa proposio, com relao proposio original? f) Esta proposio tem o mesmo significado da proposio original? g) Escreva com palavras a proposio que representada por b a . h) Esta proposio verdadeira? i) Como chamada esta proposio, com relao proposio original? j) Esta proposio possui o mesmo significado da proposio original? 7. A proposio seguinte verdadeira: Se voc um astronauta americano, voc no tem mais de um metro e oitenta. a) Escreva a recproca desta proposio. b) Esta proposio verdadeira? c) Escreva a inversa desta proposio. d) Esta proposio verdadeira? e) Escreva a contrapositiva desta proposio. f) Ela verdadeira? 8. Se uma proposio condicional verdadeira, pode sua a) recproca ser falsa? b) inversa ser falsa? c) contrapositiva ser falsa? 9. Cada uma das proposies escritas abaixo seguida de algumas outras proposies. Identifique a relao de cada urna delas com a proposio inicial, Escreva recproca, inversa, contrapositiva ou proposio original como apropriado.
Proposio A: Se voc mora no Rio, ento voc precisa de um equipamento de mergulho. Exemplo: Se voc precisa de um equipamento de mergulho, ento voc mora no Rio. Resposta: Recproca. a) Se voc no mora no Rio, ento voc, no precisa de um equipa mento de mergulho. b) Se voc no precisa de um equipamento de mergulho, ento voc, no mora no Rio. c) Voc precisa de um equipamento de mergulho se voc mora no Rio. Proposio B: Todo Cardeal de Saint Louis captura moscas. a) Se algum um Cardeal de Saint Louis Cardinal, ele captura moscas. b) Se algum captura moscas, ele um Cardeal de Saint Louis. c) Se algum no um Cardeal de Saint Louis, ele no pega moscas. Proposio C: Senhoras cangurus no precisam de bolsas. a) Se um canguru no uma senhora, ele precisa uma bolsa. b) Se ele precisa de urna bolsa, ento no uma senhora canguru. 10. Escreva a proposio indicada para cada uma das proposies seguintes. a) Se a tua est cheia, os vampiros esto passeando. (Recproca) b) Se uma girafa est com a garganta inflamada, ento um gargarejo no ajuda muito. (Contrapositiva) c) Se ns temos recebido sinais de Jpiter, pode no ser sbio ir l. (Inversa) d) Voc no pode compreender geometria se voc no sabe argumentar dedutivamente. (Recproca) 11. O slogan de publicidade: Quando voc est fora da Antrtica, voc est fora de cerveja bastante incomum. Ele necessariamente verdadeiro? 12. Baseando-se na questo anterior, escreva cada uma das proposies seguintes e diga se ela verdadeira ou falsa. a) Sua recproca. b) Sua inversa. c) Sua contrapositiva.
4. DEFINIES A palavra pato possui mais de um significado, como podemos perceber pela tirinha abaixo.
PATO
SEMPRE PATO
Embora uma palavra possa possuir mais de um significado, ns podemos, dependendo do contexto em que ela empregada, determinar o seu significado preciso. Mesmo palavras que possuem uma nica definio nos dicionrios, podem possuir significados diferentes, para diferentes pessoas. Estes diferentes significados dependem das experincias passadas de cada pessoa e, se os significados diferem muito, podem gerar confuso ou, at mesmo, desentendimentos. Variaes no significado de palavras causam muita confuso no dia a dia das pessoas, mas essas confuses so muito mais srias se ns necessitamos de um significado preciso. Por esta razo, as definies desempenham um papel muito importante na Matemtica. Quando ns definimos uma palavra na Matemtica, a palavra e sua definio possuem exatamente o mesmo significado. Por exemplo, se ns definirmos a palavra pato como uma ave aqutica que possui bico plano e ps achatados, ns podemos dizer que Se um animal um pato, ento ele uma ave aqutica que possui bico plano e ps achatados como tambm podemos dizer que se um animal uma ave aqutica que possui bico plano e ps achatados, ento ele um pato. Note que cada uma dessas proposies a recproca da outra. Ns vimos que, em geral, a recproca de uma proposio verdadeira no necessariamente verdadeira. No caso das definies, tanto verdadeira a proposio quanto sua recproca. Isto porque o nome a ser definido (a) e sua definio (b) possuem o mesmo significado, a e b podem ser permutados entre si. Conseqentemente, toda definio pode ser representada por a b ou b a . Os dois diagramas de Euler mostrados aqui ilustram essas representaes.
b a
Note que o segundo diagrama tambm ilustra a proposio a, se b porque um ponto obrigatoriamente estar no crculo a se ele estiver no crculo b. O primeiro diagrama tambm ilustra a proposio a, somente se b, pois um ponto est no crculo a somente se ele estiver no circulo b. Estas observaes indicam que, se uma proposio e sua recproca so ambas verdadeiras, ns podemos escrever a, se b e a, somente se b, ou mais abreviadamente, a se, e somente se, b. A frase se, e somente se representada simbolicamente por ; assim o smbolo a b significa ambos a b e b a . Uma vez que a recproca de toda definio verdadeira, ns podemos escrever definies na forma a se, e somente se, b. Por exemplo, a definio de pato, dada nesta lio, pode ser escrita assim: Um animal um pato se, e somente se, ele uma ave aqutica que possui bico plano e ps achatados. Na Matemtica ns geralmente no escrevemos assim. A definio de pato seria dada da seguinte forma: Um pato uma ave aqutica que possui bico plano e ps achatados. 4.1. Exerccios 1. Quando definimos o significado de uma palavra na Matemtica, o que se pode dizer sobre a palavra e sua definio? 2. A recproca de uma proposio verdadeira , necessariamente, verdadeira? Em caso negativo, d um exemplo de uma proposio condicional verdadeira cuja recproca seja verdadeira e de outra cuja recproca seja falsa. 3. A recproca de uma definio , necessariamente verdadeira? 4. Escreva, em smbolos, as duas proposies representadas por a b . 5. Decida quais das seguintes sentenas so boas definies dos nomes, determinando quando suas recprocas so verdadeiras e quando no o so. Exemplo: Se Dia de ano, ento 1 de Janeiro. Resposta: uma boa definio, pois se 1 de Janeiro, ento Dia de Ano. a) Se dia de ano, ento feriado. b) Uma cmera um equipamento para tirar retratos. c) Um gamb um animal que tem couro preto e branco. d) Gelo seco dixido de carbono congelado. e) Um objeto frgil quando facilmente quebrado ou danificado. 6. A seguinte afirmao uma definio de criatura extraterrestre: uma criatura extraterrestre um ser de outro lugar que no a terra. Quais das seguintes proposies so verdadeiras? a) Se uma criatura extraterrestre, ento ela de outro lugar que no a terra. b) Se uma criatura um ser de outro lugar que no a terra, ento ela extraterrestre. c) Se uma criatura no extraterrestre, ento ela no um ser de outro lugar que no a terra. d) Se uma criatura no um ser de outro lugar que no a terra, ento ela no extraterrestre.
Compare as duas proposies seguintes: Se seu aniversrio, ento voc ganha algum presente. Somente se for seu aniversrio, voc ganha algum presente. a) A primeira proposio verdadeira, no seu caso? b) A segunda proposio verdadeira, no seu caso? c) As duas proposies dizem a mesma coisa? 8. As questes seguintes referem-se a esse diagrama de Euler: a) Um ponto est dentro do crculo a se ele est b dentro do crculo b? b) Um ponto est dentro do circulo a, somente se ele estiver dentro do circulo b? a c) Um ponto est dentro do circulo b se ele estiver dentro do crculo a? d) Um ponto est dentro do crculo b, somente se ele estiver dentro do crculo a? 9. Quais das seguintes proposies so representadas pelo diagrama de Euler anterior? a) a, se b. b) a somente se b. c) b, se a. d) b somente se a. 10. A seguinte afirmao uma regra do jogo de futebol: A bola est fora de jogo quando ela ultrapassa completamente a linha de fundo. Quais das seguintes proposies so verdadeiras? a) Se a bola ultrapassa completamente a linha de fundo, ento ela est fora de jogo. b) A bola est fora de jogo, se ela ultrapassa completamente a linha de fundo. c) A bola est fora de jogo, somente se ela ultrapassa completamente a linha de fundo. d) Se a bola esta fora de jogo, ento ela ultrapassou completamente a linha de fundo. 11. A seguinte afirmao uma definio de brigadeiro: Brigadeiro uma bolinha doce feita de chocolate. Quais das seguintes proposies so verdadeiras. a) Se algo um brigadeiro, ele uma bolinha doce feita de chocolate. b) Alguma coisa um brigadeiro, somente se ela urna bolinha doce feita de chocolate. 12. Escreva as duas proposies condicionais que so equivalentes proposio: Ela uma histria de quem fez isso se, e somente se, ela uma histria policial. 13. Reescreva as duas proposies seguintes como uma proposio simples. Faa isso da maneira mais simplificada que voc conseguir. Se um carro um conversvel, ento ele possui o teto removvel. Se um carro possui o teto removvel, ento ele um conversvel. 14. De acordo com o regulamento do Clube do Chocolate Bondinho voc pode se tornar um membro somente se voc for louco por chocolate. Karine quer ser um membro do Clube e ela doida por chocolate. Os membros do Clube nunca desrespeitam o regimento. Isto significa que eles devem aceitar a Karine como um membro? Justifique sua resposta.
7.
5. DEDUES VLIDAS E NO VLIDAS Suponha que, durante o julgamento de um assassinato, descobriu-se que o assassino daltnico e que o senhor Silva e a senhora Branca so os dois principais suspeitos. Se o promotor consegue provas de que o senhor Silva daltnico, o jurado deve concluir que ele o culpado? E se o advogado da senhora Branca prova que ela no daltnica, segue deste fato que ela deve ser inocentada? Uma maneira de conferir estas concluses por meio de um diagrama de EulerVenn.
Daltnicos Sr. Silva Culpado Daltnicos Culpado Sr. Silva
Sra. Branca
Sra. Branca
Os diagramas mostrados anteriormente ilustram a proposio condicional Se a pessoa culpada, ento ela daltnica. Ns olhamos o diagrama para ver em qual regio cada suspeito se encontra: em ambos os crculos, apenas no crculo maior ou em nenhum dos dois crculos. Como se pode perceber, no podemos precisar em que regio o senhor Silva se encontra. Assim, nenhuma concluso a seu respeito pode ser tirada, de forma justificada. Como a senhora Branca est fora do crculo maior, ela no pode estar dentro do menor, e assim ela no a culpada. Outro modo de conferirmos as duas concluses como segue. O argumento para o senhor Silva : Se uma pessoa culpada, ento ela daltnica. O senhor Silva daltnico. Ento, senhor Silva culpado. A primeira proposio neste argumento uma proposio condicional. A segunda e a terceira podem ser combinadas para formar a seguinte proposio condicional: Se uma pessoa daltnica, ento ela culpada. Qual a relao entre esta proposio e a primeira? A hiptese e a concluso da segunda proposio so a concluso e a hiptese da primeira, respectivamente. Assim a segunda declarao a recproca da primeira. Como uma proposio e sua recproca no so logicamente equivalentes, a segunda proposio pode ser falsa embora a primeira seja verdadeira. A concluso senhor Silva culpado no segue necessariamente das outras duas proposies, e assim no uma deduo vlida. Para a senhora Branca, o argumento o seguinte: Se uma pessoa culpada, ento ela daltnica. A senhora Branca no daltnica. Ento, a senhora Branca no a culpada.
Combinando a segunda e a terceira proposies para formar a proposio condicional: Se uma pessoa no daltnica, ento ela no culpada, ns vemos que esta proposio a contrapositiva da primeira proposio. Se ns aceitarmos a primeira proposio como verdadeira, ns no poderemos deixar de aceitar a segunda como verdadeira, porque uma declarao e sua contrapositiva so logicamente equivalentes. A deduo a senhora Branca no culpada vlida. 5.1. Exerccios 1. Quais das proposies seguintes so logicamente equivalentes a uma proposio condicional? a) Sua recproca. b) Sua inversa. c) Sua contrapositiva. 2. Com relao figura a seguir, dizer quando a terceira proposio, em cada uma das seguintes dedues, segue logicamente das duas primeiras. a) Se voc escolher um ponto no crculo a, ento este ponto tambm est no crculo b. Voc escolhe um ponto no crculo a. b Logo, este ponto tambm est no crculo b. b) Se voc escolher um ponto no crculo a, ento este a ponto tambm est no crculo b. Voc escolhe um ponto no crculo b. Logo, este ponto tambm est no crculo a. c) Se voc escolher um ponto no crculo a, ento este ponto tambm est no crculo b. Voc escolhe um ponto que no est no crculo a. Logo, este ponto tambm no est no crculo b. d) Se voc escolher um ponto no crculo a, ento este ponto tambm est no crculo b. Voc escolhe um ponto que no est no crculo b. Logo, este ponto tambm no est no crculo a. 3. Expresse os modelos das dedues do exerccio anterior por meio de smbolos, por exemplo, a b ou a, ento b]. 4. A deduo no item b do exerccio 3 no vlida; comete-se o erro da recproca. Se a deduo no item c tambm no for vlida, diga qual o erro que se comete. 5. A deduo no item d do exerccio 2 vlida. Que nome poderia ter esse modelo? 6. Expresse em smbolos os modelos das seguintes dedues. Analise o modelo para verificar se as dedues so vlidas ou no vlidas. Se a deduo no for vlida, diga o nome do erro cometido (erro de recproca ou erro de inversa). Exemplo: Se voc gosta de golfe, voc gosta de bater ao redor do arbusto. Oliver no gosta de golfe. Ento, Oliver no gosta de bater ao redor do arbusto. Resposta: a b. No a Ento, no b. Deduo no-vlida. Erro da inversa.
a) Se voc v manchas na frente de seus olhos, voc est olhando um leopardo. Voc est olhando um leopardo. Ento, voc v manchas na frente de seus olhos. b) Se voc v praias na frente de seus olhos, seu cabelo muito longo. Voc no v praias na frente de seus olhos. Ento, seu cabelo no muito longo. c) Se voc esquecer seu lpis, voc pode pegar emprestado um dos meus. Voc esqueceu seu lpis. Ento, voc pode obter emprestado um dos meus. d) Se voc escova seus dentes com Bylecream, voc entendeu mal o comercial. Voc no entendeu mal o comercial. Ento, voc no escova seus dentes com Bylecream. e) Todas as traas so atradas pelas chamas das velas. Este inseto no uma traa. Ento, este inseto no atrado pelas chamas das velas. f) Toda bebida suave carbonatada contm bolhas. Voc est bebendo algo que contm bolhas. Ento, voc est bebendo uma bebida suave carbonatada. g) Os estudantes deixaro de prestar ateno se a aula for enfadonha. A aula de Matemtica no enfadonha. Ento, os estudantes prestaro ateno. 7. Em cada um dos exerccios seguintes, so dadas duas proposies, que devem ser aceitas como verdadeiras. Se possvel, escreva uma terceira proposio que pode ser deduzida destas duas. Caso contrrio, escreva nenhuma deduo possvel. Exemplo: Se o seu cachorro possui carteira de motorista, ento voc no precisa dirigir o tempo todo. Voc no precisa dirigir o tempo todo. Resposta: Nenhuma deduo possvel. Para concluirmos que seu cachorro possui carteira de motorista seria necessrio cometer o erro da recproca. a) Se eu estou falando com quem eu queria, ento eu disquei corretamente. Eu estou falando com a pessoa que eu queria. b) Se h uma mosca em sua sopa, ento voc no deveria comer muito rapidamente cada colherada. Voc pode comer cada colherada depressa. c) Se eu tivesse um chipanz como sobrinho, ento eu seria tio de um macaco. Eu sou o tio de um macaco. 8. Nos exerccios seguintes, escreva a primeira proposio na forma se-ento e depois proceda como no exerccio anterior. a) Todas as mquinas fotogrficas Polaroid revelam as fotos instantaneamente. Aquela mquina fotogrfica no uma Polaroid. b) Todas as corujas piam a noite. Fred nunca piou. c) Nenhum disco voador pode viajar mais rapidamente que a velocidade da luz. Aquele objeto no um disco voador.
d) O nome dele termina com o se ele um dos irmos Marx. O nome de Groucho termina com o. 9. A primeira orao do anncio a seguir uma proposio condicional aceita como verdadeira pela maioria das pessoas. Compare-a com a ltima orao do anncio. Assumindo que voc sabe o que fazer significa que voc decidir comprar uma perua Volkswagen, diga se a lgica do anncio ou no vlida. Esta concluso segue logicamente do que foi dito antes? Explique.
Se o mundo fosse assim, e voc quisesse comprar um carro que se sobressasse um pouco, voc provavelmente no compraria uma Kombi. Mas, como voc sabe, o mundo no assim. Ento, se voc quer comprar um carro que se sobressaia um pouco, voc sabe exatamente o que fazer.
6. ARGUMENTOS COM DUAS PREMISSAS Como voc pode falar to suavemente?, disse Alice Eu estive em muitos jardins antes, mas em nenhum deles as flores podiam falar. Bote sua mo no cho e sinta-o, disse o Lrio. ento voc saber porque. Alice assim o fez. muito duro, ela disse, Mas eu no vejo o que tem uma coisa a ver com a outra. Em muitos jardins, disse o Lrio, Eles fazem o canteiro muito macio - ento as flores esto sempre adormecidas.
Lewis Carrol, Alice atravs do espelho.
Talvez as flores no falassem, at mesmo se estivessem acordadas. O argumento que o Lrio est apresentando Alice essencialmente este: Se o canteiro muito macio, as flores esto sempre adormecidas. Se as flores esto adormecidas, elas no falam. Ento, se o canteiro muito macio, as flores no falam. Note que este argumento consiste em trs proposies condicionais. Se voc aceitasse as duas primeiras proposies como verdadeiras, tambm deveria aceitar a terceira como verdadeira? Ns podemos ilustrar as duas primeiras proposies, chamadas premissas do argumento, por meio de diagramas de Euler-Venn.
Flores adormecidas Canteiros macios Flores que no falam Flores
adormecidas
Se ns combinarmos estes dois diagramas em um s, obteremos o seguinte diagrama:
Flores que no falam Flores adormecidas Canteiro macio
Omitindo o crculo do meio ns obtemos o diagrama mostrado a seguir, o qual ilustra a terceira proposio, chamada concluso do argumento.
Flores que no falam
Canteiro macio
De maneira mais geral, se ns temos duas proposies condicionais nas quais a concluso da primeira a hiptese da segunda ( a b , b c ), ento delas ns podemos derivar uma terceira proposio, a c . Tais argumentos so chamados silogismos. Um silogismo um argumento da forma: a b (primeira premissa) b c (segunda premissa) Ento, a c (concluso) Se ambas as premissas de um silogismo so verdadeiras, ento a concluso tambm deve ser verdadeira. Se pelo menos uma das premissas for falsa, ento a concluso, pode ser falsa. Isto no significa, porm, que o raciocnio incorreto. Em outras palavras; a verdade ou falsidade das proposies usadas no tm nada a ver com a validade ou no de um argumento. Por exemplo, considere este silogismo: Se voc mora em Fortaleza, ento voc mora no Cear. Se voc mora no Cear, ento voc mora no Brasil. Ento, se voc mora em Fortaleza, voc mora no Brasil. No necessrio olhar em um mapa para saber que este um argumento vlido. A concluso uma conseqncia lgica das premissas. 6.1. Exerccios 1. Um silogismo consiste em trs proposies condicionais. a) Como so chamadas as duas primeiras proposies? b) Como chamada a terceira proposio? c) A que parte da segunda proposio deve a concluso da primeira ser idntica? d) Se as duas primeiras proposies de um silogismo so verdadeiras, o que deve ocorrer com a terceira proposio? e) O que poderia acarretar a terceira proposio de um silogismo para ser falso? 2. Diga quando cada um dos pares seguintes de proposies podem ser usados para formar um silogismo. b) a b e b c c) a b e c b d) a b e c a a) a b e a c 3. Diga se cada um dos seguintes argumentos ou no um silogismo. a) Se um pato voa de cabea para baixo, ele fica tonto. Se um pato fica tonto, grasna.
Ento, se um pato voa de cabea para baixo, ele grasna. b) Se uma moeda de um centavo tem a cabea de um ndio, ela foi feita antes de 1910. Se uma moeda de um te centavo tem uma cabea de ndio, ela vale mais de um centavo. Ento, se uma moeda de um centavo foi feita antes de 1910, ela vale mais de um centavo. c) Se voc for para Jericoacoara, voc ver bonitos pores do sol. Se voc est no Cear, voc ver bonitos pores do sol. Portanto, se voc est em Jericoacoara, voc est no Cear. 4. Reescreva as proposies em cada um dos seguintes argumentos na forma seento. Ento, use smbolos para representar a forma do argumento e diga se ele vlido ou no. Exemplo: Todos os filmes dirigidos por Alfred Hitchcock tm enredos de suspense. O filme O Norte atravs do Noroeste tem um enredo de suspense. Ento, o filme O Norte atravs do Noroeste foi dirigido por Alfred Hitchcock. Resposta: Se um filme foi dirigido por Alfred Hitchcock, ento ele tem enredo de suspense. Se o filme O Norte atravs do Noroeste, ele tem um enredo de suspense. Ento, se o filme O Norte atravs do Noroeste, ele foi dirigido por Alfred Hitchcock. A forma deste argumento : a b c b Ento, c a O argumento no-vlido. a) Todos os burros possuem orelhas grandes. Todas as criaturas de orelhas grandes so intrometidas. Portanto, todos os burros so intrometidos. b) Pessoas descuidistas so desonestas. Nenhuma pessoa desonesta merece confiana. Portanto, as pessoas descuidistas no merecem confiana. c) Um relgio vendido com desconto de 25% no marca a hora certa. Um relgio no marca a hora certa, se ele atrasa 15 minutos a cada hora. Portanto, um relgio com 25% de desconto atrasa 15 minutos a cada hora. 5. Se a concluso de um argumento verdadeira, ento o argumento vlido? 6. Se a concluso de um argumento falsa, ento o argumento no vlido? 7. possvel que as trs proposies de um argumento vlido sejam falsas? 8. possvel que as trs proposies de um argumento no-vlido sejam verdadeiras? 9. A uma primeira vista, pode parecer que nenhuma concluso pode ser tirada do seguinte par de proposies: Se o seu nome est no Quem quem, ento voc sabe o que o que. Se voc no sabe onde onde, ento voc no sabe o que o que.
a) Escreva a contrapositiva da segunda proposio. b) Como uma proposio e sua contrapositiva so logicamente equivalentes, a contrapositiva da segunda proposio pode ser combinada com a primeira para obter uma concluso. Que concluso esta? 10. As seguintes proposies so pares de premissas das quais pode-se ou no tirar concluses. Voc talvez precise considerar, em alguns casos, a contrapositiva de alguma delas antes de poder tirar qualquer concluso. Dependendo do caso, escreva sua concluso ou que no se pode tirar concluses. a) Se primeiro de Abril, ento os soldados no esto cansados. Se os soldados fizeram uma marcha de 31 dias, ento eles esto cansados. b) Se voc mais rpido que uma bala, ento voc mais forte do que uma locomotiva. Se voc mais forte do que uma locomotiva, ento voc pode voar. c) Se voc tem medo de terremotos, ento voc no pode morar na Califrnia. Se voc maluco, ento voc no tem medo de terremoto. 11. Se um argumento logicamente vlido e suas premissas so verdadeiras, ento sua concluso tambm verdadeira Ainda que, superficialmente, o argumento seguinte parea contradizer isto. Migalhas de po melhor do que nada. Nada melhor do que um bife bem suculento. Portanto, migalhas de po melhor do que um bife bem suculento. Todas pessoas que concordam com as duas premissas deste argumento, provavelmente no aceitaro sua concluso. J que o argumento parece ser um argumento lgico, voc poderia explicar o que est errado? (Sugesto: tente escrever cada proposio na forma se-ento).
7. PROVA DIRETA O artista americano Rube Goldberg ficou to conhecido, nos Estados Unidos, por suas invenes ridculas que, de acordo com um dicionrio, seu nome aparece para significar tendo uma aparncia improvisada e fantasticamente complicada ou tortuosamente complexa e nada prtica. Uma das invenes de Goldberg, uma maneira de refrescar, mostrada no desenho a seguir.
O desenho ilustra a seguinte cadeia de eventos: Se o homem empurra o carrinho de mo, a roda gira o arranjo de chutes. Se a roda gira o arranjo de chutes, o urso se irrita e morde a boneca. Se o urso se irrita e morde a boneca, o cordo ligado ao pssaro mecnico puxado. Se o cordo ligado ao pssaro mecnico puxado, o pssaro diz voce me ama?. Se o pssaro mecnico diz voc me ama?, o pssaro apaixonado balana a cabea. Se o pssaro apaixonado balana a cabea, o leque produz uma brisa suave no rosto do homem. Note que a concluso de cada proposio a hiptese da proposio seguinte. Usando letras para representar cada hiptese e cada concluso, temos o modelo linear que explicita isso de forma mais evidente: a b , b c , c d , d e , e f , f g , do qual ns podemos tirar a concluso: a g . Em palavras, a concluso : Portanto, se o homem empurra o carrinho, ento o leque far brisa suave em seu rosto. Este argumento um simples exemplo de uma prova direta. As seis primeiras proposies so chamadas premissas do argumento. Elas conduzem proposio a g , que chamada concluso do argumento e pode ser considerada um teorema. Um teorema uma proposio que pode ser provada a partir de outras proposies previamente demonstradas ou aceitas como verdadeiras, por meio de raciocnio dedutivo.
7.1.
Exerccios
1. O diagrama de Euler mostrado aqui ilustra o seguinte argumento: d a b b c c b a c d Portanto, a d a) Como so chamadas as trs primeiras proposies deste argumento? b) Como chamada a ltima proposio deste argumento? c) Se as trs primeiras proposies forem verdadeiras a ltima tambm ser verdadeira? 2. Como chamada uma proposio que pode ser provada a partir de proposies j provadas ou aceitas como verdadeiras? 3. Qual teorema est sendo provado pelas seguintes proposies? Se voc vai a um filme 3-D, duas imagens vo aparecer na tela. Se duas imagens vo aparecer na tela, voc deve ver cada imagem com um olho. Se voc v cada imagem com um olho, voc deve usar culos especiais. 4. Cada um dos exerccios seguintes consiste em um teorema e sua prova. Desta prova, uma ou mais proposies foram omitidas. Aps estudar as relaes entre as proposies dadas. Escreva as que esto faltando. a) Teorema: Se faltar eletricidade durante a noite, voc chegar atrasado escola. Prova: Se a eletricidade faltar durante a noite, seu relgio ficar maluco. Se o relgio ficar maluco, voc no saber que horas so. b) Teorema: Se houver um eclipse total do sol, a temperatura pode ser determinada sem termmetro. Prova: Se houver um eclipse total do sol, o cu ficar escuro. ___________________________________________________________________. Se os grilos pensam que noite, eles comeam a cantar. ___________________________________________________________________. Se a temperatura estimada contando o canto dos grilos, ela pode ser determinada sem um termmetro. 5. Copie as seguintes proposies, rearranjando-as na ordem lgica. Se voc toma um avio, voc ir ao aeroporto. Se voc vai para Braslia, voc tomar um avio. Se voc v todos os txis enfileirados, voc ver txis de todas as marcas. Se voc vai ao aeroporto, voc ver txis enfileirados. 6. Que teorema provado pelas quatro proposies do exerccio anterior? 7. O seguinte exerccio de lgica foi escrito por Lewis Carrol. Ele deliberadamente tornou a prova difcil no colocando suas proposies na forma se-ento nem na or-
dem lgica. Torne a prova mais compreensiva, reescrevendo-a e fazendo ambas as mudanas. Teorema: Bebs no podem amestrar crocodilos. Prova: Bebs no so lgicos. Ningum despreza as pessoas que amestram crocodilos. Pessoas ilgicas so desprezadas. 8. A seguinte prova parece incorreta mas ela realmente vlida. Mostre que no existe nada de errado com ela, trocando uma de suas proposies por outra que lhe logicamente equivalente. Teorema: Se Sherlock Holmes tem que resolver um caso, ele explica suas concluses a Watson. Prova: Se Sherlock Holmes tem que resolver um caso, ele raciocina dedutivamente. Se ele no consegue descobrir quem o assassino, ele no raciocinou dedutivamente. Se Sherlock Holmes consegue descobrir o assassino, ele explica suas concluses a Watson. 9. Reorganize a seguinte prova de maneira que ela se tome mais compreensvel. Teorema: Se este o ltimo exerccio da lista, ele no fcil. Prova: Se a lista est organizada na ordem lgica, ele no o ltimo exerccio. Se eu no consigo entender um exerccio, eu fico tonto quando tento faz-lo. Se um exerccio fcil, ele no me d trabalho. Se eu fico tonto quando tento resolver um exerccio, ele est me dando trabalho. Se um exerccio no est colocado na ordem lgica, eu consigo entend-lo. 10. O seguinte exerccio foi retirado do livro 100 Jogos Lgicos, de Pierre Berloquim (Ed. Gradiva, 1994). Um motorista exprime as seguintes impresses sobre automveis: i. Trao dianteira d boa estabilidade na estrada. ii. Carros pesados devem ter bons freios. iii. Carros com motor muito potentes so caros. iv. Carros velozes no tm boa estabilidade. v. Carros de motor pouco potente no podem ter bons freios. Ser que esse motorista admite a existncia de um automvel barato com trao dianteira? Justifique sua resposta.
8. PROVA INDIRETA Na histria A Dama ou o Tigre? de Frank Stockton, um rapaz obrigado a escolher entre duas salas, numa das quais est uma bela jovem e na outra, um tigre. Se ele escolher a sala na qual est a jovem, ento ele se casar com ela. Se, por outro lado, ele escolher a outra sala, ele encontrar um tigre feroz, que o devorar. A escolha do rapaz no revelada na histria. A Nesta sala existe uma bela jovem e na outra sala existe um tigre. Em uma destas salas existe uma bela jovem, e na outra existe um tigre. B
Muitos quebra-cabeas foram criados com esse tema. Em um deles (The Lady or the Tigre? and other logic puzzles, Raymond Smullya - Knopf, 1982), o rei coloca avisos nas portas das salas (como na figura anterior), dizendo para o rapaz que um deles verdadeiro e o outro falso. Em qual das salas est a bela jovem? Se ns assumirmos que o aviso A verdadeiro, ento a jovem est na sala A e o tigre est na sala B Se for assim, o aviso B tambm verdadeiro. Esta concluso contradiz o fato que um aviso verdadeiro e o outro falso. Isto significa que o aviso A no verdadeiro e, conseqentemente, deve ser falso. Assim, o tigre est na sala A e a jovem est na sala B. Ns chegamos a esta concluso por um raciocnio indireto. Em uma prova indireta, no incio assume-se como verdadeiro algo que conduz a uma contradio. A contradio indica que o que assumimos falso e a concluso desejada verdadeira. O modelo de uma prova indireta ilustrado aqui com o quebra-cabea da dama ou o tigre. Teorema No quebra-cabea da dama ou o tigre, a dama est na sala B Prova Ns assumimos o contrrio Suponha que a jovem no esteja na sala B. Se ela da concluso desejada no est na sala B, ento ela est na sala A. A contradio. Se ela est na sala A, ento ambos os avisos A e B so verdadeiros. Isto contradiz o fato que um aviso verdadeiro e o outro falso. Ns finalizamos com a Portanto, o que supusemos falso e a jovem est na concluso desejada. sala B. Ambos os mtodos de prova - o direto e o indireto - requerem construir uma cadeia de proposies condicionais. No mtodo direto, a cadeia feita comeando com a hiptese do teorema (digamos, a) e terminando com sua concluso (digamos, b) No mtodo indireto, a cadeia inicia com o oposto da concluso do teorema (no b) e termina numa contradio com a. A contradio nos diz que, se a for verdadeiro, ento b no pode ser falso. Isto significa que a b .
8.1. Exerccios 1. Para provar um teorema indiretamente, ns comeamos assumindo que sua concluso falsa. Liste a afirmao com a qual uma prova indireta de cada uma das seguintes proposies deve comear. Exemplo: Se um alfaiate quisesse fazer um terno completo ele faria as calas primeiro. Resposta: Suponha que o alfaiate no faa as calas primeiro. a) Se uma galinha pudesse falar, ela falaria palavras obscenas. b) Se um professor est desatento, ele no tem controle sobre seus alunos. c) Se uma prova indireta, ento ela conduz a uma outra tradio. 2. As seguintes proposies podem ser rearranjadas para dar uma prova indireta deste teorema. Copie-as, rearranjando-as na ordem lgica. Teorema: Uma mo de bridge deve conter mais de trs cartas do mesmo naipe. a) Se uma mo de bridge no contm mais de trs cartas do mesmo naipe, ela no contm mais de 12 cartas. b) Portanto, o que ns supusemos falso e uma mo de bridge deve conter mais de trs cartas do mesmo naipe. c) Suponha que uma mo de bridge no contenha mais de trs cartas do mesmo naipe. d) Isto contradiz o fato que uma mo de bridge contm 13 cartas. 3. Este jogo da velha no terminado apareceu a primeira vez em uma diverso da IBM. Se assumirmos que os dois jogadores sabem jogar bem, ns podemos provar o seguinte teorema: X O X O Teorema: O jogador X jogou primeiro. Copie e complete a seguinte prova indireta deste teorema: Suponha que ?????????? Se ?????????? o jogador O jogou primeiro. Se o jogador O jogou primeiro, ento ele deve jogar agora. Se ?????????? entoX perder a partida. Se X perder a partida, ento X no sabe jogar. Isto contradiz o fato que ????????? Portanto, o que ns supusemos falso e o jogador X jogou primeiro. 4. Um aluno fraco em geometria, chamado Riemann, est fazendo um teste de 5 questes do tipo verdadeiro (V) ou falso (F). Baseado nos seguintes fatos complete a prova de que a ltima questo F. Fato 1: Se a primeira questo V, a prxima F. Fato 2: A ltima resposta igual primeira.
Fato 3: A segunda resposta V. Teorema: A ltima resposta do teste F. Prova: Suponha que ?????????? Se ?????????? ento ela V. Se a ltima resposta do teste V, ento a primeira resposta ?????????? Se a primeira resposta ??????????, ento a segunda ?????????? Isto contradiz o fato que ?????????? Portanto, o que supusemos falso e ?????????? 5. Embora os tipos sangneos no possam ser usados para provar que um determinado homem o pai de uma criana, eles podem ser usados para mostrar que ele no o pai. A tabela a seguir mostra a relao entre os possveis tipos de sangue dos filhos para um certo tipo de sangue dos pais. Pais Filhos OeO O OeA O ou A OeB O ou B O e AB A ou B Suponha que uma mulher do tipo O e seu filho tambm do tipo O. Complete a seguinte prova indireta de que um homem tendo sangue do tipo AB no pode ser o pai da criana. Teorema: Um homem tendo sangue do tipo AB no pode ser o pai da criana. Prova: Suponha que ?????????? Se ?????????? Ento, a criana ou tem sangue do tipo ?????????? Isto contradiz o fato que ?????????? Logo, o que supusemos falso e ?????????? 6. O namorado de Lorena lhe deu um anel de diamantes de presente, mas ela no tem certeza que ele seja genuno. Considere o seguinte argumento: Se uma pedra um diamante, seu ndice de refrao maior do que 2. A pedra no anel de Lorena tem uma refrao de 2,4. Portanto, a pedra no anel de Lorena um diamante. a) Assumindo que as duas primeiras proposies no argumento so verdadeiras, segue da que a terceira proposio verdadeira? Justifique sua resposta. b) As seguintes afirmaes verdadeiras podem ser usadas para provar que a pedra no anel de Lorena um diamante. Copie-as, rearranjando-as na ordem lgica. A1: Se o grau de dureza de uma pedra menor do que 10, ela pode ser arranhada por corindon. A2: Portanto, o que supusemos falso e a pedra no anel de Lorena um diamante. A3: Se a pedra no um diamante, seu grau de c menor do que 10. A4: Suponha que a pedra no anel de Lorena no um diamante. A5: Isto contradiz o fato que a pedra no anel de Lorena no pode ser arranhada por corndon.
c) De que espcie a prova que voc deu. 7. Enquanto dirigia seu Fusca 1964 para o supermercado, a senhora Marta pensou ter esquecido suas chaves no apartamento. Use uma ou mais das seguintes afirmaes para tirar uma concluso sobre isto. Explique seu raciocnio. A1: A senhora Marta nunca deixa seu apartamento aberto. A2: Ela guarda todas as chaves em um grande chaveiro, A3: Ela freqentemente fica presa em um engarrafamento. 8. Num torneio de futebol americano, os Ursos esto jogando contra os Bfalos, e o placar no intervalo do primeiro para o segundo tempo de 7 a 6 para os Ursos. No segundo tempo, todos os gols marcados ou valeram 6 pontos ou 7 pontos. O placar final foi de 18 a 13. Que time ganhou a partida? Justifique sua resposta. 9. Zangado, Atchim e Soneca esto discutindo sobre o nmero de amigos que o Mestre possui. Zangado afirma que Mestre tem pelo menos 50 amigos. Atchim diz que Mestre no tem tantos amigos assim, enquanto Soneca afirma que Mestre tem, pelo menos 1 amigo. Se apenas um deles est correto, quantos amigos, precisamente, o Mestre possui?
9. UM SISTEMA DEDUTIVO Procurar o significado de palavras no dicionrio ilustra o fato de que impossvel definir tudo sem que fiquemos andando em crculos. Do mesmo modo, tambm impossvel provar tudo sem que andemos em crculos. Para evitar que voltemos sempre ao ponto em que comeamos, ns precisamos deixar, pelo menos, algumas palavras sem definio e algumas proposies sem demonstrao. As palavras deixadas sem definio, chamadas de termos indefinidos ou entes primitivos, podem ser usadas como base para a construo da definio de outras palavras. J as proposies deixadas sem prova, os postulados (aquilo que se pode) podem ser usadas para a construo de provas de outras proposies. Um postulado uma proposio que assumida como verdade sem prova, Das palavras no definidas, ento, ns podemos construir definies de outras palavras. Dos postulados e definies, ns podemos construir a prova diretamente ou indiretamente, das proposies que ns chamamos teoremas. Uma estrutura que construda deste modo, por meio de lgica, chamada um sistema dedutivo. Um sistema dedutivo muito parecido com um jogo. Para jogar qualquer jogo voc deve conhecer inicialmente o significado dos termos ou peas usados neles (as definies), e voc tem que conhecer tambm as regras do jogo (os postulados). Por exemplo, para ser um bom jogador de futebol americano uma pessoa tem que estar muito familiarizada com muitos termos e regras, O Guia de Futebol dos Estados Unidos lista 197 regras, muitas das quais contm mais de uma parte. Alm disso, para poder ser bem jogado importante para o jogo que o conjunto de regras seja suficiente e consistente. Por suficiente, ns queremos dizer que eles contenham o que fazer em toda situao possvel e, por consistente, ns queremos dizer que eles nem contradizem um ao outro nem conduzem a contradies. Os postulados de um sistema dedutivo tambm so como as regras de um jogo, com uma pequena diferena: Enquanto as regras do jogo de futebol, por exemplo, podem ser mudadas (o jogo de futebol um pouco diferente hoje do que era originalmente, quando foi inventado, pois algumas de suas regras mudaram) os postulados de um sistema dedutivo no podem ser mudados. A representao de um sistema dedutivo depende, ento, dos postulados dele. A Geometria um bom exemplo de um sistema dedutivo em que mudanas nos postulados produzem mudanas interessantes sobre os teoremas que podem ser derivados. Agora que voc est familiarizado com a natureza de um sistema dedutivo voc est pronto aprender a jogar o jogo da Matemtica. 9.1. Exerccios 1. possvel: a) Definir tudo sem ficar andando em crculos? b) Provar tudo sem ficar andando em crculos? 2. Qual a diferena entre um postulado e um teorema? 3. O que voc deve saber quando voc quer aprender como jogar um jogo? 4. O que significa dizer que as regras de um jogo so:
a) Suficientes? b) Consistentes? 5. O dilogo seguinte se passa em uma sala de aula e de uma cena do filme Pardon us (Perdoe-nos), da dupla O Gordo e o Magro: Professor: O que um cometa? Um estudante: Uma estrela com um rabo nela. Professor: Algum pode nos dar um exemplo? Laurel: Rin-Tin-Tin? a) Que palavras, na resposta do outro estudante, Laurel entendeu mal? b) Por que ele disse Rin-Tin-Tin? 6. Suponha que voc esteja aprendendo Ingls. Algum lhe deu um dicionrio ingls-ingls. Voc quer descobrir o significado da palavra above e, quando voc procura no dicionrio, encontra overhead. Voc no sabe o que significa overhead. Voc acha que pode descobrir o significado de above neste dicionrio. Justifique sua resposta. 7. Explique por que as seguintes regras para um jogo com dois dados e um nico lance no so suficientes para determinar o vencedor. Regra 1: Se a soma dos nmeros nas faces superiores dos dois dados for 7 ou 11, o jogador que os lanou ganha. Regra 2: Se a soma dos nmeros nas faces superiores dos dois dados for 2, 3, ou 12, o jogador que os lanou perde. 8. Explique por que as seguintes regras para um jogo com dois dados e um nico lance no so consistentes. Regra 1: Se os nmeros na face superior dos dados coincidirem, o jogador que os lanou ganha. Regra 2: Se a soma dos nmeros nas faces superiores dos dados for par, o jogador que os jogou perde. Regra 3: Se a soma dos nmeros nas faces superiores dos dados for mpar, o jogador joga novamente. 9. O Banco BMJ, para disponibilizar uma linha de crdito para seus clientes especiais, elaborou um contrato que apresenta, entre outras, as seguintes clusulas: Clusula 1: Uma cobrana de transao financeira uma taxa cobrada sempre que o cliente utilizar essa linha de crdito. Clusula 2: Se voc gastar alm do seu limite de crdito, o banco lhe cobrar uma taxa extra. Clusula 3: Um carto-prmio um carto magntico para ser utilizado sempre que o cliente quiser usufruir dessa linha de crdito. Clusula 4: Qualquer taxa extra que lhe for cobrada, ser debitada na sua conta no primeiro dia til do ms seguinte. Clusula 5: Se o seu carto for extraviado (perdido ou roubado), voc deve informar imediatamente ao banco. a) Quais destas afirmaes so definies? b) Que palavras elas definem? c) Quais delas so postulados? d) Que duas proposies podem ser combinadas para formar um silogismo? e) Que teorema demonstrado por este silogismo?
Considere os seguintes postulados e teorema: Teorema: Para viajar para a Austrlia, voc tem que bater um retrato. Postulado 1: Para viajar para a Austrlia, voc tem que ter um visto de turista. Postulado 2: Para ter um passaporte, voc tem que tirar um retrato. a) Para provar o teorema, ns precisamos de um outro postulado, alm dos dois listados anteriormente. Que postulado esse? b) Use-o, junto com os outros dois postulados, para escrever uma prova direta do teorema. 11. O senhor Silva foi assassinado. a) O que voc deve assumir para provar indiretamente que o Coronel Mostarda o assassino? b) Use o que voc assumiu e os seguintes fatos para provar que o Coronel Mostarda o assassino. Fato 1: Se a senhorita Selma for a assassina, ela usou um revlver. Fato 2: Nenhuma bala foi disparada. Fato 3: Se o Coronel Mostarda no o assassino, ento a senhorita Scarlet o . Fato 4: Se um revlver foi utilizado, uma bala foi disparada. 12. Considere as seguintes proposies: Proposio 1: Se algum um criminoso, ele no pode votar. Proposio 2: Uma pessoa um criminoso se, e somente se, ele cometeu um crime srio. Proposio 3: Pedro cometeu um crime srio. a) Qual destas declaraes uma definio. b) Escreva as duas declaraes condicionais que so equivalentes a ela. c) Use essas proposies para escrever uma prova direta de que Pedro no pode votar. d) Use-as para escrever uma prova indireta que Pedro no pode votar. 13. O quebra-cabea seguinte de Kobon Fujimura, um grande inventor de quebracabeas, japons. (A Tquio Puzzles, Scribners, 1978). Quatro pessoas A, B, C e D, foram juntas para uma loja de departamentos. Uma pessoa comprou um relgio, outra um livro, a outra um par de sapatos, e a outra, uma mquina fotogrfica. Estes produtos encontravam-se no primeiro, segundo, terceiro e quarto andares, mas no necessariamente nessa ordem. Com base nas pistas seguintes, determine quem comprou o que e em qual andar. Explique seu raciocnio. Pista 1: B foi para o primeiro andar. Pista 2: Relgios so vendidos no quarto andar. Pista 3: D foi para o segundo andar. Pista 4: A comprou um livro. Pista 5: B no comprou uma mquina fotogrfica.
10.
10. A HABILIDADE DE PERCEBER REGULARIDADES Observando o quadro acima vocs seriam capazes de concluir alguma coisa a respeito das potncias de 9? Perguntou a professora. No! responderam os alunos os alunos.
91 = 9 9 = 81
2
94 = 6.561 95 = 59.049
9 = 729
3
E agora? Perguntou novamente a professora. Sempre termina com 9 ou 1?! Respondeu Ana. Um dos principais objetivos para a incluso da Matemtica no Ensino Fundamental o desenvolvimento do raciocnio lgico. No queremos dizer com isso que somente a Matemtica pode conseguir esse desenvolvimento. Isso no verdade. Todas as disciplinas, se bem trabalhadas, podem levar a esse desenvolvimento. A Matemtica apenas uma dessas disciplinas. No sentido do desenvolvimento do raciocnio lgico, o aprimoramento da habilidade que as pessoas possuem de perceber certas regularidades que se apresentam sob vrios aspectos, desempenham um papel muito importante. De maneira simplista, detectar regularidades envolve perceber, retirar ou abstrair o que existe de comum, aps a observao de um determinado nmero de exemplos. Este processo de abstrao freqentemente chamado de raciocnio indutivo. O Raciocnio Indutivo consiste em, a partir da observao de vrios exemplos particulares, intuir uma concluso geral. A presena de regularidades em um determinado experimento implica a existncia de algumas regras bsicas comuns que, uma vez descobertas, tornam possvel ao aprendiz se comportar de maneira diferente em relao ao mesmo. Ns podemos descobrir se uma regularidade foi ou no percebida testando o aprendiz com novos exemplos. Se ele responder aos novos exemplos de acordo com a regra bsica, podemos dizer que ele detectou a regularidade. Caso contrrio, ele ainda no a detectou. importante ressaltarmos que a demonstrao por induo no consiste unicamente em observar alguns exemplos e generalizar. Algumas generalizaes que nos parecem evidentes, a partir de certos exemplos, podem no ser verdadeiras sempre. Por exemplo, se de uma caixa com 1000 botes retirarmos 900 botes vermelhos, isso no significa que os 1000 botes sero vermelhos. Essa generalizao pode ser falsa. 10.1. Exerccios 1. Os mltiplos de 5 so: 0, 5, 10, 15, etc. Observando-se esses nmeros, que concluso se pode tirar a respeito de todos os mltiplos de 5. 2. No dilogo sobre as potncias de 9, concluiu-se que todo nmero que termina em 1 ou 9 uma potncia de 9. Isso verdade? Justifique sua resposta. 3. Observe sua mo. Quantos so os espaos entre os dedos? Se sua mo tivesse 7 dedos, quantos seriam os espaos? E para 100 dedos, quantos seriam os espaos? Que concluso geral pode-se tirar?
4. Complete com as potncias de 5: 51 = ___ , 52 = ___, 53 = ___ , 54 = ___, O que se pode concluir sobre o algarismo das unidades nas potncias de 5? Justifique sua resposta. 5. Complete com as potncias de 6: 61 = ___, 62 = ___, 63 = ___, 64 = ___ Que concluso se pode tirar sobre o algarismo das unidades? Justifique sua resposta. 6. Complete com as potncias de 4: 41 = ___, 42 = ___, 43 = ___, 44 = ___ Que concluso se pode tirar sobre o algarismo das unidades? Justifique sua resposta. 7. Observe as figuras a seguir e responda:
a) Juntando 3 mesas dessa maneira, quantas pessoas se acomodam? b) E 5 mesas? c) E 27 mesas? d) Qual a relao entre o nmero de mesas e o nmero de pessoas acomodadas? 8. Imagine que voc colocou um dado sobre uma mesa. Quantas faces ficaram visveis? E se voc colocar outro dado sobre o primeiro, quantas sero as faces visveis agora? E se voc colocasse 10 dados, um sobre o outro, quantas seriam as faces visveis? E para 100 dados? 9. O nmero decimal 6,32 somado a outro decimal pode dar um nmero natural. a) D trs exemplos de nmeros decimais que somados com 6,32 resultam em um nmero natural. b) O que esses nmeros tm em comum? c) A que concluso geral se pode chegar? 10. Numa rua foram colocados 6 postes de luz. O primeiro, no comeo da rua; o ltimo no fim, com a mesma distncia entre um poste e o seguinte. a) Quantos espaos h entre os postes? b) E se fossem 10 postes, quantos espaos seriam? c) Qual a relao entre o nmero de postes e o de espaos? 11. Voc j sabe que no resultado de 9171, o algarismo das unidades ou 1 ou 9. Descubra qual dos dois . Justifique sua resposta. 12. Determine a soma dos 4 primeiros nmeros pares. E dos 10 primeiros. Determine uma relao entre o nmero de parcelas e a soma. Use essa relao para determinar a soma dos 100 primeiros nmeros pares.
1, obtemos o nmero f (1) = 12 + 1 + 41 = 43 , que tambm primo. Quando substitumos por 2, obtemos 47 e por 3, obtemos 53, que so, ambos primos. Ser que sempre obteremos um nmero primo? Justifique sua resposta.
13. Determine a soma dos 4 primeiros nmeros mpares. E dos 10 primeiros. Determine uma relao entre o nmero de parcelas e a soma. Use essa relao para determinar a soma dos 100 primeiros nmeros mpares. 14. Determine a soma dos 10 primeiros nmeros naturais. E dos 20 primeiros. Determine uma relao entre o nmero de parcelas e a soma. Use essa relao para determinar a soma dos 100 primeiros nmeros naturais. 15. Considere a frmula f (n ) = n 2 + n + 41 . Quando substitumos n por 0, obtemos o nmero f (0 ) = 0 2 + 0 + 41 = 41 , que um nmero primo. Quando substitumos n por
11. EXPRESSANDO CONCLUSES GERAIS O problema seguinte urna adaptao de um problema conhecido na Antigidade e cuja autoria creditada a Euclides de Alexandria. O CAVALO E O BURRO Um cavalo e um burro caminhavam juntos carregando, cada um, pesados sacos. Como o cavalo reclamava muito de sua pesada carga, o burro disse-lhe: De que te queixas, companheiro? Se me desses um dos sacos que carregas, minha carga seria o dobro da tua. Mas, se eu te der um saco, tua carga ser igual minha. Quantos sacos carregava cada animal? claro que podemos resolver esse problema por meio de tentativas. Atribuindo valores a carga de um dos animais e seguindo as informaes do problema podemos descobrir quantos sacos cada animal carregava. Para este (e muitos outros) problema esta, talvez, no seja a maneira mais prtica. Em geral, para resolver problemas de Matemtica, o melhor mtodo traduzi-los para o idioma da lgebra, ou seja, transformar suas informaes em equaes (equacionar o problema) e tentar resolv-las segundo as propriedades das igualdades. Os valores que se deseja encontrar so representados por letras: as incgnitas. Assim, no problema anterior, as cargas do burro e do cavalo so valores desconhecidos que podem ser representados por letras, so incgnitas. Na Matemtica, uma incgnita uma letra ou outro smbolo qualquer que representa um valor desconhecido e que se deseja encontrar. Um outro uso das letras, na lgebra, como variveis. Na Matemtica, comum nos depararmos com contas como: 2,5 0 = 0 3 0 = 0 5 0 = 0 ou ainda, 2,5 1 = 2,5 3 1 = 3 5 1 = 5 e, a partir delas, tirarmos concluses gerais: Qualquer nmero multiplicado por zero d zero. Todo nmero multiplicado por 1 d ele mesmo. Na Matemtica, concluses assim costumam ser escritas de maneira abreviada, sem usar palavras. As expresses qualquer nmero e todo nmero so trocadas por x ou, simplesmente, pela letra x. Assim, a concluso geral pode ser escrita como x, x 0 = 0 ou, simplesmente, x 0 = 0 . As sentenas x, x 0 = 0 e x 0 = 0 , esto escritas em linguagem matemtica simblica. Nessa linguagem, o uso de palavras o menor possvel. Procura-se empregar apenas, nmeros, letras, sinais de operaes e outros smbolos matemticos que foram inventados para substiturem as palavras. Como esse x representa um nmero qualquer (pode ser 3, 5 ou qualquer outro nmero) ele chamado de varivel. Na Matemtica, uma varivel uma letra ou outro smbolo qualquer que representa um nmero qualquer, de um conjunto numrico pr-determinado, o conjunto Universo.
Vejamos um outro exemplo de uma concluso geral escrita na linguagem matemtica. Observemos os cubos arrumados no cho:
1 Cubo 2 Cubos 3 Cubos 5 Faces Visveis 8 Faces Visveis 11 Faces Visveis Para muitos cubos, voc pode determinar a quantidade de faces visveis pensando assim: Em cada cubo do meio h trs faces visveis. Nos cubos dos extremos, alm dessas trs faces pode-se ver tambm uma extremidade de cada cubo. Assim, O nmero de faces visveis trs vezes o nmero de cubos mais duas. Representando por F o nmero de faces visveis e por C o nmero de cubos, chegamos a seguinte frmula: F = 3.C + 2. As letras F e C so variveis. 11.1. Exerccios 1. Qual o permetro de um quadrado de lado 3? E se o lado medir 5? Vamos tirar uma concluso geral. O permetro de um quadrado Como essa concluso pode ser abreviada numa frmula? 2. Escreva em linguagem matemtica simblica: a) Qualquer nmero multiplicado por 0, d 0; b) Qualquer nmero multiplicado por 1, d ele mesmo; c) Qualquer nmero multiplicado por si mesmo, d ele ao quadrado. 3. Complete a tabela a seguir: Nmero Metade Dobro Triplo 6 9 24 13 X 4. Escreva uma concluso geral para o permetro de um pentgono regular. E de um hexgono regular. Traduza essas concluses para a linguagem matemtica simblica. 5. Use o exerccio anterior para encontrar uma frmula para o clculo do permetro de um polgono regular. 6. Complete as tabelas abaixo: Nmero 3 4,5 12 16,5 X Tera parte Nmero Consecutivo 3 9 26 113 N
Nmero 3 6 11 13 Seu quadrado 7. Escreva em linguagem matemtica simblica as sentenas abaixo: a) Zero somado a qualquer nmero d o prprio nmero; b) Subtraindo qualquer nmero de si mesmo, o resultado zero;
Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org
52
c) Qualquer nmero dividido por 1 d ele mesmo; d) O dobro do dobro de qualquer nmero seu qudruplo. 8. Traamos dimetro de crculos: a) Em quantas partes fica dividido o crculo quando traamos 1 dimetro? b) E com 3 dimetros? c) Escreva uma concluso geral que relacione o nmero de dimetros com o nmero de partes. d) Escreva essa concluso geral na linguagem matemtica simblica. 9. Nas sentenas seguintes, a, b e c representam nmeros quaisquer. Diga se cada sentena verdadeira ou falsa. D exemplos para justificar sua resposta. c) a (b + c ) = (a + b ) (a + c ) e) a b = b a a) a + b = b + a f) a a a = a b) a b = b a d) a a 2 = a 3 10. Uma calculadora maluca. Digitando um nmero x e pressionando a tecla igual, a calculadora faz ( x + 7 ) 8 . Diga que resultados ela apresentaria se eu digitasse os nmeros: a) 1 b) 12 c) 23 d) 125 11. Considere os nmeros naturais de 20 a 29: a) Quais deles, divididos por 2, resultam um quociente que no natural? b) O que tm em comum esses quocientes no-naturais? 12. Considere um nmero natural qualquer, que vamos chamar de N. a) Se o resultado de N 2 do tipo a,5 (por exemplo: 3,5 ou 15,5), que tipo de nmero N? b) Se o resultado de N 4 do tipo a,25 (por exemplo: 3,25 ou 15,25), que tipo de nmero N? 13. Resolva o problema do Cavalo e do Burro, por meio de tentativas. Justifique cada passagem de sua resposta. 14. Resolva o problema do Cavalo e do Burro, equacionando as informaes. Justifique suas equaes. 15. Qual o menor nmero natural que deixa resto 1, ao ser dividido por 2; resto 2, ao ser dividido por 3; resto 3, ao ser dividido por 4; resto 4, ao ser dividido por 5; resto 5, ao ser dividido por 6; resto 6, ao ser dividido por 7; resto 7, ao ser dividido por 8 e resto 8, ao ser dividido por 9? 16. O seguinte problema agradava extremamente o eminente escritor russo Leon Tolstoi. Tente resolv-lo por meio de lgebra e depois por meio de aritmtica. Uma turma de ceifeiros devia ceifar duas roas, uma com o dobro da rea da outra. Durante metade do dia, a turma toda trabalhou na roa grande. Depois do almoo, metade da turma passou para a roa menor e a outra metade continuou na roa grande. Ao final do dia de trabalho, todo o trabalho estava feito, com exceo de um pequeno pedao da roa pequena. A ceifa deste pedao ocupou todo o dia seguinte de um ceifeiro sozinho. Quantos ceifeiros havia na turma?
12. RESOLVENDO PROBLEMAS Como equacionar um problema? Responderemos a essa pergunta, analisando o seguinte problema chins, de 152 a.C. e fazendo um paralelo entre a linguagem coloquial e a linguagem algbrica: Nove lingotes de ouro pesam tanto quanto doze lingotes de prata. Se trocarmos um lingote de ouro por um lingote de prata, ento entre o peso da prata e o do ouro haver uma diferena de 4 unidades. Quanto pesa um lingote de ouro e um de prata? EM LNGUA PORTUGUESA EM LINGUAGEM ALGBRICA Peso de um lingote de ouro. x Peso de um lingote de prata. y Nove lingotes de ouro. 9x Doze lingotes de prata. 12y Nove lingotes de ouro pesam tanto quanto 9x = 12y doze lingotes de prata. Se trocarmos um lingote de ouro por um lin9x 1x gote de prata, 12y + 1y Ento entre o peso da prata e o do ouro ha13y 8x = 7 ver uma diferena de 7 unidades. ? x ? y Equacionando e resolvendo problemas A seguir, apresentaremos um problema para equacion-lo e, depois, resolv-lo. Problema: Qual o nmero que multiplicando-se por 2, adicionando-se 12 ao produto e dividindo-se a soma por 6, obtm-se como resultado a metade do prprio nmero? Equacionando o problema: EM LNGUA PORTUGUESA EM LINGUAGEM ALGBRICA Qual o nmero. x Multiplicado por 2. 2x Adicionando-se 12 ao produto. 2x + 12 ( 2 x + 12 ) Dividindo a soma por 6 6 x Metade do prprio nmero. 2 2 x + 12 ) x ( D igual a = 6 2 Multiplicando os dois membros da igualdade por 6, obtemos a equao: 2 x + 12 = 3x . Adicionando-se (2x) a ambos os membros da igualdade, obtemos a equao: 2x + 12 + (2x) = 3x + (2x) ou, equivalentemente, 12 = x. Assim, o nmero procurado 12. Quando resolvemos um problema, importante verificarmos se o nmero encontrado mesmo soluo do problema. Faamos isso, agora.
13. BIBLIOGRAFIA GUELLI, Oscar. Equao: o idioma da lgebra. Coleo Contando a Histria da Matemtica, vol. 2. So Paulo. tica, 1992. IMENES & JAKUBO & LELLIS. lgebra. Coleo Pra que serve Matemtica? So Paulo. Atual, 1992. IMENES, L.M. & LELLIS, M. Matemtica. So Paulo. Scipione, 1997. JACOBS, H.R. Geometry. USA. Freeman and Company, 1987. KARLSON, Paul. A magia dos nmeros. Coleo Tapete Mgico. Porto Alegre. Globo, 1961. PERELMANN, I. Aprenda lgebra brincando. So Paulo. Hemus, sd.
14. ANEXOS 14.1. Sudoku Sudoku um jogo de raciocnio e lgica. Apesar de ser bastante simples, divertido e viciante. Basta completar cada linha, coluna e quadrado 3x3 com nmeros de 1 a 9. No h nenhum tipo de matemtica envolvida.
14.2. Kakuro O objetivo deste jogo preencher todos os quadros em branco, usando nmeros de 1 a 9, sendo que a soma de cada linha deve ser igual ao nmero indicado esquerda e a soma de cada coluna igual ao nmero que est no topo. Ateno: Nenhum nmero pode ser usado mais de uma vez na mesma soma. Nvel Fcil
Nvel Intermedirio
Nvel Difcil

Apostila de Lógica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila de Lógica

Enviado por

Direitos autorais:

Formatos disponíveis

PS-GRADUAO EM ENSINO DA MATEMTICA

ENSINO DE NOES DE LGICA MATEMTICA

JOS HELDER DE MESQUITA FILHO

ACCESSU EDUCAO SUPERIOR

ENSINO DE NOES DE LGICA MATEMTICA

JOS HELDER DE MESQUITA FILHO

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 6

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 7

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 8

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 9

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 10

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 11

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 12

Sirvam-se do espaguete, gente. Peg servir as almndegas.

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 14

No incio voc no obteve sucesso

Eu gostaria de poder voar como os pssaros!

No concordo! Por que no?

Ele tambm no lhe deu um prabrisas!

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 17

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 18

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 19

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 20

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 21

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 22

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 23

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 25

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 26

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 30

Se ns combinarmos estes dois diagramas em um s, obteremos o seguinte diagrama:

Flores que no falam Flores adormecidas Canteiro macio

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 31

Flores que no falam

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 34

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 36

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 37

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 38

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 42

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 44

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 45

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 46

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 48

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 49

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 50

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 51

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 53

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 54

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 56

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 57

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 58

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 59

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 60

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 61

Ensino de Noes de Lgica Matemtica Prof. Helder Filho - helder@accessueducacao.org 62

Você também pode gostar