Você está na página 1de 48

LGICA

LGICA
ESTRUTURAS LGICAS;
Alguns problemas que caem nos concursos exigem muita criatividade, malcia e sorte, e, a no ser que o candidato j tenha visto coisa similar, no podem ser resolvidos nos trs a cinco minutos disponveis para cada questo. Muitos candidatos, mesmo devidamente treinados no tero condies de resolv-los. Nosso conselho que no devem se preocupar muito. Esses problemas irrespondveis no tempo hbil no passam de 20% das questes de Raciocnio Lgico exigidas nos concursos pblicos. Uma base slida de matemtica ser suficiente para resolver pelo menos 50% dos problemas. Os outros 30% podem ser resolvidos pela aplicao direta dos mtodos de raciocnio lgico que estudaro. A lgica de primeira ordem (LPO), conhecida tambm como clculo de predicados de primeira ordem (CPPO), um sistema lgico que estende a lgica proposicional (lgica sentencial) e que estendida pela lgica de segunda ordem. As sentenas atmicas da lgica de primeira ordem tm o formato P (t1,, tn) (um predicado com um ou mais argumentos) ao invs de serem smbolos sentenciais sem estruturas. O ingrediente novo da lgica de primeira ordem no encontrado na lgica proposicional a quantificao: dada uma sentena qualquer, as novas construes e -- leia para todo x, e para algum x, , respectivamenteso introduzidas. significa que verdadeiro para todo valor de x e significa que h pelo menos um x tal que verdadeiro. Os valores das variveis so tirados de um universo de discurso pr-determinado. Um refinamento da lgica de primeira ordem permite variveis de diferentes tipos, para tratar de diferentes classes de objetos. A lgica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemtica. Uma teoria de primeira ordem consiste em um conjunto de axiomas (geralmente finitos ou recursivamente enumervel) e de sentenas dedutveis a partir deles. A teoria dos conjuntos de Zermelo-Fraenkel um exemplo de uma teoria de primeira ordem, e aceita-se geralmente que toda a matemtica clssica possa ser formalizada nela. H outras teorias que so normalmente formalizadas na lgica de primeira ordem de maneira independente(embora elas admitam a implementao na teoria dos conjuntos) tais como a aritmtica de Peano. Definindo a lgica de primeira ordem Um clculo de predicados consiste em: - regras de formao (definies recursivas para dar origem a frmulas bem-formadas ou FBFs). - regras de transformao (regras de inferncia para derivar teoremas). - axiomas. Os axiomas considerados aqui so os axiomas lgicos que fazem parte do clculo de predicados. Alm disso, os axiomas nolgicos so adicionados em teorias de primeira ordem especficas: estes no so considerados como verdades da lgica, mas como verdades da teoria particular sob considerao. Quando o conjunto dos axiomas infinito, requer-se que haja um algoritmo que possa decidir para uma frmula bem-formada dada, se ela um axioma ou no. Deve tambm haver um algoritmo que possa decidir se uma
1

A Lgica uma cincia com caractersticas matemticas, mas est fortemente ligada Filosofia. Ela cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar humano. Aristteles, filsofo grego (384 322 a.C.) em sua obra rganon, distribuda em oito volumes, foi o seu principal organizador. George Boole (1815 1864), em seu livro A Anlise Matemtica da Lgica, estruturou os princpios matemticos da lgica formal, que, em sua homenagem, foi denominada lgebra Booleana. No sculo XX, Claude Shannon aplicou pela primeira vez a lgebra booleana em interruptores, dando origem aos atuais computadores. Desde 1996, nos editais de concursos j inseriam o Raciocnio Lgico em suas provas. Existem muitas definies para a palavra lgica, porm no caso do nosso estudo no relevante um aprofundamento nesse ponto, suficiente apenas discutir alguns pontos de vista sobre o assunto. Alguns autores definem lgica como sendo a Cincia das leis do pensamento, e neste caso existem divergncias com essa definio, pois o pensamento matria estudada na Psicologia, que uma cincia distinta da lgica (cincia). Segundo Irving Copi, uma definio mais adequada : A lgica uma cincia do raciocnio, pois a sua idia est ligada ao processo de raciocnio correto e incorreto que depende da estrutura dos argumentos envolvidos nele. Lgica: Coerncia de raciocnio, de idias. Modo de raciocinar peculiar a algum, ou a um grupo. Sequncia coerente, regular e necessria de acontecimentos, de coisas. (dicionrio Aurlio), portanto podemos dizer que a Lgica a cincia do raciocnio. Assim conclumos que a lgica estuda as formas ou estruturas do pensamento, isto , seu propsito estudar e estabelecer propriedades das relaes formais entre as proposies. Veremos nas prximas linhas a definio do que venha a ser uma proposio, bem como o seu clculo proposicional antes de chegarmos ao nosso objetivo maior que estudar as estruturas dos argumentos, que sero conjuntos de proposies denominadas premissas ou concluses. Dica: A esmagadora maioria das questes de raciocnio lgico exigidas em concursos pblicos necessita de uma forma ou de outra, de conhecimentos bsicos de matemtica. Este o motivo para que faam paralelamente matria de raciocnio lgico propriamente dito uma reviso dos principais tpicos da matemtica de nvel secundrio. Concomitantemente com a reviso acima mencionada, devem estudar todas as grandes famlias de problemas consideradas de raciocnio lgico, e a maneira mais rpida de resolv-los. Muitas questes podem ser resolvidas pela simples intuio. Porm, sem o devido treinamento, mesmo os melhores tero dificuldade em resolv-las no exguo tempo disponvel nos concursos. Grande parte dos problemas de Raciocnio Lgico, como no poderia deixar de ser, sero do tipo charada ou quebracabeas.

Didatismo e Conhecimento

LGICA
aplicao dada de uma regra de inferncia est correta ou no. importante notar que o clculo de predicados pode ser formalizado de muitas maneiras equivalentes; no h nada cannico sobre os axiomas e as regras de inferncia propostos aqui, mas toda a formalizao dar origem aos mesmos teoremas da lgica (e deduzir os mesmos teoremas a partir de um conjunto qualquer de axiomas no-lgicos). Alfabeto O alfabeto de 1 ordem, , tem a seguinte constituio: , onde 1. X = {x,y,z,x1,x2,...,y1,y2,...,z1,z2,...} um conjunto enumervel de variveis; 2. C = {a,b,c,a1,a2,...,b1,b2,...,c1,c2,...} um conjunto de smbolos chamados de constantes; 3. F = {F1, F2,...} um conjunto de smbolos ditos sinais funcionais; 4. R = {R1, R2,...} um conjunto de smbolos ditos sinais relacionais ou predicativos; 5. o conjunto de smbolos ditos sinais lgicos; 6. P = {(,),,} o conjunto de smbolos de pontuao. As constantes, sinais funcionais e sinais predicativos constituem a coleo de sinais ditos smbolos no lgicos. H diversas variaes menores listadas abaixo: - O conjunto de smbolos primitivos (operadores e quantificadores) varia frequentemente. Alguns smbolos primitivos podem ser omitidos, substituindo-os com abreviaturas adequadas; por exemplo, (P Q) uma abreviatura para (P Q) (Q P). No sentido contrrio, possvel incluir outros operadores como smbolos primitivos, como as constantes de verdade para verdadeiro e o para falso (estes so operadores do aridade 0). O nmero mnimo dos smbolos primitivos necessrios um, mas se ns nos restringirmos aos operadores listados acima, seria necessrio trs; por exemplo, o , o , e o bastariam. - Alguns livros mais velhos usam a notao para , ~ para , & para , e uma riqueza de notaes para os quantificadores; por exemplo, x pode ser escrito como (x). - A igualdade s vezes considerada como parte da lgica de primeira ordem; Neste caso, o smbolo da igualdade ser includo no alfabeto, e comportar-se- sintaticamente como um predicado binrio. Assim a LPO ser chamada de lgica de primeira ordem com igualdade. - As constantes so na verdade funes de aridade 0, assim seria possvel e conveniente omitir constantes e usar as funes que tenham qualquer aridade. Mas comum usar o termo funo somente para funes de aridade 1. - Na definio acima, as relaes devem ter pelo menos aridade 1. possvel permitir relaes de aridade 0; estas seriam consideradas variveis proposicionais. - H muitas convenes diferentes sobre onde pr parnteses; por exemplo, se pode escrever x ou (x). s vezes se usa dois pontos ou ponto final ao invs dos parnteses para criar frmulas no ambguas. Uma conveno interessante, mas incomum, a notao polonesa, onde se omite todos os parnteses, e escrevese o , , e assim por diante na frente de seus argumentos. A notao polonesa compacta e elegante, mas rara e de leitura complexa.
2

- Uma observao tcnica que se houver um smbolo de funo de aridade 2 que representa um par ordenado (ou smbolos de predicados de aridade 2 que representam as relaes de projeo de um par ordenado) ento se pode dispensar inteiramente as funes ou predicados de aridade > 2. Naturalmente o par ou as projees necessitam satisfazer aos axiomas naturais. Os conjuntos das constantes, das funes, e das relaes compem a assinatura e so geralmente considerados para dar forma a uma linguagem, enquanto as variveis, os operadores lgicos, e os quantificadores so geralmente considerados para pertencer lgica. Uma estrutura d o significado semntico de cada smbolo da assinatura. Por exemplo, a linguagem da teoria dos grupos consiste de uma constante (elemento da identidade), de uma funo de aridade 1 (inverso), de uma funo de aridade 2 (produto), e de uma relao de aridade 2 (igualdade), que seria omitida pelos autores que incluem a igualdade na lgica subjacente. Regras de Formao As regras de formao definem os termos, frmulas, e as variveis livres como segue. O conjunto dos termos definido recursivamente pelas seguintes regras: 1. Qualquer constante um termo (sem variveis livres). 2. Qualquer varivel um termo (cuja nica varivel livre ela mesma). 3. Toda expresso f (t1,, tn) de n 1 argumentos (onde cada argumento ti um termo e f um smbolo de funo de aridade n) um termo. Suas variveis livres so as variveis livres de cada um dos termos ti. 4. Clusula de fechamento: Nada mais um termo. O conjunto das frmulas bem-formadas (chamadas geralmente FBFs ou apenas frmulas) definido recursivamente pelas seguintes regras: 1. Predicados simples e complexos: se P for uma relao de aridade n 1 e os ai so os termos ento P (a1,,an) bem formada. Suas variveis livres so as variveis livres de quaisquer termos ai. Se a igualdade for considerada parte da lgica, ento (a1 = a2) bem formada. Tais frmulas so ditas atmicas. 2. Clusula indutiva I: Se for uma FBF, ento uma FBF. Suas variveis livres so as variveis livres de . 3. Clusula indutiva II: Se e so FBFs, ento ( ), ( ), ( ), ( ) so FBFs. Suas variveis livres so as variveis livres de e de . 4. Clusula indutiva III: Se for uma FBF e x for um varivel, ento x e x so FBFs, cujas variveis livres so as variveis livres de com exceo de x. Ocorrncias de x so ditas ligadas ou mudas (por oposio a livre) em x e x. 5. Clusula de fechamento: Nada mais uma FBF. Na prtica, se P for uma relao de aridade 2, ns escrevemos frequentemente a P b em vez de P a b; por exemplo, ns escrevemos 1 < 2 em vez de < (1 2). Similarmente se f for uma funo de aridade 2, ns escrevemos s vezes a f b em vez de f (a b); por exemplo, ns escrevemos 1 + 2 em vez de + (1 2). tambm comum omitir alguns parnteses se isto no conduzir ambigidade. s vezes til dizer que P (x) vale para exatamente um x, o que costuma ser denotado por !xP(x). Isto tambm pode ser expresso por x (P (x) y (P (y) (x = y))).

Didatismo e Conhecimento

LGICA
Exemplos: A linguagem dos grupos abelianos ordenados tem uma constante 0, uma funo unria , uma funo binria +, e uma relao binria . Assim: - 0, x, y so termos atmicos - + (x, y), + (x, + (y, (z))) so termos, escritos geralmente como x + y, x + (y + (z)) - = (+ (x, y), 0), (+ (x, + (y, (z))), + (x, y)) so frmulas atmicas, escritas geralmente como x + y = 0, x + y - z x + y, - (x y (+ (x, y), z)) (x = (+ (x, y), 0)) uma frmula, escrita geralmente como (x y (x + y z)) (x (x + y = 0)). Substituio Se t um termo e (x) uma frmula que contm possivelmente x como uma varivel livre, ento (t) se definido como o resultado da substituio de todas as instncias livres de x por t, desde que nenhuma varivel livre de t se torne ligada neste processo. Se alguma varivel livre de t se tornar ligada, ento para substituir t por x primeiramente necessrio mudar os nomes das variveis ligadas de para algo diferente das variveis livres de t. Para ver porque esta condio necessria, considere a frmula (x) dada por y yx (x mximal). Se t for um termo sem y como varivel livre, ento (t) diz apenas que t maximal. Entretanto se t y, a frmula (y) y yy que no diz que y mximal.O problema de que a varivel livre y de t (=y) se transformou em ligada quando ns substitumos y por x em (x). Assim, para construir (y) ns devemos primeiramente mudar a varivel ligada y de para qualquer outra coisa, por exemplo a varivel z, de modo que o (y) seja ento z z y. Esquecer desta condio uma causa notria de erros. Igualdade H diversas convenes diferentes para se usar a igualdade (ou a identidade) na lgica de primeira ordem. Esta seo resume as principais. Todas as convenes resultam mais ou menos no mesmo com mais ou menos a mesma quantidade de trabalho, e diferem principalmente na terminologia. - A conveno mais comum para a igualdade incluir o smbolo da igualdade como um smbolo lgico primitivo, e adicionar os axiomas da igualdade aos axiomas da lgica de primeira ordem. Os axiomas de igualdade so x=x x = y F(,x,) = F(,y,) para qualquer funo F x = y (R(,x,) R(,y,)) para qualquer relao R (incluindo a prpria igualdade) - A prxima conveno mais comum incluir o smbolo da igualdade como uma das relaes de uma teoria, e adicionar os axiomas da igualdade aos axiomas da teoria. Na prtica isto quase idntico da conveno precedente, exceto no exemplo incomum de teorias com nenhuma noo de igualdade. Os axiomas so os mesmos, e a nica diferena se eles sero chamados de axiomas lgicos ou de axiomas de taoria. - Nas teorias sem funes e com um nmero finito de relaes, possvel definir a igualdade em termos de relaes, definindo os dois termos s e t como iguais se qualquer relao continuar inalterada ao se substituir s por t em qualquer argumento. Por exemplo, em teoria dos conjuntos com uma relao , ns Didatismo e Conhecimento
3

definiramos s = t como uma abreviatura para x (s x t x) x (x s x t). Esta definio de igualdade satisfaz automaticamente os axiomas da igualdade. - Em algumas teorias possvel dar definies de igualdade ad hoc. Por exemplo, em uma teoria de ordens parciais com uma relao ns poderamos definir s = t como uma abreviatura para s t t s. Regras de Inferncia A regra de inferncia modus ponens a nica necessria para a lgica proposicional de acordo com a formalizao proposta aqui. Ela diz que se e so ambos demonstrados, ento pode-se deduzir . A regra de inferncia chamada Generalizao Universal caracterstica da lgica de primeira ordem: se , ento onde se supe que um teorema j demonstrado da lgica de primeira ordem. Observe que a Generalizao anloga regra da necessitao da lgica modal, que : se , ento . Limitaes Apesar da Lgica de Primeira Ordem ser suficiente para formalizar uma grande parte da matemtica, e tambm ser comumente usada em Cincia da Computao e outras reas, ela tem as suas limitaes. Suas limitaes incluem limitaes em sua expressividade e limitaes com relao aos fragmentos das lnguas naturais que pode descrever. Expressividade O teorema de LwenheimSkolem mostra que se uma teoria de primeira ordem tem um modelo infinito, ento a teoria tambm tem modelos de todas as cardinalidades infinitas. Em particular, nenhuma teoria de primeira ordem com um modelo infinito pode ser categrica. Assim, no h uma teoria de primeira ordem cujo nico modelo tem o conjunto dos nmeros naturais como domnio, ou cujo nico modelo tem o conjunto dos nmeros reais como domnio. Vrias extenses da Lgica de Primeira-Ordem, incluindo a Lgica de Ordem Superior e a Lgica Infinitria, so mais expressivas no sentido de que elas admitem axiomatizaes categricas dos nmeros naturais ou reais. Essa expressividade tem um custo em relao as propriedades meta-lgicas; de acordo com o Teorema de Lindstrm, qualquer lgica que seja mais forte que a lgica de primeira ordem falhar em validar o teorema da compaccidade ou em validar o teorema de LwenheimSkolem. Formalizando as Lnguas Naturais A lgica de primeira ordem capaz de formalizar vrios quantificadores na lingua natural, como todas as pessoas que moram em Paris, moram na Frana. Mas existem vrias caractersticas que no podem ser expressas na lgica de primeira ordem. Qualquer sistema lgico que apropriado para analisar lnguas naturais, precisa de uma estrutura muito mais rica que a lgica de primeira ordem (Gamut 1991, p 75).

LGICA
Tipo Exemplo Comentrio Requer quantificadores sobre os predicados, os quais no podem ser implementados com a lgica de primeira ordem (unicamente ordenada): Zj X(XjXp) Se Rafael for satisfeito consigo Quantificadores mesmo, ento sobre as ele tem pelo propriedades menos uma coisa em comum com Roberta Regras de Inferncia: - Modus Ponens:

- Generalizao Universal:

Requer quantificadores sobre os predicados, os quais no podem ser Quantificadores Papai Noel tem implementados com sobre as todos os atributos a lgica de primeira propriedades de um sadista ordem (unicamente ordenada): X(x(Sx Xx)Xs) No pode ser analisado como Wj Qj; predicados adverbiais Luiz est andando no so a mesma coisa rpido que predicados de segunda ordem , como cores No podem ser analisados como Sj Ej; predicados adjetivados Jumbo um no so a mesma coisa elefante pequeno que predicados de segunda ordem , como cores Anderson est andando muito rpido Uma expresso como extremamente , quando Roberta usado com um adjetivo e x t r e m a m e n t e relativo pequena, pequena resulta em um novo adjetivo relativo: extremamente pequena A preposio ao lado Alberto est de quando aplicada sentado ao lado a Luiz, resulta em um de Danilo predicado adverbial ao lado de Luiz

Estes axiomas so na realidade esquemas de axiomas. Cada letra grega pode ser uniformemente substituda, em cada um dos axiomas acima, por uma FBF qualquer, e uma expresso do tipo [t: = x] denota o resultado da substituio de x por t na frmula . Clculo de Predicados O clculo de predicado uma extenso da lgica proposicional que define quais sentenas da lgica de primeira ordem so demonstrveis. um sistema formal usado para descrever as teorias matemticas. Se o clculo proposicional for definido por um conjunto adequado de axiomas e a nica regra de inferncia modus ponens (isto pode ser feito de muitas maneiras diferentes, uma delas j ilustrada na seo anterior), ento o clculo de predicados pode ser definido adicionando-se alguns axiomas e uma regra de inferncia generalizao universal (como, por exemplo, na seo anterior). Mais precisamente, como axiomas para o clculo de predicado, teremos: - Os axiomas circunstanciais do clculo proposicional (A1, A2 e A3 na seo anterior); - Os axiomas dos quantificadores (A4 e A5); - Os axiomas para a igualdade propostos em seo anterior, se a igualdade for considerada como um conceito lgico. Uma sentena ser definida como demonstrvel na lgica de primeira ordem se puder ser obtida comeando com os axiomas do clculo de predicados e aplicando-se repetidamente as regras de inferncia modus ponens e generalizao universal. Se ns tivermos uma teoria T (um conjunto de sentenas, s vezes chamadas axiomas) ento uma sentena se define como demonstrvel na teoria T se a b demonstrvel na lgica de primeira ordem (relao de consequncia formal), para algum conjunto finito de axiomas a, b, da teoria T. Um problema aparente com esta definio de demonstrabilidade que ela parece um tanto ad hoc: ns tomamos uma coleo aparentemente aleatria de axiomas e de regras de inferncia, e no bvio que no tenhamos acidentalmente deixado de fora algum axioma ou regra fundamental. O teorema da completude de Gdel nos assegura de que este no realmente um problema: o teorema diz que toda sentena verdadeira em todos os modelos demonstrvel na lgica de primeira ordem. Em particular, toda definio razovel de demonstrvel na lgica de primeira ordem deve ser equivalente definio acima (embora seja possvel que os comprimentos das derivaes difira bastante para diferentes definies de demonstrabilidade). H muitas maneiras diferentes (mas equivalentes) de definir provabilidade. A definio acima um exemplo tpico do clculo no estilo de Hilbert, que tem muitos axiomas diferentes, mas poucas regras de inferncia. As definies de demonstrabilidade para a lgica de primeira ordem nos estilos de Gentzen (deduo natural e clculo de sequentes) so baseadas em poucos ou nenhum axiomas, mas muitas regras de inferncia.
4

Predicado adverbial

Adjetivo Relativo

Modificador do predicado adverbial

Modificador do adjetivo relativo

Preposies

Axiomas e Regras Os cinco axiomas lgicos mais as duas regras de inferncia seguintes caracterizam a lgica de primeira ordem: Axiomas: - (A1) - (A2) - (A3) - (A4) - (A5)

, onde x no livre em , onde t livre para x em .

Didatismo e Conhecimento

LGICA
Algumas equivalncias: - A lgica de segunda ordem mondica permite a quantificao sobre subconjuntos, ou seja, sobre predicados unrios. - A lgica de segunda ordem permite a quantificao sobre subconjuntos e relaes, ou seja, sobre todos os predicados. Por exemplo, a igualdade pode ser definida na lgica de segunda ordem pelo x = y def P (P(x) P(y)). A quantificao sobre predicados no permitida na lgica de primeira ordem. - As lgicas de ordem superior permitem a quantificao sobre coisas mais gerais, tais como relaes entre relaes. - A lgica intuicionista de primeira ordem utiliza o intuicionismo ao invs do clculo proposicional clssico, por exemplo, o no precisa ser equivalente a . - A lgica modal tem operadores modais extras com significados informais tais como necessrio que e possvel que . - A lgica infinitria permite sentenas infinitamente longas. Ela pode permitir por exemplo, uma conjuno ou uma disjuno infinita de muitas frmulas, ou uma quantificao sobre um nmero infinito de variveis. Sentenas infinitamente longas aparecem na matemtica (por exemplo, topologia) e na metamatemtica (por exemplo, a teoria dos modelos). - A lgica de primeira ordem com quantificadores generalizados tem novos quantificadores Qx,, com significados como h muitos x tais que. Veja tambm quantificao ramificada e quantificao plural de George Boolos e outros. - A lgica independence-friendly caracterizada por quantificadores ramificados que permitem expressar a independncia entre variveis quantificadas. A maioria destas lgicas so de certa forma extenses da lgica de primeira ordem: elas incluem todos os quantificadores e operadores lgicos da lgica de primeira ordem com os mesmos significados. Lindstrm mostrou que a lgica de primeira ordem no tem extenses (com exceo dela prpria) que satisfazem o teorema da compacidade e ao teorema de Lwenheim-Skolem descendente. Uma formulao precisa deste teorema requer a listagem de vrias pginas de condies tcnicas que a lgica deve satisfazer, por exemplo, a mudana dos smbolos de uma linguagem no deve fazer nenhuma diferena essencial nas sentenas que so verdadeiras. A lgica de primeira ordem em que nenhuma sentena atmica se encontra sob o escopo de mais de trs quantificadores, tem o mesmo poder expressivo que a lgebra de relao de Tarski e de Givant (1987). Estes autores tambm mostram que a LCPO (Lgica Clssica de Primeira Ordem) com um par ordenado primitivo, e uma relao algbrica incluindo relaes de projeo sobre pares ordenados so equivalentes. Ex: pt.x (Homem(x)Mortal(x)), que uma frmula vlida. Conectivos Para compor novas proposies, definidas como composta, a partir de outras proposies simples, usam-se os conectivos. Os conectivos mais usados so: e(), ou(), se... ento() e se e somente se(). Exemplos - Mnica uma mulher bonita e o Brasil um grande pas.c - Professor Fbio esperto ou est doente. - Se eu comprar um carro, ento venderei meu carro antigo. - Um nmero primo se e somente se for divisvel apenas por 1 e por si mesmo.
5

Algumas regras de inferncia:

quantificada em P(x))

(se c for uma varivel, ento no deve ser (x no deve aparecer livre em P(c))

Metateoremas da lgica de primeira ordem Alguns metateoremas lgicos importantes listam-se abaixo: 1. Ao contrrio da lgica proposicional, a lgica de primeira ordem indecidvel, desde que a linguagem contenha ao menos um predicado de aridade ao menos 2, para alm da igualdade. Pode-se demonstrar que h um procedimento de deciso para determinar se uma frmula arbitrria P vlida (veja problema da parada). (Estes resultados foram demonstrados, independentemente, por Church e Turing). 2. O problema da deciso para validade semidecidvel, ou seja, h uma mquina de Turing que quando recebe uma frase como entrada, parar se e somente se a sentena for vlida (satisfeita em todos os modelos). - Como o teorema da completude de Gdel mostra, para toda frmula vlida P, P demonstrvel. Analogamente, assumindo a consistncia da lgica, toda frmula demonstrvel vlida. - Para um conjunto finito ou semi-enumervel de axiomas, o conjunto das frmulas demonstrveis pode ser explicitamente enumerado por uma mquina de Turing, donde segue o resultado de semidecidibilidade. 3. A lgica de predicados mondica (i.e., a lgica de predicados somente com predicados de um argumento) decidvel. 4. A classe de Bernays-Schnfinkel das frmulas de primeira ordem tambm decidvel. Comparao com outras lgicas - A lgica de primeira ordem tipada permite que as variveis e os termos tenham vrios tipos (ou sortes). Se houver apenas um nmero finito de tipos o resultado no ser muito diferente da lgica de primeira ordem, porque os tipos podero ser descritos com um nmero finito de predicados unrios e alguns axiomas. s vezes h um tipo especial dos valores de verdade, e neste caso as frmulas so nada mais do que termos do tipo . - A lgica de segunda ordem fraca permite a quantificao sobre subconjuntos finitos. Didatismo e Conhecimento

LGICA
p V V F F q V F V F p q V F F F

Conceito: Se p e q so duas proposies, a proposio pq ser chamada de conjuno. Observe que uma conjuno pq s verdadeira quando p e q so verdadeiras. Para a conjuno, tem-se a seguinte tabela-verdade: p V V F F q V F V F pq V F F F

Ateno: O conectivo , ou, utilizado para interligar dois ou mais argumentos, resultando na unio desses argumentos. O valor resultante da unio de dois ou mais argumentos somente ser falso quando todos os argumentos ou proposies forem falsos. Conectivo Se... ento () Sejam as proposies abaixo: p: 5.4 = 20 q: 3 um nmero primo. A partir de p e q, podemos compor: pq: se 5.4 = 20 , ento 3 um nmero primo. Conceito: Se p e q so duas proposies, a proposio pq chamada subjuno ou condicional. Considere a seguinte subjuno: Se fizer sol, ento irei praia. 1. Podem ocorrer as situaes: 2. Fez sol e fui praia. (Eu disse a verdade) 3. Fez sol e no fui praia. (Eu menti) 4. No fez sol e no fui praia. (Eu disse a verdade) 5. No fez sol e fui praia. (Eu disse a verdade, pois eu no disse o que faria se no fizesse sol. Assim, poderia ir ou no ir praia) Observe que uma subjuno p q somente ser falsa quando a primeira proposio, p, for verdadeira e a segunda, q, for falsa. Para a subjuno, tem-se a seguinte tabela-verdade: p V V F F q V F F V p q V F V V

Ateno: Os conectivos so usados para interligar duas ou mais sentenas. E toda sentena interligada por conectivos ter um valor lgico, isto , ser verdadeira ou falsa. Sentenas interligadas pelo conectivo e possuiro o valor verdadeiro somente quanto todas as sentenas, ou argumentos lgicos, tiverem valores verdadeiros. Conectivo ou () O conectivo ou pode ter dois significados: 1. ou inclusivo: Elisabete bonita ou Elisabete inteligente. (Nada impede que Elisabete seja bonita e inteligente) 2. ou exclusivo: Elisabete paulista ou Elisabete carioca. (Se Elisabete paulista, no ser carioca e vice-versa) Ateno: Estudaremos o ou inclusivo, pois o elemento em questo pode possuir duas ou mais caractersticas, como o exemplo do item 1, em que Elisabete poder possuir duas ou mais qualidades ou caractersticas. Sejam: p: 3 um nmero inteiro. q: o Brasil pentacampeo mundial de futebol. A partir de p e q, podemos compor: pvq: 3 um nmero inteiro ou o Brasil pentacampeo mundial de futebol. Se p e q so duas proposies, a proposio pvq ser chamada adjuno ou disjuno. Observe que uma adjuno p q verdadeira quando uma das proposies formadoras, p ou q, verdadeira. Para a adjuno, tem-se a seguinte tabela-verdade:

Existem outras maneiras de ler: pq: p condio suficiente para q ou, ainda, q condio necessria pra p. Sejam: p: 18 divisvel por 6. q: 18 divisvel por 2. Podemos compor: pq: se 18 divisvel por 6, ento 18 divisvel por 2, que se pode ler: - 18 divisvel por 6 condio suficiente para 18 divisvel por 2 ou, ainda, - 18 divisvel por 2 condio necessria para 18 divisvel por 6. Ateno: Dizemos que p implica q (pq) quando estamos considerando uma relao entre duas proposies, compostas ou no, diferentemente do smbolo , que denota uma operao entre duas proposies, resultando numa proposio.

Didatismo e Conhecimento

Conectivo e () Sejam os argumentos: p: 3 um nmero inteiro. q: a cobra um rptil. Com os argumentos acima, podemos compor uma sentena fechada, que expressa os dois argumentos: 3 um nmero inteiro e a cobra um rptil. A sentena acima pode ser representada como pq, podemos receber um valor lgico, verdadeiro ou falso.

LGICA
Conectivo Se e somente se () Sejam: p: 16 2 = 8 q: 2 um nmero primo. A partir de p e q, podemos compor: pq: 16 2 = 8 se e somente se 2 um nmero primo. Se p e q so duas proposies, a proposio pq1 chamada bijuno ou bicondicional, que tambm pode ser lida como: p condio necessria e suficiente para q ou, ainda, q condio necessria e suficiente para p. Considere, agora, a seguinte bijuno: Irei praia se e somente se fizer sol. Podem ocorrer as situaes: 1. Fez sol e fui praia. (Eu disse a verdade) 2. Fez sol e no fui praia. (Eu menti) 3. No fez sol e fui praia. (Eu menti) 4. No fez sol e no fui praia. (Eu disse a verdade) Observe que uma bijuno s verdadeira quando as proposies formadoras so ambas falsas ou ambas verdadeiras. Para a bijuno, tem-se a seguinte tabela-verdade: p V V F F q V F V F pq V F F V Dar as sentenas verbais para: a) p ~q Se Joana graciosa, ento Ftima no tmida. b) ~(~pvq) falso que Joana no graciosa ou que Ftima tmida. Ateno: O conectivo usado quando se quer mostrar que dois argumentos so equivalentes. Por exemplo, quando dizemos que todo nmero par da forma 2n, n N, no o mesmo que dizer que os nmeros pares so divisveis por 2.

PROPOSIES;

Devemos lembrar que pq o mesmo que (pq)(qp). Assim, dizer Hoje sbado e somente se amanh domingo o mesmo que dizer: Se hoje sbado, ento amanh domingo e, se amanh domingo, ento hoje sbado. Ateno: Dizemos que p equivale a q (p q) quando estamos considerando uma relao entre duas ou mais proposies, diferentemente do smbolo , que denota uma operao entre duas proposies, resultando numa nova proposio. Exemplos: 1. Dar os valores lgicos das seguintes proposies compostas: a) p1 : 2 + 5 = 7 ou 2 + 5 = 6 Temos que pvq, com p(V), q(F); portanto, p1 (V ) . b) p2 : se 2 + 4 = 8 , ento 2 + 6 = 9 Temos que p q com p(F), q(F); portanto, p2 (V ) . 2. Estude os valores lgicos das sentenas abertas compostas: se x-14x+48=0, ento x-2=4 Como x-14x+48=0 x=6 ou x=8 e x-2=4 x=6, tem-se: a) (VV) substituindo x por 6, temos o valor lgico V. b) (VF) substituindo x por 8, temos o valor lgico F. c) (FV) no se verifica. d) (FF) substituindo x por qualquer nmero real diferente de 6 e 8, temos o valor lgico V. 3. Sejam as proposies: p: Joana graciosa. q: Ftima tmida.

Uma proposio uma afirmao que pode ser verdadeira ou falsa. Ela o significado da afirmao, no um arranjo preciso das palavras para transmitir esse significado. Por exemplo, Existe um nmero primo par maior que dois uma proposio (no caso, falsa). Um nmero primo par maior que dois existe a mesma proposio, expressa de modo diferente. muito fcil mudar acidentalmente o significado das palavras apenas reorganizandoas. A dico da proposio deve ser considerada algo significante. possvel utilizar a lingustica formal para analisar e reformular uma afirmao sem alterar o significado. As sentenas ou proposies so os elementos que, na linguagem escrita ou falada, expressam uma ideia, mesmo que absurda. Considerarse-o as que so bem definidas, isto , aquelas que podem ser classificadas em falsas ou verdadeiras, denominadas declarativas. As proposies geralmente so designadas por letras latinas minsculas: p, q, r, s... Considere os exemplos a seguir: p: Mnica inteligente. q: Se j nevou na regio Sul, ento o Brasil um pas europeu. r:7>3. s: 8+210 Tipos de Proposies Podemos classificar as sentenas ou proposies, conforme o significado de seu texto, em: - Declarativas ou afirmativas: so as sentenas em que se afirma algo, que pode ou no ser verdadeiro. Exemplo: Julio Csar o melhor goleiro do Brasil. - Interrogativas: so aquelas sentenas em que se questiona algo. Esse tipo de sentena no admite valor verdadeiro ou falso. Exemplo: Lula estava certo em demitir a ministra? - Imperativas ou ordenativas: so as proposies em que se ordena alguma coisa. Exemplo: Mude a geladeira de lugar. Proposies Universais e Particulares As proposies sero classificadas em: Universais Particulares

Didatismo e Conhecimento

LGICA
As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto. Exemplo Todos os homens so mentirosos universal e simbolizamos por Todo S P Nesta definio inclumos o caso em que o sujeito unitrio. Exemplo O co mamfero. As proposies particulares so aquelas em que o predicado refere-se apenas a uma parte do conjunto. Exemplo: Alguns homens so mentirosos particular e simbolizamos por algum S P. Proposies Universais e Particulares As proposies sero classificadas em: Universais Particulares As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto. Exemplo: Todos os homens so mentirosos universal e simbolizamos por Todo S P Nesta definio inclumos o caso em que o sujeito unitrio. Exemplo: O co mamfero. As proposies particulares so aquelas em que o predicado refere-se apenas a uma parte do conjunto. Exemplo: Alguns homens so mentirosos particular e simbolizamos por algum S P. Proposies Afirmativas e Negativas As proposies tambm se classificam em: Afirmativas Negativas No caso de negativa podemos ter: Nenhum homem mentiroso universal negativa e simbolizamos por nenhum S P. Alguns homens no so mentirosos particular negativa e simbolizamos por algum S no P. No caso de afirmativa consideramos o item anterior. Chamaremos as proposies dos tipos: Todo S P, algum S P, algum S no P e nenhum S P. Ento teremos a tabela: AFIRMATIVA UNIVERSAL Todo S P (A) PARTICULAR Algum S P (I) NEGATIVA Nenhum S P (E) Algum S no P (O)
P S P ou S ou
S

Diagrama de Euler Para analisar, poderemos usar o diagrama de Euler. 1. Todo S P (universal afirmativa A)
P ou P=S

2.

Nenhum S P (universal negativa E)

3.

Algum S P (particular afirmativa I)


P=S ou S P

4.
S

Algum S no P (particular negativa O)


S ou P

P ou P

Princpios 1 Princpio da no-contradio: Uma proposio no pode ser verdadeira e falsa simultaneamente. 2 Princpio do Terceiro Excludo: Uma proposio s pode ter dois valores verdades, isto , verdadeiro (V) ou falso (F), no podendo ter outro valor. a) O Curso Pr-Fiscal fica em So Paulo um proposio verdadeira. b) O Brasil um Pas da Amrica do Sul uma proposio verdadeira. c) A Receita Federal pertence ao poder judicirio, uma proposio falsa. As proposies simples (tomos) combinam-se com outras, ou so modificadas por alguns operadores (conectivos), gerando novas sentenas chamadas de molculas. Os conectivos sero representados da seguinte forma: corresponde a no corresponde a e corresponde a ou corresponde a ento corresponde a se somente se
8

Didatismo e Conhecimento

LGICA
Sendo assim, a partir de uma proposio podemos construir uma outra correspondente com a sua negao; e com duas ou mais, podemos formar: Conjunes: a b (l-se: a e b) Disjunes: a b (l-se: a ou b) Condicionais: a b (l-se: se a ento b) Bicondicionais: a b (l-se: a se somente se b) Exemplo: Se Cacilda estudiosa ento ela passar no AFRF Sejam as proposies: p = Cacilda estudiosa q = Ela passar no AFRF Da, poderemos representar a sentena da seguinte forma: Se p ento q (ou p q) Exerccios 1. Dois nmeros somados totalizam 510. Sabe-se que um deles est para 8, assim como o outro est para 9. Quais so os dois nmeros? 2. Um nmeroasomado a um outro nmerobtotaliza 216.aest para 12, assim comobest para 15. Qual o valor deae deb? 3. Um nmeroasubtrado de um outro nmerobresulta em 54.aest para 13, assim comobest para 7. Qual o valor deae deb? 4. A diferena entre dois nmeros igual a 52. O maior deles est para 23, assim como o menor est para 19. Quais so os nmeros? 5. A idade de Pedro est para a idade de Paulo, assim como 5 est para 6. Quantos anos tem Pedro e Paulo sabendo-se que as duas idades somadas totalizam 55 anos? 6. O peso de uma sacola em kg est para o peso de uma outra sacola tambm em kg, assim como 32 est para 28. Quanto pesa cada uma das sacolas, sabendo-se que juntas elas pesam 15kg? 7. A soma de dois nmeros igual a 46. O primeiro est para o segundo, assim como 87 est para 51. Quais so os nmeros? 8. Dois nmerosaebdiferem entre si em 18 unidades.aest parab, assim como825est para627. Qual o valor deae deb? 9. Quatro nmeros, 72, 56, 90 e x, todos diferentes de zero, formam nesta ordem uma proporo. Qual o valor da quarta proporcional x? 10. Quatro nmeros, x, 15, 15 e 9, todos diferentes de zero, formam nesta ordem uma proporo. Qual o valor da terceira proporcional x?
9

Respostas 1) Soluo: Chamemos o primeiro nmero de a e o outro nmero de b. Do enunciado, tiramos queaest para 8, assim como b para 9. Utilizando-nos da terceira propriedade das propores temos:

Sabemos queaebsomados resultam em510, assim como a adio de 8a9resulta em 17. Substituindo estes valores na proporo teremos:

Portanto:

2) Soluo: Recorrendo terceira propriedade das propores montamos a seguinte proporo:

Sabemos que a soma deacomb igual a216, assim como tambm sabemos que12mais15totaliza27. Substituindo tais valores teremos:

Portanto:

3) Soluo: Recorremos terceira propriedade das propores para montarmos a seguinte proporo:

Sabemos que a diferena entreaeb igual a54, e sabemos tambm que13menos7d6. Substituindo tais valores teremos:

Portanto:

Didatismo e Conhecimento

LGICA
4) Soluo: Vamos chamar o nmero maior deae o menor deb. Do enunciado,aest para 23, assim comobest para 19. Ao utilizarmos a terceira propriedade das propores temos:

Sabemos queamenosb igual a52, assim como23menos19 igual a4. Ao substituirmos estes valores na proporo teremos:

Portanto:

5) Soluo: Identifiquemos a idade de Pedro porae a idade de Paulo porb. A partir do enunciado, temos queaest parab, assim como5est para6. Utilizando-nos da segunda propriedade das propores temos: Sabemos que a somaaebresulta em55, assim como5mais6resulta em11. Substituindo estes valores na proporo temos:

Para calcularmos o valor deatemos:

6) Soluo: Identifiquemos o peso da primeira sacola porae o peso da segunda porb. Como expresso no enunciado, temos queaest parab, assim como32est para28. Da segunda propriedade das propores temos que:

Temos queaebsomados resultam em15, assim como32mais28resulta em60. Substituindo-os na proporo temos:

Calculemos o valor deb:

7) Soluo: Identifiquemos o primeiro deles porae o segundo porb. Como dito no enunciado,aest parab, assim como87est para51. A segunda propriedade das propores nos diz que:

Temos queamaisbd46, assim como87mais51resulta em138. Substituindo-os na proporo temos:

Calculemos o valor deb:

Didatismo e Conhecimento

10

LGICA
8) Soluo: Da segunda propriedade das propores temos:

Sabemos que a diferena entreaebresulta em18, assim como825menos627resulta em198. Substituindo tais valores na proporo temos:

Para calcularmos o valor deatemos:

9) Soluo: De acordo com a quarta proporcional temos:

10) Soluo: De acordo com a terceira proporcional temos:

VALORES LGICOS;

A Lgica Matemtica, em sntese, pode ser considerada como a cincia do raciocnio e da demonstrao. Este importante ramo da Matemtica desenvolveu-se no sculo XIX, sobretudo atravs das ideias de George Boole, matemtico ingls (1815 - 1864), criador da lgebra Booleana, que utiliza smbolos e operaes algbricas para representar proposies e suas inter-relaes. As ideias de Boole tornaram-se a base da Lgica Simblica, cuja aplicao estende-se por alguns ramos da eletricidade, da computao e da eletrnica. A lgica matemtica (ou lgica simblica), trata do estudo das sentenas declarativas tambm conhecidas como proposies, as quais devem satisfazer aos dois princpios fundamentais seguintes: Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa, no havendo outra alternativa. Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa. Diz-se ento que uma proposio verdadeira possui Valor Lgico V (verdade) e uma proposio falsa possui Valor Lgico F (falso). Os Valores Lgicos tambm costumam ser representados por 0 (zero) para proposies falsas ( 0 ou F) e 1 (um) para proposies verdadeiras ( 1 ou V ). As proposies so indicadas pelas letras latinas minsculas: p, q, r, s, t, u, ... De acordo com as consideraes acima, expresses do tipo, O dia est bonito; 3 + 5; x um nmero real; x + 2 = 7; etc., no so proposies lgicas, uma vez que no poderemos associar a ela um valor lgico definido (verdadeiro ou falso). Exemplificamos a seguir algumas proposies, onde escreveremos ao lado de cada uma delas, o seu valor lgico V ou F. Poderia ser tambm 1 ou 0. p: a soma dos ngulos internos de um tringulo igual a 180 (V) q: 3 + 5 = 2 (F) r: 7 + 5 = 12 (V) s: a soma dos ngulos internos de um polgono de n lados dada por Si=(n-2).180 (V) t: O Sol um planeta (F) w: Um pentgono um polgono de dez lados (F) O Modificador Negao Dada a proposio p, indicaremos a sua negao por ~p. (L-se no p). Ex.: p: Trs pontos determinam um nico plano (V) ~p: Trs pontos no determinam um nico plano (F) Obs.: duas negaes equivalem a uma afirmao ou seja, em termos simblicos: ~(~p) = p .

Didatismo e Conhecimento

11

LGICA
Operaes Lgicas As proposies lgicas podem ser combinadas atravs dos operadores lgicos , , e , dando origem ao que conhecemos como proposies compostas. Assim, sendo p e q duas proposies simples, poderemos ento formar as seguintes proposies compostas: p q, p q, p q, p q (Os significados dos smbolos esto indicados na tabela anterior). Estas proposies compostas recebem designaes particulares, conforme veremos a seguir. Conjuno: p q (l-se p e q). Disjuno: p q (l-se p ou q). Condicional: p q (l-se se p ento q). Bi-condicional: p q (p se e somente se q) . Conhecendo-se os valores lgicos de duas proposies simples p e q, como determinaremos os valores lgicos das proposies compostas acima? Isto conseguido atravs do uso da tabela a seguir, tambm conhecida pelo sugestivo nome de Tabela Verdade. Sejam p e q duas proposies simples, cujos valores lgicos representaremos por 0 quando falsa (F) e 1 quando verdadeira (V). Podemos construir a seguinte tabela simplificada: p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0 pq 1 1 1 0 pq 1 0 1 1 p q 1 0 0 1 Isto lembra alguma coisa vinculada aos computadores? Pois , isto uma verdade, e a base lgica da arquitetura dos computadores! Seria demais imaginar que a proposio p q esteja associada a um circuito srie e a proposio p q a um circuito em paralelo? Pois, as analogias so vlidas e talvez tenham sido elas que ajudaram a mudar o mundo!

LGICA DE ARGUMENTAO: ANALOGIAS, INFERNCIAS, DEDUES E CONCLUSES.

Um argumento uma srie concatenada de afirmaes com o fim de estabelecer uma proposio definida. um conjunto de proposies com uma estrutura lgica de maneira tal que algumas delas acarretam ou tem como consequncia outra proposio. Isto , o conjunto de proposies p1,...,pn que tem como consequncia outra proposio q. Chamaremos as proposies p1,p2,p3,...,pn de premissas do argumento, e a proposio q de concluso do argumento. Podemos representar por: p1 p2 p3 . . . pn q Exemplos: 1. Se eu passar no concurso, ento irei trabalhar. Passei no concurso ________________________ Irei trabalhar 2. Se ele me ama ento casa comigo. Ele me ama. __________________________ Ele casa comigo. 3. Todos os brasileiro so humanos. Todos os paulistas so brasileiros. __________________________ Todos os paulistas so humanos. 4. Se o Palmeiras ganhar o jogo, todos os jogadores recebero o bicho. Se o Palmeiras no ganhar o jogo, todos os jogadores recebero o bicho. __________________________ Todos os jogadores recebero o bicho.

Da tabela acima, infere-se (deduz-se) que: - a conjuno verdadeira somente quando ambas as proposies so verdadeiras. - a disjuno falsa somente quando ambas as proposies so falsas. - a condicional falsa somente quando a primeira proposio verdadeira e a segunda falsa. - a bi-condicional verdadeira somente quando as proposies possuem valores lgicos iguais. Ex.: Dadas as proposies simples: p: O Sol no uma estrela (valor lgico F ou 0) q: 3 + 5 = 8 (valor lgico V ou 1) Temos: p q tem valor lgico F (ou 0) p q tem valor lgico V (ou 1) p q tem valor lgico V (ou 1) p q tem valor lgico F (ou 0). Assim, a proposio composta Se o Sol no uma estrela ento 3 + 5 = 8 logicamente verdadeira, no obstante ao aspecto quase absurdo do contexto da frase! As proposies verdadeiras (valor lgico 1) ou falsas (valor lgico 0), esto associadas analogia de que zero (0) pode significar um circuito eltrico desligado e um (1) pode significar um circuito eltrico ligado.
12

Didatismo e Conhecimento

LGICA
Observao: No caso geral representamos os argumentos escrevendo as premissas e separando por uma barra horizontal seguida da concluso com trs pontos antes. Veja exemplo extrado do Irving M. Copi. Premissa: em gua. Todos os sais de sdio so substncias solveis Premissas: Argumentos dedutveis sempre requerem certo nmero de assunes-base. So as chamadas premissas. a partir delas que os argumentos so construdos ou, dizendo de outro modo, as razes para se aceitar o argumento. Entretanto, algo que uma premissa no contexto de um argumento em particular pode ser a concluso de outro, por exemplo. As premissas do argumento sempre devem ser explicitadas. A omisso das premissas comumente encarada como algo suspeito, e provavelmente reduzir as chances de aceitao do argumento. A apresentao das premissas de um argumento geralmente precedida pelas palavras admitindo que..., j que..., obviamente se... e porque.... imprescindvel que seu oponente concorde com suas premissas antes de proceder argumentao. Usar a palavra obviamente pode gerar desconfiana. Ela ocasionalmente faz algumas pessoas aceitarem afirmaes falsas em vez de admitir que no entenda por que algo bvio. No se deve hesitar em questionar afirmaes supostamente bvias. Inferncia: Uma vez que haja concordncia sobre as premissas, o argumento procede a passo a passo por meio do processo chamado inferncia. Na inferncia, parte-se de uma ou mais proposies aceitas (premissas) para chegar a outras novas. Se a inferncia for vlida, a nova proposio tambm dever ser aceita. Posteriormente, essa proposio poder ser empregada em novas inferncias. Assim, inicialmente, apenas se pode inferir algo a partir das premissas do argumento; ao longo da argumentao, entretanto, o nmero de afirmaes que podem ser utilizadas aumenta. H vrios tipos de inferncia vlidos, mas tambm alguns invlidos. O processo de inferncia comumente identificado pelas frases Conseqentemente... ou isso implica que.... Concluso: Finalmente se chegar a uma proposio que consiste na concluso, ou seja, no que se est tentando provar. Ela o resultado final do processo de inferncia e s pode ser classificada com concluso no contexto de um argumento em particular. A concluso respalda-se nas premissas e inferida a partir delas. Exemplo de argumento A seguir est exemplificado um argumento vlido, mas que pode ou no ser consistente. 1. Premissa: Todo evento tem uma causa. 2. Premissa: O universo teve um comeo. 3. Premissa: Comear envolve um evento. 4. Inferncia: Isso implica que o comeo do universo envolveu um evento. 5. Inferncia: Logo, o comeo do universo teve uma causa. 6. Concluso: O universo teve uma causa. A proposio do item 4 foi inferida dos itens 2 e 3. O item 1, ento, usado em conjunto com proposio 4 para inferir uma nova proposio (item 5). O resultado dessa inferncia reafirmado (numa forma levemente simplificada) como sendo a concluso.
13

Todos os sabes so sais de sdio. ____________________________________ Concluso: Todos os sabes so substncias solveis em gua. Os argumentos, em lgica, possuem dois componentes bsicos: suas premissas e sua concluso. Por exemplo, em: Todos os times brasileiros so bons e esto entre os melhores times do mundo. O Brasiliense um time brasileiro. Logo, o Brasiliense est entre os melhores times do mundo, temos um argumento com duas premissas e a concluso. Evidentemente, pode-se construir um argumento vlido a partir de premissas verdadeiras, chegando a uma concluso tambm verdadeira. Mas tambm possvel construir argumentos vlidos a partir de premissas falsas, chegando a concluses falsas. O detalhe que podemos partir de premissas falsas, proceder por meio de uma inferncia vlida e chegar a uma concluso verdadeira. Por exemplo: 1. Premissa: Todos os peixes vivem no oceano. 2. Premissa: Lontras so peixes. 3. Concluso: Logo, focas vivem no oceano. H, no entanto, uma coisa que no pode ser feita: a partir de premissas verdadeiras, inferirem de modo correto e chegar a uma concluso falsa. Podemos resumir esses resultados numa tabela de regras de implicao. O smbolo denota implicao; A a premissa, B a concluso. Regras de Implicao Premissas A Falsas Falsas Verdadeiras Verdadeiras Concluso B Falsa Verdadeira Falsa Verdadeira Inferncia AB Verdadeira Verdadeira Falsa Verdadeira

- Se as premissas so falsas e a inferncia vlida, a concluso pode ser verdadeira ou falsa (linhas 1 e 2). - Se as premissas so verdadeiras e a concluso falsa, a inferncia invlida (linha 3). - Se as premissas e a inferncia so vlidas, a concluso verdadeira (linha 4). Desse modo, o fato de um argumento ser vlido no significa necessariamente que sua concluso seja verdadeira, pois pode ter partido de premissas falsas. Um argumento vlido que foi derivado de premissas verdadeiras chamado de argumento consistente. Esses, obrigatoriamente, chegam a concluses verdadeiras. Didatismo e Conhecimento

LGICA
Validade de um Argumento Conforme citamos anteriormente, uma proposio verdadeira ou falsa. No caso de um argumento diremos que ele vlido ou no vlido. A validade de uma propriedade dos argumentos dedutivos que depende da forma (estrutura) lgica das suas proposies (premissas e concluses) e no do contedo delas. Sendo assim podemos ter as seguintes combinaes para os argumentos vlidos dedutivos: a) Premissas verdadeiras e concluso verdadeira. Exemplo: Todos os apartamentos so pequenos. (V) Todos os apartamentos so residncias. (V) __________________________________ Algumas residncias so pequenas. (V) b) Algumas ou todas as premissas falsas e uma concluso verdadeira. Exemplo: Todos os peixes tm asas. (F) Todos os pssaros so peixes. (F) __________________________________ Todos os pssaros tm asas. (V) c) Algumas ou todas as premissas falsas e uma concluso falsa. Exemplo: Todos os peixes tm asas. (F) Todos os ces so peixes. (F) __________________________________ Todos os ces tm asas. (F) Todos os argumentos acima so vlidos, pois se suas premissas fossem verdadeiras ento as concluses tambm as seriam. Podemos dizer que um argumento vlido se quando todas as suas premissas so verdadeiras, acarreta que sua concluso tambm verdadeira. Portanto, um argumento ser no vlido se existir a possibilidade de suas premissas serem verdadeiras e sua concluso falsa. Observe que a validade do argumento depende apenas da estrutura dos enunciados. Exemplo Todas as mulheres so bonitas. Todas as princesas so mulheres. __________________________ Todas as princesas so bonitas. Observe que no precisamos de nenhum conhecimento aprofundado sobre o assunto para concluir que o argumento vlido. Vamos substituir mulheres bonitas e princesas por A, B e C respectivamente e teremos: Todos os A so B. Todos os C so A. ________________ Todos os C so B. Logo, o que importante a forma do argumento e no o conhecimento de A, B e C, isto , este argumento vlido para quaisquer A, B e C, portanto, a validade conseqncia da forma do argumento. O atributo validade aplica-se apenas aos argumentos dedutivos. Argumentos Dedutivos e Indutivos O argumento ser dedutivo quando suas premissas fornecerem prova conclusiva da veracidade da concluso, isto , o argumento dedutivo quando a concluso completamente derivada das premissas. Exemplo Todo ser humano tem me. Todos os homens so humanos. __________________________ Todos os homens tm me. O argumento ser indutivo quando suas premissas no fornecerem o apoio completo para retificar as concluses. Exemplo O Flamengo um bom time de futebol. O Palmeiras um bom time de futebol. O Vasco um bom time de futebol. O Cruzeiro um bom time de futebol. ______________________________ Todos os times brasileiros de futebol so bons. Portanto, nos argumentos indutivos a concluso possui informaes que ultrapassam as fornecidas nas premissas. Sendo assim, no se aplica, ento, a definio de argumentos vlidos ou no vlidos para argumentos indutivos. Argumentos Dedutivos Vlidos Vimos ento que a noo de argumentos vlidos ou no vlidos aplica-se apenas aos argumentos dedutivos, e tambm que a validade depende apenas da forma do argumento e no dos respectivos valores verdades das premissas. Vimos tambm que no podemos ter um argumento vlido com premissas verdadeiras e concluso falsa. A seguir exemplificaremos alguns argumentos dedutivos vlidos importantes. Afirmao do Antecedente: O primeiro argumento dedutivo vlido que discutiremos chama-se afirmao do antecedente, tambm conhecido como modus ponens.

Didatismo e Conhecimento

14

LGICA
Exemplo Se Jos for reprovado no concurso, ento ser demitido do servio. Jos foi aprovado no concurso. ___________________________ Jos ser demitido do servio. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte forma:
Se p, ento q, pq

Eis o dilema de Joo: Ou Joo passa ou no passa no concurso. Se Joo passar no concurso vai ter que ir embora de So Paulo. Se Joo no passar no concurso ficar com vergonha diante dos colegas de trabalho. _________________________ Ou Joo vai embora de So Paulo ou Joo ficar com vergonha dos colegas de trabalho. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte maneira:
p ou q. Se p ento r p q

p. q.

ou

p q

Se

Outro argumento dedutivo vlido a negao do consequente (tambm conhecido como modus tollens). Obs.: ( p q ) equivalente a (q p ) . Esta equivalncia chamada de contra positiva. Exemplo Se ele me ama, ento casa comigo equivalente a Se ele no casa comigo, ento ele no me ama; Ento vejamos o exemplo do modus tollens. Exemplo Se aumentarmos os meios de pagamentos, ento haver inflao. No h inflao. ______________________________ No aumentamos os meios de pagamentos. Este argumento evidentemente vlido e sua forma pode ser escrita da seguinte maneira:

p ento s. r ou s

ou

pr

qs r s

Argumentos Dedutivos No Vlidos Existe certa quantidade de artimanhas que devem ser evitadas quando se est construindo um argumento dedutivo. Elas so conhecidas como falcias. Na linguagem do dia-a-dia, ns denominamos muitas crenas equivocadas como falcias, mas, na lgica, o termo possui significado mais especfico: falcia uma falha tcnica que torna o argumento inconsistente ou invlido (alm da consistncia do argumento, tambm se podem criticar as intenes por detrs da argumentao). Argumentos contentores de falcias so denominados falaciosos. Frequentemente, parecem vlidos e convincentes, s vezes, apenas uma anlise pormenorizada capaz de revelar a falha lgica. Com as premissas verdadeiras e a concluso falsa nunca teremos um argumento vlido, ento este argumento no-vlido, chamaremos os argumentos no-vlidos de falcias. A seguir, examinaremos algumas falcias conhecidas que ocorrem com muita frequncia. O primeiro caso de argumento dedutivo no-vlido que veremos o que chamamos de falcia da afirmao do consequente. Exemplo Se ele me ama ento ele casa comigo. Ele casa comigo. _______________________ Ele me ama. Podemos escrever esse argumento como:

Se p, ento q,

pq

No q. No p.

ou

q p

Existe tambm um tipo de argumento vlido conhecido pelo nome de dilena. Geralmente este argumento ocorre quando algum forado a escolher entre duas alternativas indesejveis. Exemplo Joo se inscreve no concurso de MS, porm no gostaria de sair de So Paulo, e seus colegas de trabalho esto torcendo por ele. Didatismo e Conhecimento
15

Se p, ento q,

pq

q. p.

ou

q p

LGICA
Este argumento uma falcia, podemos ter as premissas verdadeiras e a concluso falsa. Outra falcia que corre com frequncia a conhecida por falcia da negao do antecedente. Exemplo Se Joo parar de fumar ele engordar. Joo no parou de fumar. ________________________ Joo no engordar. Observe que temos a forma: (P1P2P3 ...Pn)| C e reconhecer se essa condicional ou no uma tautologia. Se essa condicional associada tautologia, o argumento vlido. No sendo tautologia, o argumento dado um sofisma (ou uma falcia). H argumentos vlidos com concluses falsas, da mesma forma que h argumentos no-vlidos com concluses verdadeiras. Logo, a verdade ou falsidade de sua concluso no determinam a validade ou no-validade de um argumento. O reconhecimento de argumentos mais difcil que o das premissas ou da concluso. Muitas pessoas abarrotam textos de asseres sem sequer produzirem algo que possa ser chamado de argumento. s vezes, os argumentos no seguem os padres descritos acima. Por exemplo, algum pode dizer quais so suas concluses e depois justific-las. Isso vlido, mas pode ser um pouco confuso. Para complicar, algumas afirmaes parecem argumentos, mas no so. Por exemplo: Se a Bblia verdadeira, Jesus foi ou um louco, ou um mentiroso, ou o Filho de Deus. Isso no um argumento, uma afirmao condicional. No explicita as premissas necessrias para embasar as concluses, sem mencionar que possui outras falhas. Um argumento no equivale a uma explicao. Suponha que, tentando provar que Albert Einstein cria em Deus, algum dissesse: Einstein afirmou que Deus no joga dados porque acreditava em Deus. Isso pode parecer um argumento relevante, mas no . Tratase de uma explicao da afirmao de Einstein. Para perceber isso, deve-se lembrar que uma afirmao da forma X porque Y pode ser reescrita na forma Y logo X. O que resultaria em: Einstein acreditava em Deus, por isso afirmou que Deus no joga dados. Agora fica claro que a afirmao, que parecia um argumento, est admitindo a concluso que deveria estar provando. Ademais, Einstein no cria num Deus pessoal preocupado com assuntos humanos. Exerccios 1. Identificar as premissas e concluses nos seguintes trechos, cada um dos quais contm apenas um argumento: Foi assinalado que, embora os ciclos de negcio no sejam perodos, so adequadamente descritos pelo termo ciclos e, portanto, so suscetveis de medio. (James Arthur Estey, Ciclos de Negcios) 2. Cada um dos seguintes trechos contm mais de um argumento. Distingui-los e identificar suas premissas e concluses. A instituio do longo aprendizado no favorvel formao de jovens para a indstria. Um jornaleiro, que trabalha por pea, provavelmente ativo, porque extrai o benefcio de todos os esforos resultantes da sua atividade. Um aprendiz provavelmente preguioso, e quase sempre o , porque no tem qualquer interesse imediato em ser outra coisa. (Adam Smith, A riqueza das naes)
16

Se p, ento q,

pq

No p. No q.

ou

p q

Este argumento uma falcia, pois podemos ter as premissas verdadeiras e a concluso falsa. Os argumentos dedutivos no vlidos podem combinar verdade ou falsidade das premissas de qualquer maneira com a verdade ou falsidade da concluso. Assim, podemos ter, por exemplo, argumentos no-vlidos com premissas e concluses verdadeiras, porm, as premissas no sustentam a concluso. Exemplo Todos os mamferos so mortais. (V) Todos os gatos so mortais. (V) ___________________________ Todos os gatos so mamferos. (V) Este argumento tem a forma: Todos os A so B. Todos os C so B. _____________________ Todos os C so A. Podemos facilmente mostrar que esse argumento no-vlido, pois as premissas no sustentam a concluso, e veremos ento que podemos ter as premissas verdadeiras e a concluso falsa, nesta forma, bastando substituir A por mamfero, B por mortais e C por cobra. Todos os mamferos so mortais. (V) Todas as cobras so mortais. (V) __________________________ Todas as cobras so mamferas. (F) Podemos usar as tabelas-verdade, definidas nas estruturas lgicas, para demonstrarmos se um argumento vlido ou falso. Outra maneira de verificar se um dado argumento P1, P2, P3| C vlido ou no, por meio das tabelas-verdade, construir a condicional associada: Didatismo e Conhecimento

LGICA
3. Apenas alguns dos trechos seguintes contm argumentos. Indicar os que tm argumentos e identificar suas premissas e concluses. Bem-aventurado aquele que nada espera, pois nunca ser decepcionado. (Alexander Pope, Letter to John Gay) 4. Distinguir os argumentos dedutivos e indutivos contidos nos seguintes trechos: Como os testes demonstraram que foram precisos, pelo menos, 2,3 segundos para manobrar a culatra do rifle de Oswald, bvio que Oswald no poderia ter disparado trs vezes atingindo Kennedy duas vezes e Connally uma vez em 5,6 segundos ou menos. 5. Indicar as premissas e concluses dos argumentos contidos nos seguintes trechos. ilgico raciocinar assim: Sou mais rico do que tu, portanto sou superior a ti. Sou mais eloquente do que tu, portanto sou superior a ti. mais lgico raciocinar: Sou mais rico do que tu, portanto minha propriedade superior tua. Sou mais eloquente do que tu, portanto meu discurso superior ao teu. As pessoas so algo mais do que propriedade ou fala. (Epicteto, Discursos) Respostas 1) Soluo: Premissa: Os ciclos de negcio so adequadamente descritos pelo termo ciclos. Concluso: Os ciclos de negcios so suscetveis de medio. 2) Soluo: Primeiro argumento: Premissa: Um jornaleiro que trabalha por pea extrai um benefcio de todos os esforos resultantes da sua atividade. Concluso: Um jornaleiro que trabalha por pea provavelmente ativo. Segundo argumento: Premissa: Um aprendiz no tem interesse imediato em ser outra coisa, seno preguioso. Concluso: provvel que um aprendiz seja preguioso, e quase sempre o . Terceiro argumento: Premissa: provvel que um aprendiz seja preguioso, e quase sempre o . Concluso: A instituio do longo aprendizado no propensa formao de jovens para a indstria. 3) Soluo: Possui um argumento. Premissa: Aquele que nada espera nunca ser decepcionado. Concluso: Bem-aventurado aquele que nada espera. 4) Soluo: Argumento dedutivo. Premissa: Os testes demonstraram que foram precisos, pelo menos, 2,3 segundos para manobrar a culatra do rifle de Oswald. Concluso: bvio que Oswald no poderia ter disparado trs vezes atingindo Kennedy duas vezes e Connally uma em 5,6 segundos. Embora a premissa pudesse ter sido estabelecida indutivamente, o presente argumento pretende afirmar que sua concluso deduz-se obviamente da premissa de que Oswald no podiater disparado trs vezes. 5) Soluo: Premissa: As pessoas so algo mais do que sua propriedade ou fala. Concluso: ilgico raciocinar assim meu discurso superior ao teu. Tambm cada frase separada entre aspas formula um argumento cuja premissa precede, e cujas concluses se seguem palavra portanto.

LGICA PROPOSICIONAL: PROPOSIES SIMPLES E COMPOSTAS;

Uma proposio pode ser simples (tambm denominada atmica) ou composta (tambm denominada molecular). As proposies simples apresentam apenas uma afirmao. Pode-se consider-las como frases formadas por apenas uma orao. As proposies simples so representadas por letras latinas minsculas. Exemplos: (1) p: eu sou estudioso; (2) q: Maria bonita: (3) r: 3 + 4 > 12. Uma proposio composta formada pela unio de duas ou mais proposies simples. Indica-se uma proposio composta por letras latinas maisculas. Se P uma proposio composta das proposies simples p, q, r, ..., escreve-se P (p, q, r,...). Quando P estiver claramente definida no h necessidade de indicar as proposies simples entre os parnteses, escrevendo simplesmente P. Exemplos: (4) P: Paulo estudioso e Maria bonita. P composta das proposies simples p: Paulo estudioso e q: Maria bonita. (5) Q: Maria bonita ou estudiosa. Q composta das proposies simples p: Maria bonita e q: Maria estudiosa. (6) R: Se x = 2 ento x2 + 1 = 5. R composta das proposies simples p: x = 2 e q: x2 + 1 = 5. (7) S: a > b se e somente se b < a. S composta das proposies simples p: a > b e q: b < a. As proposies simples so aquelas que expressam uma nica idia. Constituem a base da linguagem e so tambm chamadas de tomos da linguagem. So representadas por letras latinas minsculas (p, q, r, s, ...).

Didatismo e Conhecimento

17

LGICA
As proposies composta so aquelas formadas por duas ou mais proposies ligadas pelos conectivos lgicos. So geralmente representadas por letras latinas maisculas (P, Q, R, S, ...). O smbolo P (p, q, r), por exemplo, indica que a proposio composta P formada pelas proposies simples p, q e r. Exemplos So proposies simples: p: A lua um satlite da terra. q: O nmero 2 primo. r: O nmero 2 par. s: Roma a capital da Frana. t: O Brasil fica na Amrica do Sul. u: 2+5=3.4. So proposies compostas: P(q, r): O nmero 2 primo ou par. Q(s, t): Roma a capital da Frana e o Brasil fica na Amrica do Sul. R: O nmero 6 par e o nmero 8 cubo perfeito. No so proposies lgicas: a) Roma b) O co do menino c) 7+1 d) As pessoas estudam e) Quem ? f) Que pena! Tabela Verdade Proposio Simples - Segundo o princpio do terceiro excludo, toda proposio simples p, verdade ou falsa, isto , tem o valor lgico verdade (V) ou o valor lgico falso (F). p V F Proposio Composta - O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinados. um dispositivo prtico muito usado para a determinao do valor lgico de uma proposio composta. Neste dispositivo figuram todos os possveis valores lgicos da proposio composta, correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Proposio Composta - 02 proposies simples Assim, por exemplo, no caso de uma proposio composta cujas proposies simples componentes so p e q, as nicas possveis atribuies de valores lgicos a p e a q so: p V V F F q V F V F
18

Observe-se que os valores lgicos V e F se alternam de dois em dois para a primeira proposio p e de um em um para a segunda proposio q, e que, alm disso, VV, VF, FV e FF so os arranjos binrios com repetio dos dois elementos V e F. Proposio Composta - 03 proposies simples No caso de uma proposio composta cujas proposies simples componentes so p, q e r as nicas possveis atribuies de valores lgicos a p, a q e a r so: p V V V V F F F F q V V F F V V F F r V F V F V F V F

Analogamente, observe-se que os valores lgicos V e F se alternam de quatro em quatro para a primeira proposio p, de dois em dois para a segunda proposio q e de um em um para a terceira proposio r, e que, alm disso, VVV, VVF, VFV, VFF, FVV, FVF, FFV e FFF sos os arranjos ternrios com repetio dos dois elementos V e F. Notao: O valor lgico de uma proposio simples p indicase por V(p). Assim, exprime-se que p verdadeira (V), escrevendo: V(p) = V. Analogamente, exprime-se que p falsa (F), escrevendo: V(p) = F. Exemplos: p : o sol verde; q : um hexgono tem nove diagonais; r : 2 raiz da equao x + 3x - 4 = 0 V(p) = F V(q) = V V(r) = F

SILOGISMO E TAUTOLOGIA;
Silogismo O silogismo a deduo feita a partir de duas proposies denominadas premissas, de modo a originar uma terceira proposio logicamente implicada, denominada concluso. Exemplo Tenho um Escort ou tenho um Focus, no tenho um Escort | Tenho um Focus. Observao: o smbolo chamado de trao de assero; usado entre as premissas e a concluso. Esse silogismo tambm pode ser representado como: |

Didatismo e Conhecimento

LGICA
Tenho um Escort ou tenho um Focus. No tenho um Escort. Logo, tenho um Focus. Chamado de P a proposio: Tenho um Escort, escreve-se: P: Tenho um Escort. Chamado de C a proposio: Tenho um Focus, escreve-se: C: Tenho um Focus. Das proposies P e C resulta a proposio Tenho um Escort ou tenho um Focus. Denotamos: PC: Tenho um Escort ou tenho um Focus. Com a negativa da proposio P, tem-se a premissa No tenho um Escort. Escreve-se: ~P: No tenho um Escort ( o mesmo que dizer: no possuo um carro denominado Escort). Reescrevendo o argumento, obteremos: PC, ~P| C Ou P C ~P Logo, C Silogismo Categrico de Forma Tpica Chamaremos de silogismo categrico de forma tpica ao argumento formado por duas premissas e uma concluso, de modo que todas as premissas envolvidas so categricas de forma tpica (A, E, I, O). Teremos tambm trs termos: - Termo menor sujeito da concluso. - Termo maior predicado da concluso. - Termo mdio o termo que aparece uma vez em cada premissa e no aparece na concluso. Chamaremos de premissa maior a que contm o termo maior, e premissa menor a que contm o termo menor. Exemplo Todas as mulheres so bonitas. Todas as princesas so mulheres. ________________________ Todas as princesas so bonitas. Termo menor: as princesas. Termo maior: bonitas. Termo mdio: mulheres. Premissa menor: todas as princesas so mulheres. Premissa maior: Todas as mulheres so bonitas. Algumas Regras para a Validade de um Silogismo - Todo silogismo deve conter somente trs termos; - O termo mdio deve ser universal pelo menos uma vez; - O termo mdio no pode constar na concluso; - Nenhum silogismo categrico de forma tpica que tenha duas premissas negativas valido; - De duas premissas particulares no poder haver concluso; Didatismo e Conhecimento
19

- Se h uma premissa particular, a concluso ser particular; - Se h uma premissa particular negativa a concluso ser particular negativa. Ateno: Para determinar se um argumento uma falcia ou silogismo, deve-se analisar o resultado, ou argumento final: quando se chega a um argumento falso, tem-se uma falcia; quando se chega a um argumento verdadeiro, tem-se um silogismo. Exerccios Tendo em conta os Silogismos que se seguem: a) Testa a sua validade (indicando as regras que violam); b) Indica o Modo do Silogismo; c) Indica a sua Figura. 1. Todas as vacas voadoras so lindas Nenhum avio lindo ______________________________ Algumas vacas voadoras so avies 2. Nenhum chocolate engorda Alguns doces no engordam ________________________ Todos os doces so chocolates 3. O arroz branco O gelo branco _______________ O gelo no arroz 4. Alguns bancos so moblia Todos os bancos emprestam dinheiro ________________________________ Nenhum dinheiro emprestado por moblia 5. Touro um signo do zodaco O touro pasta ________________________________ Alguns signos do zodaco no pastam Respostas 1) Soluo: a) A concluso no seguiu a parte mais fraca. A concluso foi construda indevidamente, pois o termo Maior (voadores) sujeito, e deveria ser o predicado da concluso, e o termo Menor (avio/ es) deveria ser sujeito e aparecer como predicado. O Silogismo invlido b) A E, I c) 2 figura 2) Soluo: a) O termo em extenso na concluso (doces), mas no na premissa. De duas premissas negativas nada se pode concluir. A concluso no seguiu a parte mais fraca (deveria ser negativa). Silogismo invlido. b) E O, A c) 2 figura

LGICA
3) Soluo: a) O termo Mdio (branco) no se encontra uma nica vez em toda a sua extenso. De duas premissas afirmativas, no se pode concluir pela negativa. Silogismo invlido. b) A A, E c) 2 figura 4) Soluo: a) existem mais que 3 termos o termo branco, refere-se a conceitos diferentes. O sujeito e o predicado da orao encontra-se em toda a sua extenso, mas no nas premissas. De duas premissas afirmativas, no se pode tirar uma concluso negativa. A concluso no seguiu a parte mais fraca (deveria ser particular). Silogismo invlido. b) I A, E c) 3 figura 5) Soluo: a) Mais que 3 termos touroora signo ora animal. Termo em extenso na concluso (pastam), mas no na premissa. Na concluso o sujeito e o predicado esto trocados. Silogismo Invlido. b) A A, O c) 3 figura Tautologia As proposies que apresentam a tabela-verdade somente com V so chamadas logicamente de verdadeiras ou de tautolgicas. Proposies falsas (contradio): As proposies que apresentam a tabela-verdade somente com F so chamadas logicamente de falsas ou de contradies. Propriedades de proposies I Comutativa: pqqp pqqp II Associativa: p(qr)(pq)r p(qr)(pq)r III Distributiva: p(qr)(pq)(pr) p(qr)(pq)(pr) IV Morgan: ~(pq)~p~q ~(pq)~p~q V Dupla negao: ~(~p)p Teorema contra-recproco Toda proposio composta pelo conectivo Se... ento pode ser reescrita em seu sentido contrrio, mas com o uso da negao nas duas proposies menores, que a compem. pq equivale a ~qp Exemplos 1. Se um nmero inteiro par, ento seu qudruplo par, que equivale a: Se o qudruplo de um nmero no par, ento o nmero inteiro no par. Didatismo e Conhecimento
20

2. Consideremos agora a definio de funo injetora: Uma funo f de A em B injetora se e somente se x1 , x2 A , sendo x1 x2 f ( x1 ) f ( x2 ) , que equivale a: Uma funo f de A em B injetora se e somente se x1 , x2 A , sendo x1 = x2 f ( x1 ) = f ( x2 ) , que equivale a: Observao: O smbolo qualquer que seja.

significa: para todo ou para

Ateno: No podemos aplicar valores lgicos para sentenas abertas. Enquanto as sentenas se apresentam a tabela-verdade com todos os valores V so chamadas de tautologia, as contradies apresentam, em sua tabela-verdade, todos os valores com resultados iguais a F. Exerccios 1. A negao da sentena aberta a) y 5 b) y +5 c) y < +5 d) y < 5 e) y 5
" y +5"

corresponde a:

2. A sentena negativa de Hoje domingo e amanh no chover : a) Hoje domingo ou amanh no chover. b) Hoje no domingo nem amanh chover. c) Hoje no domingo, ento amanh chover. d) Hoje no domingo ou amanh chover. e) Hoje no domingo e amanh chover. 3. Em uma pequena comunidade, sabe-se que: nenhum filsofo rico e que alguns professores so ricos. Assim, podese afirmar, corretamente, que nesta comunidade: a) Alguns professores no so filsofos. b) Alguns professores so filsofos. c) Nenhum filsofo professor. d) Alguns filsofos so professores. e) Nenhum professor filsofo. 4. No final de semana, Chiquita no foi ao parque. Ora, sabese que sempre que Didi estuda, Didi aprovado. Sabe-se, tambm, que, nos finais de semana, ou Dada vai missa ou vai visitar tia Clia. Sempre que Dada vai visitar tia Clia, Chiquita vai ao parque e, sempre que Dada vai missa, Didi estuda. Ento, no final de semana, a) Dada foi missa e Didi foi aprovado. b) Didi no foi aprovado e Dada no foi visitar tia Clia. c) Didi no estudou e Didi foi aprovado. d) Didi estudou e Chiquita foi ao parque. e) Dada no foi missa e Didi no foi aprovado. 5. Considere a proposio Pedro estudioso e trabalhador, ou Pedro bonito. Como Pedro no bonito, ento: a) Pedro estudioso e trabalhador. b) Pedro estudioso ou trabalhador. c) Pedro no estudioso ou no trabalhador. d) Pedro estudioso e no trabalhador. e) Pedro no estudioso e no trabalhador.

LGICA
6. As seguintes afirmaes, todas elas verdadeiras, foram feitas sobre a ordem de chegada dos participantes de uma prova de ciclismo: - Guto chegou antes de Aires e depois de Doda; - Guto chegou antes de Juba e Juba chegou antes de Aires, se e somente se Aires chegou depois de Doda; - Cacau no chegou junto com Juba, se e somente se Aires chegou junto com Guto. Logo: a) Cacau chegou antes de Aires, depois de Doda e junto com Juba. b) Guto chegou antes de Cacau, depois de Doda e junto com Aires. c) Aires chegou antes de Doda, depois de Juba e antes de Guto. d) Aires chegou depois de Juba, depois de Cacau e junto com Doda. e) Juba chegou antes de Doda, depois de Guto e junto com Cacau. 7. Considere a tabela-verdade abaixo, na qual as colunas representam os valores lgicos para as frmulas A, B e AB. Sendo que o smbolo denota o conector ou, V denota verdadeira e F denota falsa. A V V F F B V F V F AB a) a duquesa foi ao jardim ou o conde encontrou a princesa. b) se o duque no saiu do castelo, ento o conde encontrou a princesa. c) o rei no foi caa e o conde no encontrou a princesa. d) o rei foi caa e a duquesa no foi ao jardim. e) a duque saiu do castelo e o rei no foi caa. 11. Se Vera viajou, nem Camile nem Carla foram ao casamento. Se Carla no foi ao casamento, Vanderlia viajou. Se Vanderlia viajou, o navio afundou. Ora, o navio no afundou. Logo: a) Vera no viajou e Carla no foi ao casamento. b) Camile e Carla no foram ao casamento. c) Carla no foi ao casamento e Vanderlia no viajou. d) Carla no foi ao casamento e Vanderlia viajou. e) Vera e Vanderlia no viajaram. 12. Considere a seguinte tabela-verdade: p V V F F q V F V F pq V F F F pq V V V F

Os valores lgicos que completam a ltima coluna da tabela, de cima para baixo, so: a) V F V V b) V F F V c) F V F V d) V V V F e) F F V V 8. A proposio p~q equivalente a: a) pq b) pq c) ~pp d) ~qp e) ~p~q 9. Dizer que Pedro no pedreiro ou Paulo paulista o mesmo que dizer que: a) Se Pedro pedreiro, ento Paulo paulista. b) Se Paulo paulista, ento Pedro paulista. c) Se Pedro no pedreiro, ento Paulo paulista. d) Se Pedro pedreiro, ento Paulo no paulista. e) Se Pedro no pedreiro, ento Paulo no paulista. 10. O rei ir caa condio necessria para o duque sair do castelo e condio suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa condio necessria e suficiente para o baro sorrir e condio necessria para a duquesa ir ao jardim. O baro no sorriu. Logo:

Podemos escrever: a) pq verdade pq verdade b) pq verdade pq verdade c) pq verdade pq verdade d) pq falso pq falso e) pq falso pq verdade

13. Duas grandezas x e y so tais que: se x=3, ento y=7. Pode-se concluir que: a) se x 3, ento y 7 b) se y 7, ento x 3 c) se y = 7, ento x = 3 d) se x = 5, ento y = 5 e) nenhuma das concluses acima vlida. 14. Maria magra ou Bernardo barrigudo. Se Lcia linda, ento Csar no careca. Se Bernardo barrigudo, ento Csar careca. Ora, Lcia linda. Logo: a) Maria magra e Bernardo no barrigudo. b) Bernardo barrigudo ou Csar careca. c) Csar careca e Maria magra. d) Maria no magra e Bernardo barrigudo. e) Lcia e linda e Csar careca. 15. Se Carlos mais velho do que Pedro, ento Maria e Jlia tm a mesma idade. Se Maria e Jlia tm a mesma idade, ento Joo mais moo do que Pedro. Se Joo mais moo do que Pedro, ento Carlos mais velho do que Maria. Ora, Carlos no mais velho do que Maria. Ento: a) Carlos no mais velho do que Jlia e Joo mais moo do que Pedro. b) Carlos mais velho do que Pedro, e Maria e Jlia tm a mesma idade.
21

Didatismo e Conhecimento

LGICA
c) Carlos e Joo so mais moos do que Pedro. d) Carlos mais velho do que Pedro, e Joo mais moo do que Pedro. e) Carlos no mais velho do que Pedro, e Maria e Jlia no tm a mesma idade. 16. Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) Andr artista se e somente se Bernardo no engenheiro. b) Se Andr artista, ento Bernardo no engenheiro. c) Se Andr no artista, ento Bernardo engenheiro. d) Se Bernardo engenheiro, ento Andr artista. e) Andr no artista e Bernardo engenheiro. 17. Ou Anais ser professora, ou Anelise ser cantora, ou Anamlia ser pianista. Se Ana for atleta, ento Anamlia ser pianista. Se Anelise for cantora, ento Ana ser atleta. Ora, Anamlia no ser pianista. Ento: a) Anais ser professora e Anelise no ser cantora. b) Anais no ser professora e Ana no ser atleta. c) Anelise no ser cantora e Ana ser atleta. d) Anelise ser cantora ou Ana ser atleta. e) Anelise ser cantora e Anamlia no ser pianista. 18. Se Flvia filha de Fernanda, ento Ana no filha de Alice. Ou Ana filha de Alice, ou nia filha de Elisa. Se Paula no filha de Paulete, ento Flvia filha de Fernanda. Mas acontece que nem nia filha de Elisa nem Ins filha de Elisa. Com isso, podemos afirmar que: a) Paula filha de Paulete e Flvia filha de Fernanda. b) Paula filha de Paulete e Ana filha de Alice. c) Paula no filha de Paulete e Ana filha de Alice. d) Se Ana filha de Elisa, Flvia filha de Fernanda. e) nia filha de Elisa ou Flvia filha de Fernanda. 19. Se verdade que Nenhum artista atleta, ento tambm ser verdade que: a) Todos no-artistas so no-atletas. b) Nenhum atleta no-artista. c) Nenhum artista no-atleta. d) Pelo menos um no-atleta artista. e) Nenhum no-atleta artista. 20. Se os pais dos filhos morenos sempre so morenos, ento podemos afirmar que: a) Os filhos de no-morenos nunca so morenos. b) Os filhos de morenos sempre so loiros. c) Os filhos de morenos nunca so morenos. d) Os filhos de no-morenos sempre so morenos. e) Os pais de filhos morenos nem sempre so morenos. 21. A negao da sentena Ana no voltou e foi ao cinema : a) Ana voltou ou no foi ao cinema. b) Ana voltou e no foi ao cinema. c) Ana no voltou ou no foi ao cinema. d) Ana no voltou e no foi ao cinema. e) Ana no voltou e foi ao cinema. 22. Todos os mdicos so magros. Nenhum magro sabe correr. Podemos afirmar que: Didatismo e Conhecimento
22

a) Algum mdico no magro. b) Algum mdico sabe correr. c) Nenhum mdico sabe correr. d) Nenhum mdico magro. e) Algum mdico sabe correr. 23. A negao da proposio Se os preos aumentam, ento as vendas diminuem : a) Se os preos diminuem, ento as vendas aumentam. b) Os preos diminuem e as vendas aumentam. c) Se os preos aumentam, ento as vendas aumentam. d) As vendas aumentam ou os preos diminuem. e) Se as vendas aumentam, ento os preos diminuem. 24. Considere as seguintes premissas: Cludia bonita e inteligente, ou Cludia simptica. Cludia no simptica. A partir dessas premissas, conclui-se que Cludia: a) bonita ou inteligente. b) bonita e inteligente. c) bonita e no inteligente. d) No bonita e no inteligente. e) No bonita e inteligente. 25. Jair est machucado ou no quer jogar. Mas Jair quer jogar. Logo: a) Jair no est machucado nem quer jogar. b) Jair no quer jogar nem est machucado. c) Jair no est machucado e quer jogar. d) Jair est machucado e no quer jogar. e) Jair est machucado e quer jogar. 26. Assinale a alternativa que apresenta a negao da seguinte sentena: Nenhum pescador mentiroso. a) Algum pescador mentiroso. b) Nenhum mentiroso pescador. c) Todo pescador no mentiroso. d) Algum mentiroso no pescador. e) Algum pescador no mentiroso. 27. Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista lgico, equivale a dizer que a seguinte afirmao verdadeira: a) Pelo menos um economista no mdico. b) Nenhum economista mdico. c) Nenhum mdico economista. d) Pelo menos um mdico no economista. e) Todos os no mdicos so no economistas. 28. Se a = b + p , ento a = z + r . Se a = z + r , ento a = w r . Por outro lado, a = b + p , ou a = 0 . Se a = 0 , ento a + u = 5 . Ora, a + u 5 . Logo: a) a r = 0 b) a b + p c) a = w r d) z + r w r e) b + p q r

LGICA
Respostas: (01-C) (02-D) (03-A) (04-A) (05-A) (06-A) (07D) (08-E) (09-A) (10-C) (11-E) (12-D) (13-B) (14-A) (15-E) (16D) (17-A) (18-B) (19-D) (20-A) (21-A) (22-C) (23-E) (24-B) (25E) (26-A) (27-A) (28-C) Resoluo 06 Primeiro, vamos definir a ordem de chegada, que ser da esquerda para a direita, conforme a figura: 1 lugar ltimo - Se o conde encontrou a princesa, o baro tinha que sorrir... Logo, hiptese B excluda. - Se o rei no foi caa, o duque no saiu do castelo. E se o duque no saiu do castelo, a duquesa no foi ao jardim. E ela s vai ao jardim se o baro sorrir (condio necessria). Logo, o baro no sorriu. uma afirmao verdadeira. - Se o rei foi caa, o duque TINHA de sair e ento a duquesa ia ao jardim... E a duquesa vai obrigatoriamente ao jardim se o baro sorrir. Logo, esta hiptese excluda.... - O duque no sai do castelo sem o rei ir caa. Logo, resposta certa a C. Resoluo 12: Lembrando: Os conectivos mais usados so: e(), ou(), se... ento() e se e somente se(). Agora s interpretar: Alternativa D p ou q sero falsos somente quando pq for falso, pois quando pq for verdadeiro, p e q tambm sero. Resoluo 14: que: O nico fato dado que Lcia linda, por isso d para concluir

_____ _____ _____ _____ Agora, vamos aos enunciados. Traduzindo o primeiro, temos: Dada Guto Aires No prximo, aparece um conectivo bicondicional (...se e somente se...). O que isso quer dizer? Que, para a afirmao ser verdadeira, ou ambas as partes so verdadeiras, ou ambas falsas. Ento, se olharmos a 2 parte da afirmao, veremos que ela verdadeira ( s olharmos o resultado da 1 afirmao). Logo: Guto Juba Aires Agora, juntamos as duas afirmaes j vistas: Dada Guto Juba Aires Agora, a terceira. Outro bicondicinal. Agora, olhando a 2 parte, veremos que ela falsa (Aires no chegou junto de Guto). Logo, a 1 parte deve ser falsa tambm. Ento, Cacau chegou junto de Juba. Agora, s montar a sequncia: Dada Guto (Cacau/Juba) Aires Pela sequncia montada, s poder ser a letra A. Resoluo 07 Conceitua-se disjuno inclusiva de duas proposies a e b a proposio representada por (ab) que s ser FALSA (F), quando as duas componentes, ou seja, a e b forem FALSAS (F). Resoluo 09 Se p ento q equivalente a q o no p p: Pedro pedreiro q: Paulo paulista no p o q: Pedro no pedreiro ou Paulo paulista Logo equivalente a: Se p q, Se Pedro pedreiro ento Paulo paulista Resposta a Resoluo 10 O rei NO vai caa logo nenhuma das outras condies podem acontecer... Logo, o baro no sorri... - Se o conde encontrou a princesa, o baro devia sorrir... E se a duquesa foi ao jardim, era porque o baro tava a sorrir. Logo, a hiptese A excluda. Didatismo e Conhecimento
23

- Csar no careca (se Lcia linda, ento Csar no careca); - Bernardo no barrigudo (se Bernardo barrigudo, ento Csar careca); - Maria Magra (Maria magra ou Bernardo barrigudo). Alternativa A. Resoluo 16: Precisamos saber algumas regras lgicas. Por exemplo, na frase Se A ento B, caso A seja falso, o resultado ser verdadeiro, pois com A falso qualquer estado de B (V ou F) seria vlido. Outra coisa: V ou F d V, pois segue a lgica se um ou outro verdadeiro, o resultado verdadeiro. Agora, ao problema. A frase Andr Artista ser nosso A. E a frase Bernardo engenheiro ser nosso B. Sua negao, Bernardo no engenheiro, ser nosso No-B. Vamos ento fazer uma tabelinha com os resultados, atribuindo os valores V ou F para cada frase, e calculando os resultados. Se A=V e B=V, temos que No-B=F. Logo, A ou No-B = V. Se A=V e B=F, temos que No-B=V. Logo, A ou No-B = V. Se A=F e B=V, temos que No-B=F. Logo, A ou No-B = F. Se A=F e B=F, temos que No-B=V. Logo, A ou No-B = V. Logo, o resultado dessa frase ser (V,V,F,V). A pergunta: qual opo tem como resposta a mesma sequncia? A resposta que encontramos a D. Pois, quando se fornece a mesma sequncia de V e F como entrada, a sada ser (V,V,F,V). Veja: Se A=V e B=V, ento B->A = V. Se A=V e B=F, ento B->A = V. Se A=F e B=V, ento B->A = F. Se A=F e B=F, ento B->A = V.

LGICA
BA significa aqui B implica A e equivale, na lgica, ao portugus Se B, ento A. No caso, Se Bernardo engenheiro, ento Andr artista. Obs.: Na alternativa A, se e somente se significa que teramos que calcular duas implicaes: AB e BA. a mais trabalhosa. Na verdade, a questo toda trabalhosa, s se d bem quem lembra que B implica A equivale a A ou No B. Resoluo 19: 1) Se verdade que nenhum artista atleta, ento tambm ser verdade que: (Faa dois crculos que no se cruzam!!! Um o dos artistas e o outro dos atletas.) a) todos no-artistas so no-atletas - Falso, pois podem existir no artistas dentro do crculo dos atletas. b) nenhum atleta no-artista - Falso, pois pode existir um atleta fora do crculo dos no artistas. c) nenhum artista no atleta - Falso, pois todo artista no atleta. d) pelo menos um no-atleta artista. e) nenhum no-atleta artista - Falso, pois pode haver um no atleta no crculo dos artistas. Resoluo 20: Podemos re-escrever o enunciado da seguinte forma: SE os filhos so morenos, ENTO os pais so morenos. p: filhos so morenos q: pais so morenos Agora, fazendo p q, sua contrapositiva : ~q ~p Assim, temos que: SE os pais no so morenos, ENTO os filhos no so morenos, isso mesmo que dizer que: os filhos de no morenos tambm no so morenos, portanto, de acordo com as alternativas apenas a letra A, satisfaz a proposio, isto :os filhos de no morenos nunca so morenos. Alternativa A. Resoluo 21: Em linguagem simblica, a frase dada fica: p: Ana voltou; q:Ana foi ao cinema. Temos, portanto: ~p q. A negao : ~(~p q). Aplicando-se De Morgan, vem: p ~q, que, em linguagem corrente fica: Ana voltou ou no foi ao cinema. Alternativa A. Resoluo 27: Aprendemos, inclusive com uma tabela apropriada, que a palavra TODOS negada por PELO MENOS UM (=ALGUM). Da, se o enunciado diz que FALSA a sentena Todos os economistas so mdicos, o que ela quer na verdade que faamos a NEGAO desta frase! Ora, se mentira que todos os economistas so mdicos, fcil concluirmos que pelo menos um economista no mdico! nossa resposta opo A. Didatismo e Conhecimento
24

Resoluo 28: Vamos estruturar: a = b+p = z+r = w-r a =b+p OU a=0 Analisando: a) a-r=0 (Incorreta, pois a incgnita r no tem nenhuma relao com 0) b) a b + p (Incorreta, pois a = b+p) c) a = w-r (Correta) d) z+r w-r (Incorreta, pois z+r = w-r) e) b+p q-r (incorreta, pois em momento algum foi falado na incgnita q)

TABELAS-VERDADE;

Nmero de Linhas da Tabela Verdade Seja L uma linguagem que contenha as proposies P, Q e R. O que podemos dizer sobre a proposio P? Para comear, segundo o princpio de bivalncia, ela ou verdadeira ou falsa. Isto representamos assim: P V F Agora, o que podemos dizer sobre as proposies P e Q? Oras, ou ambas so verdadeiras, ou a primeira verdadeira e a segunda falsa, ou a primeira falsa e a segunda verdadeira, ou ambas so falsas. Isto representamos assim: P V V F F Q V F V F

Como voc j deve ter reparado, uma tabela para P, Q e R assim: P V V V V F F F F Q V V F F V V F F R V F V F V F V F

LGICA
Cada linha da tabela (fora a primeira que contm as frmulas) representa uma valorao. Agora, o que dizer sobre frmulas moleculares, tais como P, QR, ou (QR) (PQ)? Para estas, podemos estabelecer os valores que elas recebem em vista do valor de cada frmula atmica que as compe. Faremos isto por meio das tabelas de verdade. Os primeiros passos para construir uma tabela de verdade consistem em: 1- Uma linha em que esto contidas todas as subfrmulas de uma frmula e a prpria frmula. Por exemplo, a frmula (PQ) R tem o seguinte conjunto de subfrmulas: [(PQ) R, PQ, P, Q, R] 2) L linhas em que esto todos os possveis valores que as proposies atmicas podem receber e os valores recebidos pelas frmulas moleculares a partir dos valores destes tomos. O nmero de linhas L = nt, sendo n o nmero de valores que o sistema permite (sempre 2 no caso do CPC) e t o nmero de tomos que a frmula contm. Assim, se uma frmula contm 2 tomos, o nmero de linhas que expressam a permutaes entre estes ser 4: um caso de ambos serem verdadeiros (V V), dois casos de apenas um dos tomos ser verdadeiro (V F , F V) e um caso no qual ambos serem falsos (F F). Se a frmula contiver 3 tomos, o nmero de linhas que expressam a permutaes entre estes ser 8: um caso de todos os tomos serem verdadeiros (V V V), trs casos de apenas dois tomos serem verdadeiros (V V F , V F V , F V V), trs casos de apenas um dos tomos ser verdadeiro (V F F , F V F , F F V) e um caso no qual todos tomos so falsos (F F F). Ento, para a frmula (PQ) R, temos: P V V V V F F F F Q V V F F V V F F R V F V F V F V F PQ (PQ) R (PQ) R Interpretar a negao por meio de antnimos tambm uma alternativa, mas deve-se ter cautela, pois nem sempre aplicvel em todos os casos. No exemplo acima a interpretao por meio de antnimos perfeitamente aplicvel, ou seja, se P significa Scrates mortal, P pode ser interpretada como Scrates imortal. Por outro lado, em uma linguagem L na qual Q significa Joo bom jogador, a proposio Joo mau jogador no a melhor interpretao para Q (Joo poderia ser apenas um jogador mediano). Pode-se adicionar indefinidamente o operador de negao: P V F P F V P V F P F V

P significa P falsa. P significa P falsa. E assim por diante. Repare que P equivalente a P, assim como P equivalente a P. A negao mltipla traz alguns problemas de interpretao. Interpretando mais uma vez P por Scrates mortal, podemos perfeitamente interpretar P de diversar formas: No o caso de que Scrates no mortal, No o caso de que Scrates imortal, falso que Scrates no mortal, falso que Scrates imortal etc. Contudo, nem sempre na lngua portuguesa a dupla negao de uma proposio equivale afirmao desta. Muitas vezes a dupla negao apenas uma nfase na negao. Exemplos No veio ningum, No fiz nada hoje etc. Conjuno A conjuno entre duas frmulas s verdadeira quando ambas so verdadeiras. A saber: P V V F F Q V F V F PQ V F F F

Para completar esta tabela precisamos definir os operadores lgicos. Ao faz-lo, vamos aproveitar para explicar como interpret-los. Negao A negao tem o valor inverso da frmula negada. A saber: P V F P F V

Interpretao: PQ pode ser interpretada como P e Q, Tanto P quanto Q, Ambas proposies P e Q so verdadeiras etc. Assim, em uma linguagem Lna qual P significa Sou cidado brasileiro e Q significa Sou estudante de filosofia, PQ pode ser interpretada como Sou cidado brasileiro e estudante de filosofia; o que s verdade se P verdadeira e Q verdadeira. Repare que a conjuno comutvel, ou seja, PQ equivalente a QP, a saber: P V V F F Q V F V F PQ V F F F QP V F F F

Interpretaes: No P, No o caso de P, A proposio P falsa. Assim, em uma linguagem L na qual P significa Scrates mortal, P pode ser interpretada como Scrates no mortal, e, se o primeiro verdadeiro, o segundo falso; e se o primeiro falso, o segundo verdadeiro. Didatismo e Conhecimento
25

LGICA
A comutatividade da conjuno traz um problema para formalizar proposies da linguagem natural no Clculo Proposicional Clssico, pois a ordem em que as oraes aparecem pode sugerir uma sequncia temporal. Por exemplo Isabela se casou e teve um filho bem diferente de Isabela teve um filho e se casou. Repare que o mesmo problema no acomete a proposio Isabela casada e tem filhos, que equivalente a Isabela tem filhos e casada. Esta sentena , portanto, perfeitamente formalizvel no Clculo Proposicional Clssico por meio de uma conjuno. Proposies que levam a palavra mas tambm podem ser formalizadas pela conjuno. Por exemplo, em uma linguagem L na qual R significa Joo foi atropelado e D significa Joo sobreviveu ao atropelamento, as sentenas Joo foi atropelado e sobreviveu e Joo foi atropelado, mas sobreviveu podem ambas ser formalizadas assim: RD Afinal, ambas as proposies afirmam os mesmos eventos na mesma sequncia: o atropelamento e a sobrevivncia de Joo. A nica diferena entre ambas que aquela que leva mas expressa que uma expectativa subjetiva no foi satisfeita o que no importa para a lgica clssica. Disjuno A disjuno entre duas frmulas s verdadeira quando ao menos uma delas verdadeira. A saber: P V V F F Q V F V F PQ V V V F P V V F F Q V F V F PQ V F V V

Repare que a implicao no comutativa: P V V F F Q V F V F PQ V F V V QP V F V V

Repare que a disjuno tambm comutativa: P V V F F Q V F V F PQ V V V F QP V V V F

Interpretao: PQ pode ser interpretada como P ou Q, Entre as proposies P e Q, ao menos uma verdadeira. Assim, se P significa Fulano estuda filosofia e Q significa Fulano estuda matemtica, PQ pode ser interpretada como Fulano estuda filosofia ou matemtica; o que s falso se nem P nem Q forem verdadeiras. Com a disjuno preciso tomar muito cuidado tanto na interpretao de frmulas quanto na formalizao de proposies, pois na linguagem natural muitas vezes os disjuntos so excludentes. Por exemplo: Uma moeda ao ser lanada resulta em cara ou coroa, Nestas frias eu vou viajar ou ficar em casa. Para estes casos usamos a disjuno exclusiva ou a bi-implicao combinada com a negao. Implicao A implicao entre duas frmulas s falsa se a da esquerda (antecedente) for verdadeira e da direita (consequente) for falsa. A saber:
26

Interpretao: PQ pode ser interpretada como Se P, ento Q, P implica Q, Se a proposio P verdade, ento a proposio Q tambm verdade, A partir de P inferimos Q , P satisfaz Q, P condio suficiente de Q. Assim, se, em uma linguagem L, P significa O boto vermelho foi apertado e Q significa O lugar inteiro explode, PQ pode ser interpretada como Se o boto vermelho foi apertado, o lugar inteiro explode, o que s falso se o boto vermelho for apertado (verdade de P) e o lugar inteiro no explodir (falsidade de Q): A interpretao da implicao uma das mais complicadas. Talvez voc tenha estranhado que a implicao seja verdadeira quando o antecedente falso. Ou ainda, voc poderia objetar mas e se o boto for apertado, o lugar explodir, mas uma coisa no tiver nada a ver com a outra?. Basicamente, o que se deve observar que O boto vermelho ser apertado condio suficiente para se deduzir que O lugar inteiro explodiu, isto , quando o boto apertado, o lugar deve explodir. Se o boto for apertado e o lugar no explodir, algo est errado, ou seja, P no implica Q (PQ falso). Quando temos na linguagem natural uma proposio que afirma que, a partir de um evento, outro segue inexoravelmente (por exemplo: Se voc sair na chuva sem guarda-chuva ou capa de chuva, ento voc vai se molhar) ou uma proposio que afirma que podemos deduzir um fato de outro (por exemplo: Se todo nmero par divisvel por 2, ento nenhum nmero par maior que 2 primo), podemos seguramente formalizar estas proposies por meio da implicao. Mas o contrrio, ou seja, interpretar uma implicao na linguagem natural problemtico. Podemos estar lidando com uma implicao cujo antecedente e cujo consequente no tm relao alguma. Basta, contudo que o antecedente seja falso ou o consequente seja verdadeiro para que a implicao seja verdadeira. Nestes casos, bem difcil dar uma interpretao satisfatria para a implicao. Bi-implicao A bi-implicao entre duas frmulas verdadeira quando ambas so verdadeiras ou ambas so falsas.

Didatismo e Conhecimento

LGICA
P V V F F Q V F V F PQ V F F V (I) (p q) r (II) p (q r) que no tm o mesmo significado lgico, pois na (I) o conectivo principal , e na (II), o conectivo principal . Por outro lado, em muitos casos, parntesis podem ser suprimidos, a fim de simplificar as proposies simbolizadas, desde que, naturalmente, ambiguidade alguma venha a aparecer. A supresso de parnteses nas proposies simbolizadas se faz mediante algumas convenes, das quais so particularmente importante as duas seguintes: A ordem de precedncia para os conectivos : (1) ~ ; (2) e ; (3) ; (4) Portanto o conectivo mais fraco ~ e o conectivo mais forte . Assim, por exemplo, a proposio: p q s r uma bicondicional e nunca uma condicional ou uma conjuno. Para convert-la numa condicional h que usar parntesis: p (q s r) e para convert-la em uma conjuno: (p q s) r Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parntesis, fazendo-se a associao a partir da esquerda. Exemplo: ((~ (~ (p q))) (~ p) fica como ~ ~ (p q ) ~ p

Repare que a bi-implicao comutativa: P V V F F Q V F V F PQ V F F V QP V F F V

Interpretao: PQ pode ser interpretada como P se e somente se Q, P equivalente a Q, P e Q possuem o mesmo valor de verdade. Assim, se P significa As luzes esto acesas e Q significa O interruptor est voltado para cima, PQ pode ser interpretada como As luzes esto acesas se e somente se o interruptor est voltado para cima, o que s falso se as luzes estiverem acesas e o interruptor no estiver voltado para cima (verdade de P falsidade de Q), ou se as luzes no estiverem acesas e o interruptor estiver voltado para cima (falsidade de P e verdade de Q) Nmeros de Linhas de uma Tabela Verdade O nmero de linhas da tabela verdade de uma proposio composta depende do nmero de proposies simples que a integram, sendo dado pelo seguinte teorema: A tabela-verdade de uma proposio composta, com n proposies simples componentes, contm 2 elevado a n linhas. Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira: - Determina-se o nmero de linhas da tabela- verdade que se quer construir; - Observa-se a precedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema; - Aplicam-se as definies das operaes lgicas que o problema exigir. Exemplo Construir a tabela-verdade da proposio: P(p,q) = ~ (p ~ q) p V V F F q V F V F ~q F V F V p~q F V F F ~ (p ~ q) V F V V

EQUIVALNCIAS;

O uso de parnteses bvia a necessidade de usar parntesis na simbolizao das proposies, que devem ser colocados para evitar qualquer tipo de ambiguidade. Assim, por exemplo, a expresso p q r d lugar, colocando parntesis, s duas seguintes proposies:
27

J sabemos que a linguagem matemtica (tal como a linguagem corrente) construda a partir de designaes e proposies; sabemos tambm a distino existente entre esses dois conceitos. Recordamos que um determinado ente pode ser designado atravs de muitas designaes distintas; por exemplo Paris e capital da Frana so duas designaes distintas para o mesmo ente. Vamos ver que h dois processos muito simples de construir uma proposio a partir de duas designaes. Consideremos as designaes Lisboa e capital da Frana. Podemos construir uma proposio onde intervenham apenas estas duas designaes, por exemplo, Lisboa a capital da Frana; trata-se de uma proposio falsa. Com as mesmas duas designaes tambm poderamos ter construdo uma proposio verdadeira: Lisboa no a capital da Frana. Na proposio Lisboa a capital da Frana estamos a afirmar que as duas designaes Lisboa e capital da Frana designam o mesmo ente, o que alis sabemos ser falso. J na proposio Lisboa no a capital da Frana afirmamos que as designaes Lisboa e capital da Frana designam entes distintos. Dadas duas designaes, digamos a e b, h ento dois processos muito simples de construir uma proposio. O primeiro dizer que as designaes a e b designam o mesmo ente; nesse caso escreveremos o sinal de igualdade = entre as duas designaes: a = b. O segundo dizer que as designaes a e b designam entes distintos; escreveremos ento o sinal de desigualdade entre as duas designaes: a b.

Didatismo e Conhecimento

LGICA
Claro que o valor lgico de cada uma das proposies a = b e a b depende das designaes a e b. Por exemplo, ao escrevermos Lisboa = Capital da Frana; construmos uma proposio falsa; mas as proposies Lisboa Capital da Dinamarca; Lisboa = Capital de Portugal; so verdadeiras. Dando agora exemplos com designaes de entes matemticos, so verdadeiras as proposies 2 = 4, 2 9, -2 4, 3 x 4 = 12 e falsas as proposies (3 + 2)2 = 32 + 22, Acabamos de ver que um processo para construir proposies escrever um dos sinais = ou entre duas designaes. Um outro processo semelhante escrever o sinal de equivalncia entre duas proposies. Dadas duas proposies, digamos p e q, podemos construir uma nova proposio p q, que se l p equivalente a q, e que verdadeira se p e q tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas) e falsa se p e q tiverem valores lgicos diferentes (uma for verdadeira e a outra for falsa). Assim, por exemplo, a proposio Lisboa uma cidade Londres uma vila falsa, visto a proposio Lisboa uma cidade ser verdadeira e a proposio Londres uma vila ser falsa. J a proposio Lus Figo um astronauta dois um nmero irracional verdadeira, visto as proposies Lus Figo um astronauta e dois um nmero irracional serem ambas falsas. Uma forma visual bastante til de exprimir o valor lgico da proposio p q como funo dos valores lgicos de p e de q a utilizao das chamadas tabelas de verdade p V F F q F V F pq V F F V p V V F F q V F V F pq F V V F

Por exemplo 2 = 4 3 + 4 = 7 uma proposio falsa, visto as proposies 2 = 4 e 3 + 4 = 7 serem ambas verdadeiras. J a proposio 2 = 4 Lus Figo um astronauta verdadeira, porque as proposies 2 = 4 e Lus Figo um astronauta tm valores lgicos distintos: 2 = 4 verdadeira, enquanto Lus Figo um astronauta falsa. No confundamos os sinais = e ; o primeiro utiliza-se entre duas designaes, formando uma proposio que verdadeira se essas designaes designarem o mesmo ente; o segundo utilizase entre duas proposies, para construir uma nova proposio que verdadeira se aquelas duas proposies tiverem o mesmo valor lgico. Assim, tem sentido escrever Lisboa = Capital de Portugal ou Paris = Capital de Portugal. A primeira destas proposies verdadeira e a segundo falsa. Mas Lisboa Capital de Portugal desprovido de qualquer sentido porque entre designaes no temos o direito de escrever o sinal de equivalncia . Tambm tem sentido escrever 2 3 = 0 2 = 3 que uma proposio verdadeira, ou 32 = (3)2 3 = 3 que uma proposio falsa. Mas no tem sentido escrever 2 1 + 1 porque 2 e 1+1 so designaes e o sinal de equivalncia no se pode situar entre designaes, devendo situar-se entre proposies.

LEIS DE DE MORGAN;
As leis de De Morgan definem regras usadas para converter operaes lgicas OU em E e vice versa. Sendo X, Y {0,1} e as operaes em {0,1} sendo +, . e -, assim definidas:
Operao lgica Ou Smbolo + Exemplos 0+0=0 0+1=1 1+0=1 1+1=1 0.0=0 0.1=0 1.0=0 1.1=1

V V

Na primeira coluna da tabela anterior esto os valores lgicos de p, na segunda coluna os valores lgicos de q e na coluna da direita os valores lgicos de p q. bvio que, nas duas primeiras colunas, teremos de ter todas as combinaes possveis de valores lgicos das proposies p e q. Claro que, semelhana dos sinais = e utilizados entre designaes por forma a construir proposies, poderemos arranjar um sinal para exprimir a no equivalncia de duas proposies; esse sinal ser . A proposio p q ser verdadeira se os valores lgicos de p e de q forem distintos e falsa se forem iguais. Em termos de tabela de verdade, teremos Didatismo e Conhecimento
28

No

Da autoria do ilustre matemtico ingls Augustus De Morgan (1806-1871), podemos separ-las em Primeiras Leis de Morgan e Segundas Leis de Morgan.

LGICA
As primeiras podem ser indicadas de vrias formas, dependendo do contexto a estudar. Podemos utiliz-las em operaes lgicas sobre proposies ou em operaes sobre conjuntos. Primeiras Leis de Morgan: Sendo p e q duas proposies e ~, e , respetivamente, os smbolos das operaes lgicas negao, conjuno e disjuno, as Primeiras Leis de Morgan podem ser apresentadas simbolicamente por: 1. ~(p q) = ~p ~q cujo significado : negar a simultaneidade de p e q afirmar pelo menos no p ou no q. 2. ~(p q) = ~p ~q cujo significado : negar a ocorrncia de pelo menos p ou q afirmar nem p nem q. Segunda Leis de Morgan: As Segundas Leis de Morgan permitem-nos efetuar a negao de proposies com quantificadores (universais e existenciais). Dada a expresso proposicional (ou condio) p(x), em que x A, conjunto de nmeros reais, a expresso x A: p (x) l-se: para todo o elemento de A, verificase p, ou seja, qualquer que seja o valor de A pelo qual substitumos x, p(x) transforma-se numa proposio verdadeira. Por outro lado, a expresso x A: p(x) l-se: existe pelo menos um elemento de A que verifica p, ou seja, significa que existe pelo menos um valor da varivel x, para a qual a p(x) se transforma numa proposio verdadeira. As leis: Considere X e Y como variveis booleanas ou proposies cuja resposta seja {Sim, No} ou {Verdadeiro, Falso} ou ainda {0,1}. Seguem as leis de De Morgan conforme algumas notaes possveis: Lgica Proposicional (X Y) (X) (Y) (X Y) (X) (Y) Lgica Booleana a) primeiro usamos a propriedade distributiva do operador + , depois a propriedade comutativo (passo no mostrado), ento vemos a soma de elementos complementares . b) Primeiro usamos a propriedade distributiva do operador , depois usamos a propriedade de comutatividade (esse passo no foi mostrado), ento usamos a propriedade de elementos complementares

DIAGRAMAS LGICOS.

So ditas proposies categricas as seguintes: - Todo A B - Nenhum A B - Algum A B e - Algum A no B Proposies do tipo Todo A B afirmam que o conjunto A um subconjunto do conjunto B. Ou seja: A est contido em B. Ateno: dizer que Todo A B no significa o mesmo que Todo B A. Enunciados da forma Nenhum A B afirmam que os conjuntos A e B so disjuntos, isto , no tem elementos em comum. Ateno: dizer que Nenhum A B logicamente equivalente a dizer que Nenhum B A. Por conveno universal em Lgica, proposies da forma Algum A B estabelecem que o conjunto A tem pelo menos um elemento em comum com o conjunto B. Contudo, quando dizemos que Algum A B, pressupomos que nem todo A B. Entretanto, no sentido lgico de algum, est perfeitamente correto afirmar que alguns de meus colegas esto me elogiando, mesmo que todos eles estejam. Dizer que Algum A B logicamente equivalente a dizer que Algum B A. Tambm, as seguintes expresses so equivalentes: Algum A B = Pelo menos um A B = Existe um A que B. Proposies da forma Algum A no B estabelecem que o conjunto A tem pelo menos um elemento que no pertence ao conjunto B. Temos as seguintes equivalncias: Algum A no B = Algum A no B = Algum no B A. Mas no equivalente a Algum B no A. Nas proposies categricas, usam-se tambm as variaes gramaticais dos verbos ser e estar, tais como , so, est, foi, eram, ..., como elo de ligao entre A e B. - Todo A B = Todo A no no B - Algum A B = Algum A no no B - Nenhum A B = Nenhum A no no B

Lgica Booleana na eletrnica Digital

Textual No (X E Y) = No (X) Ou No (Y) No (X Ou Y) = No (X) E No (Y) Generalizao: A ideia que ao aplicar a barra (operador No) sobre uma outra operao, esta muda seu sinal, restando uma barra para cada membro da operao. Exemplos:

Prova: Se de fato

, ento:

Didatismo e Conhecimento

29

LGICA
- Todo A no B = Todo A no B - Algum A no B = Algum A no B - Nenhum A no B = Nenhum A no B - Nenhum A B = Todo A no B - Todo A B = Nenhum A no B - A negao de Todo A B Algum A no B (e vice-versa) - A negao de Algum A B Nenhum A B (e vice-versa) Verdade ou Falsidade das Proposies Categricas Dada a verdade ou a falsidade de qualquer uma das proposies categricas, isto , de Todo A B, Nenhum A B, Algum A B e Algum A no B. pode-se inferir de imediato a verdade ou a falsidade de algumas ou de todas as outras. 1. Se a proposio Todo A B verdadeira, ento temos as duas representaes possveis:
1 A B A 2 A = B A
3 B

Nenhum A B falsa. Todo A B indeterminada pode ser verdadeira (em 3 e 4) ou falsa (em 1 e 2). Algum A no B indeterminada pode ser verdadeira (em 1 e 2) ou falsa (em 3 e 4). 4. Se a proposio Algum A no B verdadeira, temos as trs representaes possveis:
1 A B 2 A B

Nenhum A B falsa. Algum A B verdadeira. Algum A no B falsa. 2. Se a proposio Nenhum A B verdadeira, ento temos somente a representao:

Todo A B falsa. Nenhum A B indeterminada pode ser verdadeira (em 3) ou falsa (em 1 e 2). Algum A B indeterminada pode ser verdadeira (em 1 e 2) ou falsa (em 3). Algum vai perguntar: preciso decorar tudo isso? Na realidade, o melhor buscar entender tudo isso! A rigor, conforme veremos pela resoluo da questo abaixo, conseguiremos solucionar os problemas deste assunto praticamente mediante o desenho dos Diagramas Lgicos! Ou seja, a coisa bem mais fcil do que aparenta. Exerccio: Considerando todo livro instrutivo como uma proposio verdadeira, correto inferir que: a) Nenhum livro instrutivo uma proposio necessariamente verdadeira. b) Algum livro instrutivo uma proposio necessariamente verdadeira. c) Algum livro no instrutivo uma proposio verdadeira ou falsa. d) Algum livro instrutivo uma proposio verdadeira ou falsa. e) Algum livro no instrutivo uma proposio necessariamente verdadeira. Resoluo:

Todo A B falsa. Algum A B falsa. Algum A no B verdadeira. 3. Se a proposio Algum A B verdadeira, temos as quatro representaes possveis:
1 A B 2 A B

instrutivo livro

3 A

4 A = B

A opo A descartada de pronto: nenhum livro instrutivo implica a total dissociao entre os diagramas. E estamos com a situao inversa! A opo B perfeitamente escorreita! Percebam como todos os elementos do diagrama vermelho esto inseridos no diagrama azul. Resta necessariamente perfeito que algum livro instrutivo. Resposta: opo B.
30

Didatismo e Conhecimento

LGICA
RACIOCNIO LGICO ENVOLVENDO PROBLEMAS ARITMTICOS E GEOMTRICOS.
Os problemas matemticos so resolvidos utilizando inmeros recursos matemticos, destacando, entre todos, os princpios algbricos, os quais so divididos de acordo com o nvel de dificuldade e abordagem dos contedos. Primeiramente os clculos envolvem adies e subtraes, posteriormente as multiplicaes e divises. Depois os problemas so resolvidos com a utilizao dos fundamentos algbricos, isto , criamos equaes matemticas com valores desconhecidos (letras). Observe algumas situaes que podem ser descritas com utilizao da lgebra. - O dobro de um nmero adicionado com 4: 2x + 4; - A soma de dois nmeros consecutivos: x + (x + 1); - O quadrado de um nmero mais 10: x2 + 10; - O triplo de um nmero adicionado ao dobro do nmero: 3x + 2x; - A metade da soma de um nmero mais 15: + 15; - A quarta parte de um nmero: . Exemplo 1 A soma de trs nmeros pares consecutivos igual a 96. Determine-os. 1 nmero: x 2 nmero: x + 2 3 nmero: x + 4 (x) + (x + 2) + (x + 4) = 96 Resoluo: x + x + 2 + x + 4 = 96 3x = 96 4 2 3x = 96 6 3x = 90 x= x = 30 1 nmero: x = 30 2 nmero: x + 2 = 30 + 2 = 32 3 nmero: x + 4 = 30 + 4 = 34 Os nmeros so 30, 32 e 34. Exemplo 2 O triplo de um nmero natural somado a 4 igual ao quadrado de 5. Calcule-o: Resoluo: 3x + 4 = 52 3x = 25 4 3x = 21 x= x=7 O nmero procurado igual a 7. Exemplo 3 A idade de um pai o qudruplo da idade de seu filho. Daqui a cinco anos, a idade do pai ser o triplo da idade do filho. Qual a idade atual de cada um? Resoluo: Atualmente Filho: x Pai: 4x Futuramente Filho: x + 5 Pai: 4x + 5 4x + 5 = 3 . (x + 5) 4x + 5 = 3x + 15 4x 3x = 15 5 x = 10 Pai: 4x = 4 . 10 = 40 O filho tem 10 anos e o pai tem 40. Exemplo 4 O dobro de um nmero adicionado ao seu triplo corresponde a 20. Qual o nmero? Resoluo 2x + 3x = 20 5x = 20 x= x=4 O nmero corresponde a 4. Exemplo 5 Em uma chcara existem galinhas e coelhos totalizando 35 animais, os quais somam juntos 100 ps. Determine o nmero de galinhas e coelhos existentes nessa chcara. Galinhas: G Coelhos: C G + C = 35 Cada galinha possui 2 ps e cada coelho 4, ento: 2G + 4C = 100

Didatismo e Conhecimento

31

LGICA
Sistema de equaes Isolando C na 1 equao: G + C = 35 C = 35 G Substituindo C na 2 equao: 2G + 4C = 100 2G + 4 . (35 G) = 100 2G + 140 4G = 100 2G 4G = 100 140 - 2G = - 40 G= G = 20 Calculando C C = 35 G C = 35 20 C = 15 Exerccios 1. A soma das idades de Arthur e Baltazar de 42 anos. Qual a idade de cada um, se a idade de Arthur 2 da idade 5 de Baltazar? 2. A diferena entre as idades de Jos e Maria de 20 anos. Qual a idade de cada um, sabendo-se que a idade de Jos 9 5 da idade de Maria? 3. Verificou-se que numa feira dos feirantes so de origem japonesa e 2 do resto so de origem portuguesa. O 5 total de feirantes japoneses e portugueses de 99. Qual o total de feirantes dessa feira? 4. Certa quantidade de cards repartida entre trs 3 meninos. O primeiro menino recebe da quantidade e o 7 segundo, metade do resto. Dessa maneira, os dois receberam 250 cards. Quantos cards havia para serem repartidos e quantos cards recebeu o terceiro menino?
3 5. Num dia, uma pessoa l os 5 de um livro. No dia 3 seguinte, l os do resto e no terceiro dia, l as 20 pginas 4
5 9

Qual a distncia total a ser percorrida e quanto se percorreu na quarta etapa? 8. A soma das idades de Lcia e Gabriela de 49 anos. Qual a idade de cada uma, sabendo-se que a idade de Lcia 3 da idade de Gabriela?
4

9. Num dia, um pintor pinta 5 de um muro. No dia seguinte, pinta mais 51 metros do muro. Desse modo, pintou 7 do muro todo. Quantos metros tm o muro?
9

10. Um aluno escreve do total de pginas de seu caderno 8 com tinta azul e 58 pginas com tinta vermelha. Escreveu, 7 dessa maneira, do total de pginas do caderno. Quantas 9 pginas possuem o caderno? Respostas 1) Resposta Arthur 30; Baltazar 12. Soluo: A + B = 42 anos A= (substituindo a letra A pelo valor + B = 42 (mmc: 5) 2B + 5B = 210 7B = 210 B= B = 30 A = 12 2) Resposta Maria 25; Jos 45. Soluo: J M = 20 (substituindo a letra J por J= M = 20 (mmc:1;5) 9M 5M = 100 4M = 100 M= M = 25 e J = 45 3) Resposta 135. Soluo: F = feirantes J = 5/9.F (substituindo a letra J por 5/9.F) )

finais. Quantas pginas tm o livro?

6. Uma caixa contm medalhas de ouro, de prata e de 3 bronze. As medalhas de ouro totalizam das medalhas 5 da caixa. O nmero de medalhas de prata 30. O total de medalhas de bronze 4 do total de medalhas. Quantas so as medalhas de ouro e de bronze contidas na caixa? 7. Uma viagem feita em quatro etapas. Na primeira 2 3 etapa, percorrem-se os da distncia total. Na segunda, os do resto. Na terceira, a metade do novo resto. Dessa maneira foram percorridos 60 quilmetros. Didatismo e Conhecimento
32
7

LGICA
P= J + P = 99 (mmc:9;45) 6) Resposta Ouro = 120; Bronze = 50. Soluo: T = total O= P = 30 B= 33F = 4455 F= F = 135 4) Resposta 350 cards; 3 menino recebeu 100. Soluo: X = cards (substituindo o 1 e 2 pelos valores respectivos) 1 = 2 = 1 + 2 = 250 (mmc: 1;7) 3x + 2x = 1750 5x = 1750 X= X = 350 cards. ------------------------------------------------------------------------------1 = . 350 = 150 2 = . 350 = 100 3 = 1 + 2 + 3 = 60 + + = 60 (mmc:7;14) O+P+B=T + 30 + = T (mmc:5;4)

+ + = 17T + 600 = 20T 20T 17T = 600 3T = 600

T= = 200 medalhas ---------------------------------------------------------------------O= = . 200 = 120 B= = . 200 = 50

7) Resposta Distancia total: 70 km; Quarta etapa: 10 km. Soluo: T = total 1 = 2 =

4T + 6T + 2T = 840 12T = 840 T= T = 70 4 = 70 60 = 10 1 dia + 2 dia + 3 dia = x 8) Resposta Gabriela: 28 anos; Lcia: 21 anos. Soluo: L + G = 49 anos L= (substitui a letra L por + G = 49 3G + 4G = 196 7G = 196 G= = 28 anos )

3 = 350 250 = 100 5) Resposta 200. Soluo: X = livro 1 dia = 2 dia = (x )

+ (x + +. +

) + 20 = x + 20 = x + 20 = x

3 dia = 20 pginas

(mmc:1;4)

+ 20 = x (mmc:5;20) 12x + 6x + 400 = 20x 20x 18x = 400 2x = 400 X= = 200 pginas
33

L = 49 28 = 21 anos

Didatismo e Conhecimento

LGICA
9) Resposta 135 metros. Soluo: M = muro 1 dia = 2 dia = 51 metros + 51 = + = (mmc:5;9) 1. Um retngulo de base 7cm e altura 4cm qual o permetro e a rea respectivamente: a) 28 22 b) 11 22 c) 22 11 d) 22 28 e) 24 28 2. Um paralelogramo de altura 4 cm e base 2cm tem rea igual a: a) 12 cm b) 8 cm c) 16 cm d) 16 cm e) 12 cm 3. Um losango tem 4 lados qual o permetro de um losango de lado 8 cm: a) 16 b) 24 c) 32 d) 40 e) 48 4. Um quadrado de lado 3 cm tem um volume igual a: a) 27cm b) 9cm c) 28cm d) 18cm e) 6cm 5. Numa praa, os canteiros retangulares so cobertos com relva e esto cercados por lajes quadradas de 1 m de lado, como se v na figura. Quantas lajes vo cercar o relvado de 3 m por 5m?

18M + 2295 = 35M 35M 18M = 2295 17M = 2295 M= M = 135 metros. 10) Resposta 144 pginas. Soluo: P = total Azul = Vermelha = 58 + 58 = (mmc:8;9)

27P + 4176 = 56P 56P 27P = 4176 29P = 4176 P= = 144 pginas

rea das Principais Figuras Planas rea de um retngulo: medida da base x medida da altura ou A = b.h rea de um quadrado: medida do lado x medida do lado ou A = l . l rea de um tringulo: medida da base x medida da altura, dividido por 2 A =

(A) 20 (B) 18 (C) 16 (D)14 6. Sobre os polgonos A e E, verdade que eles tm:

rea de um losango: medida da diagonal maior x a medida da diagonal menor, dividido por 2 A=

b.h 2

rea de um trapzio: medida da base maior + medida da base menor x a medida da altura, dividido por 2. A =

d M .d m 2

(bM

+ bm ).h 2

Didatismo e Conhecimento

34

LGICA
(A)reas e permetros iguais. (B)permetros iguais e reas diferentes. (C)reas iguais e permetros diferentes. (D)reas diferentes e permetros diferentes. 7. A rea do polgono de maior rea igual a: Gabarito: 01 D/02 B/03 C/04 A/05 A/06 B/07 D/08 C/09 C/10 A

ANLISE COMBINATRIA: COMBINAES, ARRANJOS E PERMUTAES, PROBABILIDADES.

(A)15 (B)18 (C)21 (D)24 8. Se a rea de um polgono 15 T, mudando a unidade para L, ela ser:

Anlise Combinatria um conjunto de procedimentos que possibilita a construo de grupos diferentes formados por um nmero finito de elementos de um conjunto sob certas circunstncias. Na maior parte das vezes, tomaremos conjuntos Z com m elementos e os grupos formados com elementos de Z tero p elementos, isto , p ser a taxa do agrupamento, com p m. Arranjos, Permutaes ou Combinaes, so os trs tipos principais de agrupamentos, sendo que eles podem ser simples, com repetio ou circulares. Apresentaremos alguns detalhes de tais agrupamentos. Observao: comum encontrarmos na literatura termos como: arranjar, combinar ou permutar, mas todo o cuidado pouco com os mesmos, que s vezes so utilizados em concursos em uma forma dbia! Arranjos So agrupamentos formados com p elementos, (p < m) de forma que os p elementos sejam distintos entre si pela ordem ou pela espcie. Os arranjos podem ser simples ou com repetio.

(A)30 (B)10 (C)7,5 (D)5 9. Um terreno retangular tem uma rea de 450 m2. O comprimento do terreno 25 m. Qual o permetro do terreno? (A)18 m. (B)43 m. (C)86 m. (D)94 m. 10. Qual a rea da figura em centmetros quadrados?

Arranjo simples: No ocorre a repetio de qualquer elemento em cada grupo de p elementos. Frmula: As(m,p) = Clculo para o exemplo: As(4,2) = Exemplo: Seja Z = {A, B, C, D}, m = 4 e p = 2. Os arranjos simples desses 4 elementos tomados 2 a 2 so 12 grupos que no podem ter a repetio de qualquer elemento mas que podem aparecer na ordem trocada. Todos os agrupamentos esto no conjunto: As = {AB, AC, AD, BA, BC, BD, CA, CB, CD, DA, DB, DC} Arranjo com repetio: Todos os elementos podem aparecer repetidos em cada grupo de p elementos. Frmula: Ar(m,p) = mp. Clculo para o exemplo: Ar(4,2) = 42=16. Exemplo: Seja C = {A, B, C, D}, m = 4 e p = 2. Os arranjos com repetio desses 4 elementos tomados 2 a 2 so 16 grupos que onde aparecem elementos repetidos em cada grupo. Todos os agrupamentos esto no conjunto: Ar = {AA, AB, AC, AD, BA, BB, BC, BD, CA, CB, CC, CD, DA, DB, DC, DD}

(A)12 (B)14 (C)17 (D)41


35

Didatismo e Conhecimento

LGICA
Arranjo condicional: Todos os elementos aparecem em cada grupo de p elementos, mas existe uma condio que deve ser satisfeita acerca de alguns elementos. Frmula: N=A(m1,p1).A(m-m1,p-p1) Clculo para o exemplo: N=A(3,2).A(7-3,4-2)=A(3,2).A(4,2)=612=72. Exemplo: Quantos arranjos com 4 elementos do conjunto {A,B,C,D,E,F,G}, comeam com duas letras escolhidas no subconjunto {A,B,C}? Aqui temos um total de m = 7 letras, a taxa p = 4, o subconjunto escolhido tem m1 = 3 elementos e a taxa que este subconjunto ser formado p1 = 2. Com as letras A, B e C, tomadas 2 a 2, temos 6 grupos que esto no conjunto: PABC = {AB, BA, AC, CA, BC, CB} Com as letras D, E, F e G tomadas 2 a 2, temos 12 grupos que esto no conjunto: PDEFG = {DE, DF, DG, ED, EF, EG, FD, FE, FG, GD, GE, GF} Usando a regra do produto, teremos 72 possibilidades obtidas pela juno de um elemento do conjunto PABC com um elemento do conjunto PDEFG. Um tpico arranjo para esta situao CAFG. Permutaes Quando formamos agrupamentos com m elementos, de forma que os m elementos sejam distintos entre si pela ordem. As permutaes podem ser simples, com repetio ou circulares. Permutao simples: So agrupamentos com todos os m elementos distintos. Frmula: Ps(m) = m!. Clculo para o exemplo: Ps(3) = 3! = 6. Exemplo: Seja C = {A, B, C} e m = 3. As permutaes simples desses 3 elementos so 6 agrupamentos que no podem ter a repetio de qualquer elemento em cada grupo mas podem aparecer na ordem trocada. Todos os agrupamentos esto no conjunto: Ps = {ABC, ACB, BAC, BCA, CAB, CBA} Permutao com repetio: Dentre os m elementos do conjunto C = {x1, x2, x3,..., xn}, faremos a suposio que existem m1 iguais a x1, m2 iguais a x2, m3 iguais a x3, ... , mn iguais a xn, de modo que m1 + m2 + m3 +... + mn = m. Frmula: Se m = m1 + m2 + m3 +... + mn, ento Pr(m) = C(m,m1).C(m-m1,m2).C(m-m1-m2,m3) ... C(mn,mn) Anagrama: Um anagrama uma (outra) palavra construda com as mesmas letras da palavra original trocadas de posio. Clculo para o exemplo: m1 = 4, m2 = 2, m3 = 1, m4 = 1 e m = 6, logo: Pr(6) = C(6,4).C(6-4,2).C(6-4-1,1) = C(6,4).C(2,2).C(1,1) = 15. Exemplo: Quantos anagramas podemos formar com as 6 letras da palavra ARARAT. A letra A ocorre 3 vezes, a letra R ocorre 2 vezes e a letra T ocorre 1 vez. As permutaes com repetio desses 3 elementos do conjunto C = {A, R, T} em agrupamentos de 6 elementos so 15 grupos que contm a repetio de todos os elementos de C aparecendo tambm na ordem trocada. Todos os agrupamentos esto no conjunto: Pr= {AAARRT, AAATRR, AAARTR, AARRTA, AARTTA, AATRRA, AARRTA, ARAART, ARARAT, ARARTA, ARAATR, ARAART, ARAATR, ATAARA, ATARAR} Permutao circular: Situao que ocorre quando temos grupos com m elementos distintos formando uma circunferncia de crculo. Frmula: Pc(m) = (m-1)! Clculo para o exemplo: P(4) = 3! = 6 Exemplo: Seja um conjunto com 4 pessoas K = {A, B, C, D}. De quantos modos distintos estas pessoas podero sentar-se junto a uma mesa circular (pode ser retangular) para realizar o jantar sem que haja repetio das posies? Se considerssemos todas as permutaes simples possveis com estas 4 pessoas, teramos 24 grupos, apresentados no conjunto: Pc= {ABCD, ABDC, ACBD, ACDB, ADBC, ADCB, BACD, BADC, BCAD, BCDA, BDAC, BDCA, CABD, CADB, CBAD, CBDA, CDAB, CDBA, DABC, DACB, DBAC, DBCA, DCAB, DCBA} Acontece que junto a uma mesa circular temos que: ABCD=BCDA=CDAB=DABC ABDC=BDCA=DCAB=CABD ACBD=CBDA=BDAC=DACB ACDB=CDBA=DBAC=BACD ADBC=DBCA=BCAD=CADB ADCB=DCBA=CBAD=BADC Existem somente 6 grupos distintos, dados por: Pc= {ABCD, ABDC, ACBD, ACDB, ADBC, ADCB} Combinaes Quando formamos agrupamentos com p elementos, (p < m) de forma que os p elementos sejam distintos entre si apenas pela espcie. Combinao simples: No ocorre a repetio de qualquer elemento em cada grupo de p elementos. Frmula: C(m,p) = Clculo para o exemplo: C(4,2) = Exemplo: Seja C = {A, B, C, D}, m = 4 e p = 2. As combinaes simples desses 4 elementos tomados 2 a 2 so 6 grupos que no podem ter a repetio de qualquer elemento nem podem aparecer na ordem trocada. Todos os agrupamentos esto no conjunto: Cs= {AB, AC, AD, BC, BD, CD} Combinao com repetio: Todos os elementos podem aparecer repetidos em cada grupo at p vezes. Frmula: Cr(m,p) = C(m + p - 1, p)

Didatismo e Conhecimento

36

LGICA
Clculo para o exemplo: Cr(4,2) = C(4 + 2 - 1, 2) = C(5,2) = Exemplo: Seja C = {A, B, C, D}, m = 4 e p = 2. As combinaes com repetio desses 4 elementos tomados 2 a 2 so 10 grupos que tm todas as repeties possveis de elementos em grupos de 2 elementos no podendo aparecer o mesmo grupo com a ordem trocada. De um modo geral neste caso, todos os agrupamentos com 2 elementos formam um conjunto com 16 elementos: Cr= {AA, AB, AC, AD, BA, BB, BC, BD, CA, CB, CC, CD, DA, DB, DC, DD} Mas para obter as combinaes com repetio, deveremos excluir deste conjunto os 6 grupos que j apareceram antes, pois AB = BA, AC = CA, AD = DA, BC = CB, BD = DB e CD = DC, assim as combinaes com repetio dos elementos de C tomados 2 a 2, so: Cr= {AA, AB, AC, AD, BB, BC, BD, CC, CD, DD} Regras gerais sobre a Anlise Combinatria Problemas de Anlise Combinatria normalmente so muito difceis, mas eles podem ser resolvidos atravs de duas regras bsicas: a regra da soma e a regra do produto. Regra da soma: A regra da soma nos diz que se um elemento pode ser escolhido de m formas e outro elemento podem ser escolhidos de n formas, ento a escolha de um ou outro elemento se realizar de m + n formas, desde que tais escolhas sejam independentes, isto , nenhuma das escolhas de um elemento pode coincidir com uma escolha do outro. Regra do Produto: A regra do produto diz que se um elemento H pode ser escolhido de m formas diferentes e se depois de cada uma dessas escolhas, outro elemento M pode ser escolhido de n formas diferentes, a escolha do par (H, M) nesta ordem poder ser realizada de m.n formas. Exemplo: Consideremos duas retas paralelas ou concorrentes sem que os pontos sob anlise estejam em ambas, sendo que a primeira r contem m pontos distintos marcados por r1, r2, r3, ..., rm e a segunda s contem n outros pontos distintos marcados por s1, s2, s3, ..., sn. De quantas maneiras podemos traar segmentos de retas com uma extremidade numa reta e a outra extremidade na outra reta? Nmero de Arranjos simples Seja C um conjunto com m elementos. De quantas maneiras diferentes poderemos escolher p elementos (p < m) deste conjunto? Cada uma dessas escolhas ser chamada um arranjo de m elementos tomados p a p. Construiremos uma sequncia com os m elementos de C. c1, c2, c3, c4, c5, ..., cm-2, cm-1, cm Cada vez que um elemento for retirado, indicaremos esta operao com a mudana da cor do elemento para a cor vermelha. Para escolher o primeiro elemento do conjunto C que possui m elementos, temos m possibilidades. Vamos supor que a escolha tenha cado sobre o m-simo elemento de C. c1, c2, c3, c4, c5, ..., cm-2, cm-1, cm Para escolher o segundo elemento, devemos observar o que sobrou no conjunto e constatamos que agora existem apenas m - 1 elementos. Suponhamos que tenha sido retirado o ltimo elemento dentre os que sobraram no conjunto C. O elemento retirado na segunda fase o (m-1)-simo. c1, c2, c3, c4, c5, ..., cm-2, cm-1, cm Aps a segunda retirada, sobraram m - 2 possibilidades para a prxima retirada. Do que sobrou, se retirarmos o terceiro elemento como sendo o de ordem (m-2), teremos algo que pode ser visualizado como: c1, c2, c3, c4, c5, ..., cm-2, cm-1, cm Se continuarmos o processo de retirada, cada vez teremos 1 elemento a menos do que na fase anterior. Para retirar o p-simo elemento restar m p + 1 possibilidades de escolha. Para saber o nmero total de arranjos possveis de m elementos tomados p a p, basta multiplicar os nmeros que aparecem na segunda coluna da tabela abaixo:
Retirada 1 2 3 ... p N.de arranjos Nmero de possibilidades m m-1 m-2 ... m-p+1 m(m-1)(m-2)...(m-p+1)

fcil ver isto ligando r1 a todos os pontos de s e assim teremos n segmentos, depois ligando r2 a todos os pontos de s e assim teremos n segmentos, e continuamos at o ltimo ponto para obter tambm n segmentos. Como existem m pontos em r e n pontos em s, teremos m.n segmentos possveis.

Denotaremos o nmero de arranjos de m elementos tomados p a p, por A(m,p) e a expresso para seu clculo ser dada por: A(m,p) = m(m 1)(m 2)...(m p + 1) Exemplo: Consideremos as 5 vogais de nosso alfabeto. Quais e quantas so as possibilidades de dispor estas 5 vogais em grupos de 2 elementos diferentes? O conjunto soluo : {AE, AI, AO, AU, EA, EI, EO, EU, IA, IE, IO, IU, OA, OE, OI, OU, UA, UE, UI, UO} A soluo numrica A(5,2) = 5 x 4 = 20. Exemplo: Consideremos as 5 vogais de nosso alfabeto. Quais e quantas so as possibilidades de dispor estas 5 vogais em grupos de 2 elementos (no necessariamente diferentes)? Sugesto: Construir uma reta com as 5 vogais e outra reta paralela anterior com as 5 vogais, usar a regra do produto para concluir que h 5 x 5 = 25 possibilidades. O conjunto soluo :

Didatismo e Conhecimento

37

LGICA
Exemplo: Quantas placas de carros podem existir no atual sistema brasileiro de trnsito que permite 3 letras iniciais e 4 algarismos no final? XYZ-1234 Sugesto: Considere que existem 26 letras em nosso alfabeto que podem ser dispostas 3 a 3 e 10 algarismos que podem ser dispostos 4 a 4 e em seguida utilize a regra do produto. Nmero de Permutaes simples Este um caso particular de arranjo em que p = m. Para obter o nmero de permutaes com m elementos distintos de um conjunto C, basta escolher os m elementos em uma determinada ordem. A tabela de arranjos com todas as linhas at a ordem p = m, permitir obter o nmero de permutaes de m elementos:
Retirada Nmero de possibilidades 1 m 2 m-1 ... ... p m-p+1 ... ... m-2 3 m-1 2 m 1 N.de m(m-1)(m-2)... permutaes (m-p+1)...4.3.2.1

P = {AMOR, AMRO, AROM, ARMO, AORM, AOMR, MARO, MAOR, MROA, MRAO, MORA, MOAR, OAMR, OARM, ORMA, ORAM, OMAR, OMRA, RAMO, RAOM, RMOA, RMAO, ROAM, ROMA} Nmero de Combinaes simples Seja C um conjunto com m elementos distintos. No estudo de arranjos, j vimos antes que possvel escolher p elementos de A, mas quando realizamos tais escolhas pode acontecer que duas colees com p elementos tenham os mesmos elementos em ordens trocadas. Uma situao tpica a escolha de um casal (H, M). Quando se fala casal, no tem importncia a ordem da posio (H, M) ou (M, H), assim no h a necessidade de escolher duas vezes as mesmas pessoas para formar o referido casal. Para evitar a repetio de elementos em grupos com a mesma quantidade p de elementos, introduziremos o conceito de combinao. Diremos que uma coleo de p elementos de um conjunto C com m elementos uma combinao de m elementos tomados p a p, se as colees com p elementos no tem os mesmos elementos que j apareceram em outras colees com o mesmo nmero p de elementos. Aqui temos outra situao particular de arranjo, mas no pode acontecer a repetio do mesmo grupo de elementos em uma ordem diferente. Isto significa que dentre todos os A(m,p) arranjos com p elementos, existem p! desses arranjos com os mesmos elementos, assim, para obter a combinao de m elementos tomados p a p, deveremos dividir o nmero A(m,p) por m! para obter apenas o nmero de arranjos que contem conjuntos distintos, ou seja: C(m,p) = Como A(m,p) = m.(m-1).(m-2)...(m-p+1) ento: C(m,p) = ser reescrito: C(m,p) = Multiplicando o numerador e o denominador desta frao por (m-p)(m-p-1)(m-p-2)...3.2.1 que o mesmo que multiplicar por (m-p)!, o numerador da frao ficar: (m-p)(m-p-1)(m-p-2)...3.2.1 e o denominador ficar: p! (m-p)! Assim, a expresso simplificada para a combinao de m elementos tomados p a p, ser uma das seguintes: que pode

Denotaremos o nmero de permutaes de m elementos, por P(m) e a expresso para seu clculo ser dada por: P(m) = m(m-1)(m-2) ... (m-p+1) ... 3 . 2 . 1 Em funo da forma como construmos o processo, podemos escrever: A(m,m) = P(m) Como o uso de permutaes muito intenso em Matemtica e nas cincias em geral, costuma-se simplificar a permutao de m elementos e escrever simplesmente: P(m) = m! Este smbolo de exclamao posto junto ao nmero m lido como: fatorial de m, onde m um nmero natural. Embora zero no seja um nmero natural no sentido que tenha tido origem nas coisas da natureza, procura-se dar sentido para a definio de fatorial de m de uma forma mais ampla, incluindo m = 0 e para isto podemos escrever: 0! = 1 Em contextos mais avanados, existe a funo gama que generaliza o conceito de fatorial de um nmero real, excluindo os inteiros negativos e com estas informaes pode-se demonstrar que 0! = 1. O fatorial de um nmero inteiro no negativo pode ser definido de uma forma recursiva atravs da funo P = P(m) ou com o uso do sinal de exclamao: (m+1)! = (m+1).m!, 0! = 1 Exemplo: De quantos modos podemos colocar juntos 3 livros A, B e C diferentes em uma estante? O nmero de arranjos P(3) = 6 e o conjunto soluo : P = {ABC, ACB, BAC, BCA, CAB, CBA} Exemplo: Quantos anagramas so possveis com as letras da palavra AMOR? O nmero de arranjos P(4) = 24 e o conjunto soluo :
38

Nmero de arranjos com repetio Seja C um conjunto com m elementos distintos e considere p elementos escolhidos neste conjunto em uma ordem determinada. Cada uma de tais escolhas denominada um arranjo com repetio de m elementos tomados p a p. Acontece que existem m possibilidades para a colocao de cada elemento, logo, o nmero total de arranjos com repetio de m elementos escolhidos p a p dado por mp. Indicamos isto por: Arep(m,p) = mp

Didatismo e Conhecimento

LGICA
Nmero de permutaes com repetio Consideremos 3 bolas vermelhas, 2 bolas azuis e 5 bolas amarelas. Coloque estas bolas em uma ordem determinada. Iremos obter o nmero de permutaes com repetio dessas bolas. Tomemos 10 compartimentos numerados onde sero colocadas as bolas. Primeiro coloque as 3 bolas vermelhas em 3 compartimentos, o que d C(10, 3) possibilidades. Agora coloque as 2 bolas azuis nos compartimentos restantes para obter C(10 3, 2) possibilidades e finalmente coloque as 5 bolas amarelas. As possibilidades so C(10 3 2, 5). O nmero total de possibilidades pode ser calculado como: Exerccios 1. Quantos so os nmeros de 4 algarismos que podemos formar com os algarismos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9? 2. Quantos so os nmeros de 4 algarismos DISTINTOS que podemos formar com os algarismos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9? 3. Calcule 12!. 10! 4. Calcular o nmero de arranjos simples de 10 elementos tomados 4 a 4. Tal metodologia pode ser generalizada. Nmero de combinaes com repetio Considere m elementos distintos e ordenados. Escolha p elementos um aps o outro e ordene estes elementos na mesma ordem que os elementos dados. O resultado chamado uma combinao com repetio de m elementos tomados p a p. Denotamos o nmero destas combinaes por Crep(m,p). Aqui a taxa p poder ser maior do que o nmero m de elementos. Seja o conjunto A = (a, b, c, d, e) e p = 6. As colees (a, a, b, d, d, d), (b, b, b, c, d, e) e (c, c, c, c, c, c) so exemplos de combinaes com repetio de 5 elementos escolhidos 6 a 6. Podemos representar tais combinaes por meio de smbolos # e vazios onde cada ponto # repetido (e colocado junto) tantas vezes quantas vezes aparece uma escolha do mesmo tipo, enquanto o vazio serve para separar os objetos em funo das suas diferenas (a, a, b, d, d, d) equivale a ###### (b, b, b, c, d, e) equivale a ###### (c, c, c, c, c, c) equivale a ###### Cada smbolo possui 10 lugares com exatamente 6# e 4. Para cada combinao existe uma correspondncia biunvoca com um smbolo e reciprocamente. Podemos construir um smbolo pondo exatamente 6 pontos em 10 lugares. Aps isto, os espaos vazios so preenchidos com barras. Isto pode ser feito de C(10, 6) modos. Assim: Crep(5,6) = C(5 + 6 1,6) Generalizando isto, podemos mostrar que: Crep(m,p) = C(m + p 1,p) Propriedades das combinaes O segundo nmero, indicado logo acima por p conhecido como a taxa que define a quantidade de elementos de cada escolha. Taxas complementares C(m,p) = C(m, m p) Exemplo: C(12,10) = C(12,2) = 66. Relao do tringulo de Pascal C(m,p) = C(m 1,p) + C(m 1,p 1) Exemplo: C(12,10) = C(11,10) + C(11,9) = 605 Didatismo e Conhecimento
39

5. Quantos nmeros de trs algarismos distintos podem formar com os elementos do conjunto {1, 2, 3, 4, 5, 6}? 6. Quantos nmeros naturais de 4 algarismos distintos podemos escrever, usando os algarismos 1, 3, 5 e 7? Qual a posio ocupada pelo nmero 7 153? 7. Quantos times de futebol de salo podem formar com 10 jogadores capazes de jogar em qualquer posio? 8. Calcule 9. Na direo de uma empresa existem 5 brasileiros e 4 alemes. Quantas comisses de 3 pessoas podemos formar, tendo cada uma delas: a) 2 brasileiros e 1 alemo? b) Pelo menos 1 alemo? 10. Quantos nmeros pares podem obter permutando os algarismos do nmero 83 137 683? Respostas 1) Resposta 9000. Soluo: Os Algarismos so escritos em 4 posies:

O Algarismo das unidades de milhar no pode ser 0; logo, essa posio s pode ser preenchida com um dos 9 algarismos restantes, isto , temos 9 possibilidades para a posio. Com relao posio das centenas, das dezenas e das unidades, qualquer dos 10 algarismos pode ocup-la, pois pode haver repetio. Logo, temos 10 possibilidades para a posio das centenas, 10 para as dezenas e 10 para as unidades. Substituindo teremos:

10

10

10

Aplicando a regra do produto: 9 . 10 . 10 . 10 = 9000. Portanto, temos 9000 possibilidades.

LGICA
2) Resposta 4536. Soluo: O Algarismo das unidades de milhar no pode ser 0; portanto, temos 9 possibilidades para a posio. Para a posio das centenas, pode ser o 0 ou qualquer dos 8 restantes, (no pode haver repeties), portanto, temos 9 possibilidades para essa posio. Para a posio das dezenas temos 8 possibilidades e para a posio das unidades temos 7 possibilidades. Esquematizando, teremos: 9 9 8 7 Aplicando ento a regra do produto, teremos: 9 . 9 . 8 . 7 = 4536. Logo, teremos 4536 possibilidades. 3) Resposta 132. Soluo: Substituindo 12! Por 10! . 11 . 12, temos: 7) Resposta 252 times. Soluo: Cada time deve ter 5 jogadores e, mudando a ordem destes, o time continua o mesmo. Logo, devemos calcular o nmero de combinaes: C10,5 = Portanto, podemos formar 252 times. 8) Resposta 16. Soluo: =

4) Resposta 5040. Soluo: A10,4 5) Resposta 120. Soluo: Como 123 132, por exemplo, devemos calcular os arranjos de 6 elementos 3 a 3 . A6,3 = 6 . 5. 4 = 120. 6) Resposta 20 posio. Soluo: Como queremos o total de nmeros de 4 algarismos e temos exatamente 4 algarismos para form-los, basta permut-los e teremos o nmero procurado. Portanto, a soluo : P4 = 4! = 24. Para saber a posio ocupada por 7 153, basta colocar os nmeros em ordem crescente:
1

9) a - Resposta 40. Soluo: Podemos ter C5,2 grupos distintos de 2 brasileiros e C4,1 grupos distintos de 1 alemo. Portanto, o numero de comisses com 2 brasileiros e 1 alemo : C5,2 . C4,1 = 40. b - Resposta 74. Soluo: As possibilidades so: 1 alemo e 2 brasileiros, ou 2 alemes e 1 brasileiros, ou 3 alemes e nenhum brasileiro. Logo, o nmero de comisses : C4,1 . C5,2 + C4,2 . C5,1 + C4,3 = 40 + 30 + 4 = 74. 10) Resposta 1 260. Soluo: S devemos considerar os nmeros que terminem em 8 ou 6. Os terminados em 6 so da forma:
6

As demais posies devero ser preenchidas pelos algarismos restantes: 8, 3, 1, 7, 8 e 3. O total das permutaes possveis :

Os terminados em 8 so da forma:
8

Temos P3 = 3! = 6 nmeros que comeam com 1.


3

As demais posies devero ser preenchidas pelos algarismos restantes: 8, 3, 1, 7, 6 e 3. O total das permutaes possveis :

Temos P3 = 3! = 6 nmeros que comeam com 3.


5

260.

Logo, a quantidade total de nmeros pares 420 + 840 = 1 Probabilidade

Temos P3 = 3! = 6 nmeros que comeam com 5.


7 1 5 3

o segundo nmero da sequncia que comea com 71. Como 3 . P3 + 2 = 20, o nmero 7 153 ocupa a 20 posio.
40

Os clculos hebreus sobre a posio dos astros, realizados Ben Ezra no sculo XII com a finalidade de fazer previses astrolgicas podem ser considerados como os primeiros passos rumo teoria das probabilidades. O Livros dos jogos de azar, de Girolamo Cardano (1501-1576) publicado em torno de 1550 o primeiro manual organizado que traz algumas noes de probabilidade. Nesse livro, Cardano, que era um jogador, alm de matemtico, astrlogo e mdico desenvolve clculos de expectativas acerca de jogos dados e tambm d conselhos sobre como trapacear no jogo.

Didatismo e Conhecimento

LGICA
No entanto o estudo sistemtico das probabilidades comeou realmente em 1654 quando um jogador francs, o Chevalier de Mr escreveu a Blaise Pascal (1623-1662) fazendo vrias perguntas sobre o jogo de dados ou de azar. Uma das perguntas era: Dois jogadores igualmente hbeis querem interromper sua partida. Sabendo-se que o montante das apostas e situao do jogo (quantas partidas cada um ganhou), como dever ser repartido o dinheiro? Pascal extremamente religioso no era jogador escreveu a outro matemtico francs Pierre Fermat (1601-1665) sobre as perguntas feitas por Chevalier de Mr. A partir dessa correspondncia, Pascal e Fermat aprofundaram estudos conjuntos sobre probabilidade e apesar de no terem publicado seus estudos chegaram a definir conceitos como expectativa, chance e mdia, alm de estabelecer tcnicas de contagem e estatsticas de incidncia de casos num dado fenmeno. Tambm no sculo XVII, mas precisamente em 1657, o holands Christian Hiygens (1629 1695) publicou seu livro O raciocnio nos jogos de dados, onde apresentou importantes contribuies ao estudo das probabilidades. O suo Jacques Bernouilli (1654 1705) na mesma poca deu uma grande contribuio aos estudos das probabilidades ao propor um teorema onde afirmava que a probabilidade de um evento ocorrer tente a um valor constante quando o nmero de ensaios desse evento tende ao infinito. Depois de Bernouilli, Abraham De Moivre (1667 1751) publicou o livro A doutrina do azar onde tambm faz anlise dos jogos que contriburam para o estudo das probabilidades. Foi em 1812 que Pierre Laplace (1749 1827) deu forma a uma estrutura de raciocnio e a um conjunto de definies no seu livro Teoria analtica da probabilidade. A teoria moderna das probabilidades hoje constitui a base de um dos ramos de maior aplicao nas cincias, a Estatstica. Experimentos Aleatrios Os experimentos cujos resultados podem ser previsto, isto , podem ser determinados antes mesmo de sua realizao, so chamados experimentos determinsticos. Por exemplo, possvel prever a temperatura em que a gua entrar em ebulio desde que conhecidas as condies em que o experimento se realiza. Alguns experimentos, contudo, no so assim previsveis. Por mais que sejam mantidas as mesmas condies, no podemos prever qual ser o resultado ao lanarmos uma moeda. Esses so chamados experimentos aleatrios (em latim alea = sorte). Experimentos aleatrios: So aqueles, que repetidos em condies idnticas, no produzem sem o mesmo resultado. A teoria das probabilidades estuda a forma de estabelecermos as possibilidades de ocorrncia num experimento aleatrio. Espao Amostral e Eventos Vamos estudar experimentos aleatrios com resultados equiprovveis (mesma chance de ocorrncia) e em nmero determinado, isto , finito. Desta forma definimos: Espao amostral: o conjunto de todos os resultados possveis de um experimento aleatrio. Indicaremos o espao amostral por U. Evento: qualquer subconjunto do espao amostral. Didatismo e Conhecimento
41

Exemplo Lanaremos trs moedas e observamos as faces que ficaram voltadas para cima. Representar: a) O espao amostral do experimento; b) O evento A: chances de sair faces iguais; c) O evento B: sair exatamente uma face cara; d) O evento C: chances de sair, pelo menos, uma face cara. Resoluo a) U = {(Ca, Ca, Ca), (Ca, Ca, Co), (Ca, Co, Ca), (Ca, Co, Co), (Co, Ca, Ca), (Co, Ca, Co), (Co, Co, Ca), (Co, Co, Co)} b) A = {(Ca, Ca, Ca), (Co, Co, Co)} c) B = {(Ca, Co, Co), (Co, Ca, Co), (Co, Co, Ca)} d) C = {(Ca, Ca, Ca), (Ca, Ca, Co), (Ca, Co, Ca), (Co, Ca, Ca), (Ca, Co, Co), (Co, Ca, Co), (Co, Co, Ca)} Observao: Os nmeros de elementos do espao amostral e dos eventos de um experimento aleatrio so calculados com a anlise combinatria. Tipos de Eventos Consideremos o experimento aleatrio: lanamento de um dado comum e observao do nmero representado na face voltada para cima. O espao amostral ser: U = {1, 2, 3, 4, 5, 6} Analisemos os diversos tipos de eventos que podemos definir neste experimento. Evento Elementar: Qualquer subconjunto unitrio de U. Exemplo Ocorrncia de um nmero mltiplo de 5. A = {5} Evento Certo: o prprio espao amostral U. Exemplo Ocorrncia de um divisor de 60. B = {1, 2, 3, 4, 5, 6} Evento Impossvel: o conjunto vazio (). Exemplo Ocorrncia de mltiplo de 8. C = { } = Evento Unio: a reunio de dois eventos. Exemplo Evento A: Ocorrncia de um nmero primo A = {2, 3, 5} Evento B: Ocorrncia de um nmero mpar B = {1, 3, 5} Evento A B: Ocorrncia de um nmero primo ou mpar A B = {1, 2, 3, 5} Evento Interseco: a interseco de dois eventos.

LGICA
Exemplo Evento A: Ocorrncia de um nmero primo A = {2, 3, 5} Evento B: Ocorrncia de um nmero mpar B = {1, 3, 5} Evento A B: Ocorrncia de um nmero primo ou mpar A B = {3, 5} Evento Mutuamente Exclusivo: Dois eventos E1 e E2 de um espao amostral U so chamados mutuamente exclusivos quando E1 E2 = Exemplo Evento A: Ocorrncia de um nmero par A = {2, 4, 6} Evento B: Ocorrncia de um nmero mpar B = {1, 3, 5} A e B so eventos mutuamente exclusivos, pois A B = Evento Complementar: o evento = U E. Exemplo Evento A: Ocorrncia de um nmero primo A = {2, 3, 5} Evento : Ocorrncia de um numero no primo = U A = {1, 4,6} Observao: No caso do exemplo, podemos dizer que o evento a no-ocorrncia de um nmero primo. Probabilidade Estatstica e Probabilidade Terica Imaginamos a seguinte situao: em uma turma do segundo colegial, existem 25 garotas e 10 garotos e um brinde foi sorteado para um dos membros da turma. Temos que adivinhar o sexo do contemplado. Intuitivamente, sabemos que mais fcil ter sido sorteada uma garota que um garoto, no entanto no podemos afirmar com certeza o sexo do contemplado. A chance de uma garota ter sido sorteada pode ser traduzida por um numero que chamamos probabilidade. Uma observao que pode ser feita que a teoria das probabilidades uma maneira matemtica de lidar com a incerteza. O clculo da probabilidade de um evento acontecer, muitas vezes, feito experimentalmente, e essa probabilidade chamada de experimental ou estatstica. Exemplo A probabilidade de uma pessoa morrer aos 25 anos obtida atravs do levantamento e do tratamento adequado de um grande nmero de casos. No entanto, para calcularmos a probabilidade de ao jogarmos dois dados obtermos, nas faces voltadas para cima, dois nmeros iguais, no precisamos realizar o experimento, ela pode ser conseguida a partir de uma analise terica do espao amostral e do evento, e neste caso chamamos de probabilidade terica.
42

No 2 grau, no desenvolvemos estudos da probabilidade estatstica, que ser estudada na maioria dos cursos de 3 grau. Probabilidade Terica de um Evento Se num fenmeno aleatrio, o nmero de elementos do espao amostral n(U) e o nmero de elementos do evento A n(A), ento a probabilidade de ocorrer o evento A o nmero P(A) tal que:

P(A) =

n(A) n(U)

A :

Outra forma de definir a probabilidade de ocorrer o evento

P(A) =
Exemplos

Nmero de casos favorveis a A Nmero de casos possveis

- Retirando-se uma carta de um baralho normal de 52 cartas, qual a probabilidade de que a carta retirada seja um rei?

Resoluo

P(E) =

Nmero de resultados favorveis Nmero de resultados possveis P(E) = 4 52 = 1 13

- Em um lanamento de dois dados, um preto e outro branco, qual a probabilidade de que os dois nmeros obtidos sejam iguais?

Resoluo U = {(1,1), (1,2), (1,3), ..., (6,4), (6,5), (6,6)} n(U) = 6 . 6 = 36 U = {(1,1), (2,2), (3,3), (4,4), (5,5), (6,6)} n(E) = 6

Didatismo e Conhecimento

LGICA
Assim, P(E) = n(E) n(U) = 6 36 = 1 6
Resoluo Sendo A o evento: ocorrer um nmero com pelo menos dois algarismos iguais. mais fcil calcular P(), a probabilidade do evento complementar de A. Assim, U

- Dentre as seis permutaes dos nmeros 1, 2, e 3, uma escolhida ao acaso. Considerando o nmero de trs algarismos assim escolhido, determine a probabilidade de ele: a) Ser par; b) Ser mltiplo de trs; c) Ser mltiplo de cinco. Resoluo O espao amostral : U = {123, 132, 213, 231, 312, 321} Propriedade das Probabilidades P1) A probabilidade do evento impossvel 0. (P()= 0)

Nmeros com pelo menos dois algarismos repetidos

Nmeros com algarismos distintos

P()=

n() n(U)

0 n(U)

P2) A probabilidade do evento certo 1. (P(U )= 1)

P(U) =

P3) Sendo A um evento de um espao amostral U, a probabilidade de A um nmero racional entre 0 e 1, inclusive. (0 P(A) 1).

n(U) n(U)

1
Propriedade do Evento Unio Dados dois eventos A e B de um espao amostral U, dizemos que ocorrer o evento A (evento unio) ocorrer pelo menos um dos eventos A ou B.

0 n(A) 0 n(U) => Como P(A) =


0 P(A) 1

0 n(U)

n(A) n(U) temos:

n(U) n(U)

n(A) n(U)

P4) Sendo A um evento e seu complementar, ento P(A) + P() = 1.

A
n(U) = n(A) + n()

n(A

B) = n(A) + n(B) n(A

B)

n(U) n(U)

n(A) n(U)

n() n(U)

Assim:

Assim, P(A) + P() = 1 Observao: comum expressarmos a probabilidade de um evento na forma de porcentagem. Assim, se P(A) = 0,82, por exemplo, podemos dizer que P(A) = 82%. Exemplo Os 900 nmeros de trs algarismos esto colocados em 900 envelopes iguais. Um dos envelopes sorteado. Qual a probabilidade de ele conter um nmero que tenha, pelo menos, dois algarismos iguais? Didatismo e Conhecimento
43

n(A B) n(U)
Ou seja: P (A

n(A) n(U)

n(B) n(U)

n(A B) n(U)

B) = P(A) + P(B) P(A B)

Podemos enunciar essa concluso assim: A probabilidade de ocorrer o evento A ou o evento B dada pela soma da probabilidade de ocorrer A com a probabilidade de ocorrer B, menos a probabilidade de ocorrer os dois eventos (A e B).

LGICA
Caso particular: se os eventos A e B so mutuamente exclusivos, isto , A B = , P(A B) = 0 a formula acima se reduz a: P(A B) = PA + PB Exemplo De um baralho comum de 52 cartas, uma carta retirada aleatoriamente. Qual a probabilidade de sair um valete ou uma carta de paus. Resoluo Sendo: Evento A: a carta e um valete Exemplo Consideramos um experimento com espao amostral U = {a, b, c} sendo p(a), p(b), p(c) as possibilidades dos resultados a, b e c de modo que

p(a) =
calcule : a) p(c)

1 3

ep(b) =

1 2

b) a probabilidade do evento A ={a,c}| Resoluo a) p(a) + p(b) + p(c) = 1

P(A) =

4 52 13 52

Evento B: a carta de paus

1 3 p(c) = 1 1 3 1 3 1 2

+ -

1 2 1 2 1 6

+p(c) = 1 = 62 3 6 2+1 6 = 1 6

P(B) =

Evento A B: a carta um valete de paus

b) P(A) = p(a) + p(c)

P(A B) =
Evento A P( A

1 52

P(A) = Assim,P(A) = 4 13

3 6

B: a carta um valete ou de paus

B) = P(A) +P(B) P(A B)

P(A

B) =

4 52

13 52

1 52

16 52

Probabilidade Condicional Consideremos num experimento aleatrio de espao amostral U os eventos A e B, com A B , conforme o diagrama abaixo:

Probabilidades num Espao Amostral no Equiprovvel No espao amostral equiprovvel todos os resultados possveis tm a mesma chance de ocorrncia e por isso que nos problemas com dados e moedas estudados anteriormente sempre tomamos o cuidado de especificar que os dados e moedas eram honestos ou no viciados. Como estudar as probabilidades com dados ou moedas viciados? A frmula que usamos at agora

P(E) =

Nmero de resultados favorveis de E Nmero de resultados possveis

No vlida, pois no importa apenas a quantidade de resultados favorveis j que esses resultados no tm necessariamente a mesma chance de ocorrncia. Consideramos um experimento, com espao amostral U = {a1, a2..., a n}. Chamando de p(a1), p(a2),..., p(an) as probabilidades de ocorrncia dos resultados a1, a2,..., na, respectivamente temos que: - p(a1) + p(a2) +...+ p (an) =1 - 0 p(a1) 1, para i = 1, 2, ..., n Desta forma para calcularmos a probabilidade do evento A = {a1, a2,..., am}(mn), fazemos: P(A) = p(a1) + p(a2) +...+ p(am) Didatismo e Conhecimento
44

Na medida em que conhecemos a informao de que ocorreu o evento B, este passa a ser o espao amostral do experimento, pois todos os resultados agora possveis pertencem a A. assim, a probabilidade de ocorrer o evento A, dado que o evento B j ocorreu, ser:

P(A/B) =

n(A B) n(B)

Exemplo Numa turma de 50 alunos do colgio, 15 so homens e 35 so mulheres. Sabe-se que 10 homens e 15 mulheres foram aprovados num exame de seleo. Uma pessoa sorteada ao acaso. Qual a probabilidade de: a) Ela ser do sexo feminino se foi aprovada no exame? b) Ela ter sido aprovada no exame se do sexo masculino?

LGICA
Resoluo O quando abaixo resume os dados do problema:
Foi Aprovado 10 15 25 No foi Aprovado 5 20 25 Total 15 35 50

Exemplo Consideremos uma urna contendo 5 bolas numeradas de 1 a 5. qual a probabilidade de retirarmos a bola 1 e, sem sua reposio, a bola 2? Resoluo A probabilidade de sair a bola 1 na primeira retirada P (A) = 1/5 Restando 4 bolas na urna, a probabilidade de ocorrer a bola na segunda, tendo ocorrido a bola 1 na primeira : P (A/B) = 1/4 Como devem ocorrer os dois eventos, temos:

Homem Mulher Total

a) Sendo: Evento A: a pessoa sorteada foi aprovada. Evento B: a pessoa sorteada mulher.

P (A B) =P (A) . P(B/A) = 3 5

1 = 5

1 4

1 20

P(B/A) =

n (A B) n (A)

15 25

b) Sendo: Evento A: a pessoa sorteada foi aprovada. Evento B: a pessoa sorteada homem.

P(A/C) =

n (A C) n (C)

10 15

2 3

Eventos Independentes Dados dois eventos A e B de um espao amostral U, dizemos que eles so independentes se a ocorrncia de um deles no modificar a probabilidade de ocorrncia do outro. A e B independentes <=> P (B/A) = P(B) e P (A/B) = PA Quando A e B so eventos independentes. P (A B) = P(A) . P(B) Ento se P (A B) P(A) . P(B), dizemos que os eventos so dependentes. Exemplos de Eventos Independentes - No lanamento simultneo de dois dados, o resultado de um deles no influi no resultado do outro. - No lanamento sucessivo de dois dados, o resultado de um deles no influi no resultado do outro. - Na extrao de duas cartas de um baralho se antes de extrair a segunda carta for feita a reposio da primeira, o resultado da primeira no influi no resultado da segunda. Exemplo de Eventos Dependentes Na extrao de duas cartas de um baralho se antes de extrair a segunda carta no for feita a reposio da segunda, o resultado da primeira influencia o resultado da segunda, pois o espao amostral passa a ter 51 elementos. Exemplo Sejam A e B dois eventos independentes tais que:

Probabilidade do Evento Interseco Dados dois eventos A e B de um espao amostral U, dizemos que ocorrer o evento A B (evento interseco) ocorrer simultaneamente os eventos A e B. Para calcular a probabilidade de ocorrer A B, vamos utilizar a frmula da probabilidade condicional.

P(A/B) =

n (A B) n (B)

Dividido por n(U), temos:

P(A/B) =

n (A B) n (U) n (B) n (U)

P (A B) P (B)
(I)

P(A) =

Assim: P(A B) = P (B) . P (A/B)


n (A B) = n (A) n (U) n (A) n (U)

Calcule P (B).

1 4

eP(A

B)=

1 3

Podemos tambm usar a frmula de P (B/A), assim:


n (A B) P(B/A) = P (A B) = P (A)

Resoluo P(A B) = P(A) + P(B) P(A B) Como A e B so independentes P (A B) = P(A) . P(B) :. P(A B) = P(A) + P(B) P(A) . P(B) ou seja:

Ento: P(A B) = P (A) . P (B/A)

(II)

A partir das frmulas (I) e (II), citadas anteriormente, conclumos: Dados dois eventos A e B de um espao amostral U, a probabilidade de eles ocorrerem simultaneamente dada pelo produto da probabilidade de um deles pela probabilidade do outro, dado que ocorreu o primeiro.

1 3

1 4

+P(B -

1 4 1 9

P (B)

4 = 3 + 12 P (B) 3 P (B)

9 P (B) = 1 => P (B) =

Didatismo e Conhecimento

45

LGICA
Exerccios 1. Uma bola ser retirada de uma sacola contendo 5 bolas verdes e 7 bolas amarelas. Qual a probabilidade desta bola ser verde? 2. Trs moedas so lanadas ao mesmo tempo. Qual a probabilidade de as trs moedas carem com a mesma face para cima? 3. Um casal pretende ter filhos. Sabe-se que a cada ms a probabilidade da mulher engravidar de 20%. Qual a probabilidade dela vir a engravidar somente no quarto ms de tentativas? 4. Um credor est sua procura. A probabilidade dele encontr-lo em casa 0,4. Se ele fizer 5 tentativas, qual a probabilidade do credor lhe encontrar uma vez em casa? Respostas Soluo: Neste exerccio o espao amostral possui12elementos, que o nmero total de bolas, portanto a probabilidade de ser retirada uma bola verdeest na razo de 5 para 12. SendoSo espao amostral eEo evento da retirada de uma bola verde, matematicamente podemos representar a resoluo assim: 1) Resposta Este exerccio trata de eventos consecutivos e independentes (pelo menos enquanto ela no engravida), ento a probabilidade de que todos eles ocorram, dado pelo produto de todas as probabilidades individuais. Como a mulher s deve engravidar no quarto ms, ento a probabilidade dos trs meses anteriores deve ser igual probabilidade dela no engravidar no ms, logo: 0,1024multiplicado por100% igual a10,24%. Ento, a probabilidade de a mulher vir a engravidar somente no quarto ms de 10,24%. 4) Resposta 0,2592. Soluo: Ou o credor vai a sua casa e o encontra, ou ele vai e no o encontra como em cada tentativa estamos tratando de umsucessoou de umfracassoe no h outra possibilidade, alm do fato de a probabilidade ser a mesma em todas as tentativas, vamos resolver o problema utilizandoo termo geral do Binmio de Newton:

= 1.

n o nmero de tentativas de encontr-lo, portanton = 5. k o nmero de tentativas nas quais ele o encontra, portantok

p a probabilidade de voc ser encontrado, logop = 0,4. q a probabilidade de voc no ser encontrado, logoq = 1 0,4, ou seja,q = 0,6. Substituindo tais valores na frmula temos:

Logo, A probabilidade desta bola ser verde 5/12. 2) Resposta 25%. Soluo: Atravs do princpio fundamental da contagem podemos determinar o nmero total de agrupamentos ao lanarmos trs moedas. Como cada moeda pode produzir dois resultados distintos, trs moedas iro produzir 2 . 2 . 2 resultados distintos, ou seja, podero produzir8resultados distintos. Este o nosso espao amostral. Dentre as 8 possibilidades do espao amostral, o evento que representa todas as moedas com a mesma face para cima possui apenas 2possibilidades, ou tudo cara ou tudo coroa, ento a probabilidade ser dada por: O nmero binomial assim resolvido:

Ento temos:

ANOTAES

Portanto, a probabilidade das trs moedas carem com a mesma face para cima igual a1/4, ou 0,25, ou ainda 25%. 3) Resposta 10,24%. Soluo: Sabemos que a probabilidade da mulher engravidar em um ms de20%, que na forma decimal igual a0,2. A probabilidade dela no conseguir engravidar igual a1 - 0,2, ou seja, igual a0,8.

Didatismo e Conhecimento

46