Академический Документы
Профессиональный Документы
Культура Документы
RACIOCNIO LGICO
Princpios do raciocnio lgico: conectivos lgicos; diagramas lgicos; lgica de argumentao; interpretao de informaes de natureza matemtica; probabilidade.
Conceito de raciocnio lgico Raciocnio Lgico Ao procurarmos a soluo de um problema quando dispomos de dados como um ponto de partida e temos um objetivo a estimularmos, mas no sabemos como chegar a esse objetivo temos um problema. Se soubssemos no haveria problema. necessrio, portanto, que comece por explorar as possibilidades, por experimentar hipteses, voltar atrs num caminho e tentar outro. preciso buscar idias que se conformem natureza do problema, rejeitar aqueles que no se ajustam a estrutura total da questo e organizar-se. Mesmo assim, impossvel ter certeza de que escolheu o melhor caminho. O pensamento tende a ir e vir quando se trata de resolver problemas difceis. Mas se depois de examinarmos os dados chegamos a uma concluso que aceitamos como certa conclumos que estivemos raciocinando. Se a concluso decorre dos dados, o raciocnio dito lgico. Nova teoria cientfica A cincia bsicamente a combinao do raciocnio lgico bom com o conhecimento prtico bom de fenmenos naturais reais. Todos os seres humanos fazem algum raciocnio lgico e tm algum conhecimento prtico de alguns fenmenos naturais reais, mas na maior parte tm que combinar cincia com sobrevivncia. Alguns povos puderam devotar muito de seu tempo ao raciocnio e/ou a ganhar o conhecimento melhor da natureza e com isso nos legaram contribuies pequenas ou grandes ao desenvolvimento da cincia. http://wwwracimate.blogspot.com.br/ Em lgica, pode-se distinguir trs tipos de raciocnio lgico: deduo, induo e abduo. Dada uma premissa, uma concluso, e uma regra segundo a qual apremissa implica a concluso, eles podem ser explicados da seguinte forma: Deduo corresponde a determinar a concluso. Utilizase da regra e sua premissa para chegar a uma concluso. Exemplo: "Quando chove, a grama fica molhada. Choveu hoje. Portanto, a grama est molhada." comum associar os matemticos com este tipo de raciocnio. Induo determinar a regra. aprender a regra a partir de diversos exemplos de como a concluso segue da premissa. Exemplo: "A grama ficou molhada todas as vezes em que choveu. Ento, se chover amanh, a grama ficar molhada." comum associar os cientistas com este estilo de raciocnio. Abduo significa determinar a premissa. Usa-se a concluso e a regra para defender que a premissa poderia
Lgica Matemtica
Imagine que voc foi convocado a participar de um jri em um processo criminal e o advogado de defesa apresenta os seguintes argumentos: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou Jos da Silva viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jos da Silva no viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores do jri, meu cliente inocente. Pergunta: O argumento do advogado esta correto? Como voc deveria votar o destino do ru? E mais fcil responder a essa pergunta reescrevendo o argumento com a notao de lgica formal, que retira todo o palavrrio que causa confuso e permite que nos concentremos na argumentao subjacente. A lgica formal fornece as bases para o mtodo de pensar organizado e cuidadoso que caracteriza qualquer atividade racional. "Lgica: Coerncia de raciocnio, de ideias. Modo de raciocinar peculiar a algum, ou a um grupo. Sequencia coerente, regular e necessria de acontecimentos, de coisas." (dicionrio Aurlio), portanto podemos dizer que a Lgica e a cincia do raciocnio. 1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA 1.1 CONSIDERAES PRELIMINARES Partindo-se do contexto histrico, a lgica enquanto cincia do raciocnio pode ser subdividida em duas grandes correntes, quais sejam: Lgica Clssica e Lgica Formal. Enquanto Lgica Clssica esta fundamentada em processos no matemticos, processos no analticos, sendo que suas verdades advm de entidades filosficas. Pode-se dizer que a Lgica Clssica tem um carter intuitivo. Enquanto Lgica Formal, a qual encerra dentre outras tendncias a Lgica Matemtica, esta baseada em mtodos e tcnicas matemticas. A Lgica matemtica, ou a Lgica Simblica ou Lgica Algortmica caracterizada pela axiomatizao, pelo simbolismo e pelo formalismo. Tem seu desenvolvimento na instncia dos smbolos e passam a analisar o raciocnio segundo operaes e ralaes de clculo especfico. 1.2 CLCULO PROPOSICIONAL E CLCULO DOS PREDICADOS: A Lgica Matemtica fundamentada pelo clculo proposicional (ou clculo dos enunciados, ou clculo sentencial) e pelo clculo dos predicados. No clculo sentencial tm-se as entidades mnimas de anlise (proposies ou enunciados) como elementos geradores. No clculo dos predicados os elementos de anlise correspondem s chamadas funes proposicionais. No primeiro caso no se analisa a relao ntima entre o nome e o predicado da estrutura em anlise. Sendo oposto no segundo caso. Os smbolos tm significado e usos especficos no clculo proposicional. 1.2.1 PROPOSIO, DECLARAO
Raciocnio Lgico
APOSTILAS OPO
todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo para a qual se associa apenas um dos dois atributos verdadeiro ou falso. So exemplos de proposies: Quatro e maior que cinco. Ana e inteligente. So Paulo e uma cidade da regio sudeste. Existe vida humana em Marte. A lua um satlite da Terra Recife capital de Pernambuco Exemplos de no proposies: Como vai voc? Como isso pode acontecer! 1.3 PRINCPIOS FUNDAMENTAIS: A Lgica Matemtica constitui um sistema cientfico regido por trs leis principais, consideradas princpios fundamentais: Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo: toda preposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. Neste sistema de raciocnio tem-se estabelecido to somente dois estados de verdade, isto , a verdade e a no verdade. Portanto a Lgica Matemtica um sistema bivalente ou dicotmico, onde os dois estados de verdade servem para caracterizar todas as situaes possveis sendo mutuamente excludentes (isto , a ocorrncia da primeira exclui a existncia da segunda). Portanto de uma forma geral pode-se dizer que qualquer entidade (proposio ou enunciado) em Lgica Matemtica apresenta apenas dois estados de verdade ou ser correspondente a verdade ou correspondente a falsidade no admitindo quaisquer outras hipteses e nem to pouco a ocorrncia dos dois estados de verdade simultaneamente. 2. PROPOSIES OU ENUNCIADOS - FUNDAMENTAO DO CLCULO PROPOSICIONAL 2.1 CONSIDERAES SOBRE O SISTEMA DICOTMICO OU BIVALENTE: A Lgica Matemtica constitui em termos gerais um sistema cientfico de raciocnio, que se baseia em estados bivalentes, ou seja, um sistema dicotmico onde a quaisquer de suas entidades pode-se predicar a verdade ou a falsidade, sendo estados mutuamente excludentes. Desta forma a partir de seus axiomas fundamentais e do sistema bivalente estabelecido desenvolver-se- um mtodo analtico de raciocnio que objetiva analisar a validade do processo informal a partir das denominadas primeiras verdades, primcias. 2.2 DEFINIO E NOTAO DE PROPOSIES NO CLCULO PROPOSICIONAL: Na linguagem falada ou escrita quatro so os tipos fundamentais de sentenas; quais sejam as imperativas, as exclamativas, interrogativas e as declarativas (afirmativas ou negativas); tendo em vista que em lgica matemtica tem-se apenas dois estados de verdade, esta tem por objeto de anlise as denominadas sentenas declarativas, afirmativas, de sentido completo e no elpticas (no ambguas). Desta forma toda sentena declarativa, afirmativa de sentido completo que expresso um determinado pensamento so denominado predicados ou enunciados, as quais de
Raciocnio Lgico
APOSTILAS OPO
q: A dialtica fundamenta o pensamento ambguo. P (p, q): A lgica condiciona a Matemtica, mas a dialtica fundamenta o pensamento ambguo. Q (p, q): A lgica condiciona a Matemtica e/ou a dialtica fundamenta o pensamento ambguo. Sejam ainda proposies compostas: S (P, Q): Se a lgica condiciona a Matemtica mas a dialtica fundamente o pensamento ambguo, ento a Lgica condiciona a matemtica e/ou a dialtica fundamente o pensamento ambguo. De forma simblica tem-se que; P (p, q): p mas q Q (p, q): p e/ou q S (P, Q):Se p mas q, ento p e/ou q Observe que: S (P, Q) anloga a S (p, q). 2.5 VERDADE E VALIDADE: (Valor lgico ou valor verdade das proposies) Partindo-se do fato de que a lgica matemtica um sistema cientfico de raciocnios, bivalentes e dicotmicos, em que existem apenas dois estados de verdade capazes de gerar todos os resultados possveis, a verdade corresponde a afirmaes do fato enquanto tal, sendo a falsidade a contradio ou a negao do fato enquanto tal. Assim a verdade ou a falsidade, corresponde respectivamente ao verdadeiro ou falso, segundo o referencial terico que institui as determinadas entidades proposies ou enunciados, de um dado universo relacional. Em resumo, a verdade a afirmao do fato e a falsidade a negao do fato estabelecido. Dada uma proposio simples qualquer, designar, por exemplo, pela letra proposicional p, tem-se pelos princpios fundamentais que tal proposio ser a verdade (V) ou a falsidade (F) no se admitindo outra hiptese, e, nem to pouco a ocorrncia dos dois estados simultaneamente, portanto, para denotar tais situaes, adotar-se- a simbolizao: V ( p ) = V (valor lgico de p igual verdade) ou V ( p ) =F. Considere uma proposio composta P, constituda das proposies simples p, q, r,...., p1,...., pn componentes. Para indicar o valor lgico ou valor verdadeiro desta frmula proposicional adotar-se- as notaes: V [ P ( p, q, r,..., p1,..., pn)] = V ou V [ P ( p, q, r,..., p1,..., pn)] = F oportuno salientar-se que a lgica matemtica no cabe a obrigao de decidir se uma dada proposio verdade ou falsidade, isto , compete aos respectivos especialistas das correspondentes reas de conhecimento. Contudo a lgica tem por obrigao estruturar mtodos ou procedimentos de deciso que permita, num tempo finito, a deciso sobre os valores lgicos de frmulas proposicionais constitudas de n proposies e m raciocnios (sobre o ponto de vista da analiticidade de tais processos). A de se observar tambm, que validade em lgica matemtica corresponde, to somente a avaliao de argumentos dedutivos ou de inferncia de argumentos, no tendo sentido associar validade ou legitimidade a proposies ou enunciados. De forma resumida, a validade esta associada coerncia ou a consistncia do raciocnio analtico. 2.6 CARACTERIZAO, DEFINIO, NOTAO DE CONECTIVOS LGICOS: (ou conectivos proposicionais)
| |
no e ou se ... ento se e somente se tal que implica equivalente existe existe um e somente um qualquer que seja
A Opo Certa Para a Sua Realizao
Raciocnio Lgico
APOSTILAS OPO
Valor lgiSmbolo co Negao Conjuno Disjuno Condicional Bicondicional ,,~ ou ' Expresso no, falso, no verdade que e, mas , tambm, alm disso ou se...ento, implica, logo, somente se ...se, e somente se...; ... condio necessria que ... ALGUMAS NOES DE LGICA Antnio Anbal Padro Introduo Todas as disciplinas tm um objecto de estudo. O objeto de estudo de uma disciplina aquilo que essa disciplina estuda. Ento, qual o objecto de estudo da lgica? O que que a lgica estuda? A lgica estuda e sistematiza a validade ou invalidade da argumentao. Tambm se diz que estuda inferncias ou raciocnios. Podes considerar que argumentos, inferncias e raciocnios so termos equivalentes. Muito bem, a lgica estuda argumentos. Mas qual o interesse disso para a filosofia? Bem, tenho de te lembrar que a argumentao o corao da filosofia. Em filosofia temos a liberdade de defender as nossas ideias, mas temos de sustentar o que defendemos com bons argumentos e, claro, tambm temos de aceitar discutir os nossos argumentos. Os argumentos constituem um dos trs elementos centrais da filosofia. Os outros dois so os problemas e as teorias. Com efeito, ao longo dos sculos, os filsofos tm procurado resolver problemas, criando teorias que se apoiam em argumentos. Ests a ver por que que o estudo dos argumentos importante, isto , por que que a lgica importante. importante, porque nos ajuda a distinguir os argumentos vlidos dos invlidos, permite-nos compreender por que razo uns so vlidos e outros no e ensina-nos a argumentar correctamente. E isto fundamental para a filosofia. O que um argumento? Um argumento um conjunto de proposies que utilizamos para justificar (provar, dar razo, suportar) algo. A proposio que queremos justificar tem o nome de concluso; as proposies que pretendem apoiar a concluso ou a justificam tm o nome de premissas. Supe que queres pedir aos teus pais um aumento da "mesada". Como justificas este aumento? Recorrendo a razes, no ? Dirs qualquer coisa como: Os preos no bar da escola subiram; como eu lancho no bar da escola, o lanche fica me mais caro. Portanto, preciso de um aumento da "mesada". Temos aqui um argumento, cuja concluso : "preciso de um aumento da 'mesada'". E como justificas esta concluso? Com a subida dos preos no bar da escola e com o facto de lanchares no bar. Ento, estas so as premissas do teu argumento, so as razes que utilizas para defender a concluso.
Raciocnio Lgico
APOSTILAS OPO
Neste argumento, a concluso est claramente identificada ("podemos concluir que..."), mas nem sempre isto acontece. Contudo, h certas expresses que nos ajudam a perceber qual a concluso do argumento e quais so as premissas. Repara, no argumento anterior, na expresso "dado que". Esta expresso um indicador de premissa: ficamos a saber que o que se segue a esta expresso uma premissa do argumento. Tambm h indicadores de concluso: dois dos mais utilizados so "logo" e "portanto". Um indicador um articulador do discurso, uma palavra ou expresso que utilizamos para introduzir uma razo (uma premissa) ou uma concluso. O quadro seguinte apresenta alguns indicadores de premissa e de concluso: Indicadores de premissa Indicadores de concluso
pois porque dado que como foi dito visto que devido a a razo que admitindo que sabendo-se que assumindo que
por isso por conseguinte implica que logo portanto ento da que segue-se que pode-se inferir que consequentemente
claro que nem sempre as premissas e a concluso so precedidas por indicadores. Por exemplo, no argumento: O Mourinho treinador de futebol e ganha mais de 100000 euros por ms. Portanto, h treinadores de futebol que ganham mais de 100000 euros por ms. A concluso precedida do indicador "Portanto", mas as premissas no tm nenhum indicador. Por outro lado, aqueles indicadores (palavras e expresses) podem aparecer em frases sem que essas frases sejam premissas ou concluses de argumentos. Por exemplo, se eu disser: Depois de se separar do dono, o co nunca mais foi o mesmo. Ento, um dia ele partiu e nunca mais foi visto. Admitindo que no morreu, onde estar? O que se segue palavra "Ento" no concluso de nenhum argumento, e o que segue a "Admitindo que" no premissa, pois nem sequer tenho aqui um argumento. Por isso, embora seja til, deves usar a informao do quadro de indicadores de premissa e de concluso criticamente e no de forma automtica. Proposies e frases Um argumento um conjunto de proposies. Quer as premissas quer a concluso de um argumento so proposies. Mas o que uma proposio? Uma proposio o pensamento que uma frase declarativa exprime literalmente. No deves confundir proposies com frases. Uma frase uma entidade lingustica, a unidade gramatical mnima de sentido. Por exemplo, o conjunto de palavras "Braga uma" no uma frase. Mas o conjunto de palavras "Braga uma
Raciocnio Lgico
APOSTILAS OPO
Validade e verdade A verdade uma propriedade das proposies. A validade uma propriedade dos argumentos. incorrecto falar em proposies vlidas. As proposies no so vlidas nem invlidas. As proposies s podem ser verdadeiras ou falsas. Tambm incorrecto dizer que os argumentos so verdadeiros ou que so falsos. Os argumentos no so verdadeiros nem falsos. Os argumentos dizem-se vlidos ou invlidos. Quando que um argumento vlido? Por agora, referirei apenas a validade dedutiva. Diz-se que um argumento dedutivo vlido quando impossvel que as suas premissas sejam verdadeiras e a concluso falsa. Repara que, para um argumento ser vlido, no basta que as premissas e a concluso sejam verdadeiras. preciso que seja impossvel que sendo as premissas verdadeiras, a concluso seja falsa. Considera o seguinte argumento: Premissa 1: Alguns treinadores de futebol ganham mais de 100000 euros por ms. Premissa 2: O Mourinho um treinador de futebol. Concluso: Logo, o Mourinho ganha mais de 100000 euros por ms. Neste momento (Julho de 2004), em que o Mourinho treinador do Chelsea e os jornais nos informam que ganha muito acima de 100000 euros por ms, este argumento tem premissas verdadeiras e concluso verdadeira e, contudo, no vlido. No vlido, porque no impossvel que as premissas sejam verdadeiras e a concluso falsa. Podemos perfeitamente imaginar uma circunstncia em que o Mourinho ganhasse menos de 100000 euros por ms (por exemplo, o Mourinho como treinador de um clube do campeonato regional de futebol, a ganhar 1000 euros por ms), e, neste caso, a concluso j seria falsa, apesar de as premissas serem verdadeiras. Portanto, o argumento invlido. Considera, agora, o seguinte argumento, anteriormente apresentado: Premissa: O Joo e o Jos so alunos do 11. ano. Concluso: Logo, o Joo aluno do 11. ano. Este argumento vlido, pois impossvel que a premissa seja verdadeira e a concluso falsa. Ao contrrio do argumento que envolve o Mourinho, neste no podemos imaginar nenhuma circunstncia em que a premissa seja verdadeira e a concluso falsa. Podes imaginar o caso em que o Joo no aluno do 11. ano. Bem, isto significa que a concluso falsa, mas a premissa tambm falsa. Repara, agora, no seguinte argumento: Premissa 1: Todos os nmeros primos so pares. Premissa 2: Nove um nmero primo. Concluso: Logo, nove um nmero par. Este argumento vlido, apesar de quer as premissas quer a concluso serem falsas. Continua a aplicar-se a noo de validade dedutiva anteriormente apresentada: impossvel que as premissas sejam verdadeiras e a concluso falsa. A validade de um argumento dedutivo depende da conexo lgica entre as premissas e a concluso do argumento e no do valor de verdade das proposies que constituem o argumento. Como vs, a validade uma propriedade diferente da verdade. A verdade uma propriedade das proposies que constituem os argumentos (mas no dos
Raciocnio Lgico
APOSTILAS OPO
O seguinte argumento slido ( vlido e tem premissas verdadeiras): Todos os minhotos so portugueses. Todos os bracarenses so minhotos. Logo, todos os bracarenses so portugueses. Tambm podemos ter argumentos slidos deste tipo: Scrates era grego. Logo, Scrates era grego. ( claro que me estou a referir ao Scrates, filsofo grego e mestre de Plato, e no ao Scrates, candidato a secretrio geral do Partido Socialista. Por isso, a premissa e a concluso so verdadeiras.) Este argumento slido, porque tem premissa verdadeira e impossvel que, sendo a premissa verdadeira, a concluso seja falsa. slido, mas no um bom argumento, porque a concluso se limita a repetir a premissa. Um argumento bom (ou forte) um argumento vlido persuasivo (persuasivo, do ponto de vista racional). Fica agora claro por que que o argumento "Scrates era grego; logo, Scrates era grego", apesar de slido, no um bom argumento: a razo que apresentamos a favor da concluso no mais plausvel do que a concluso e, por isso, o argumento no persuasivo. Talvez recorras a argumentos deste tipo, isto , argumentos que no so bons (apesar de slidos), mais vezes do que imaginas. Com certeza, j viveste situaes semelhantes a esta: Pai, preciso de um aumento da "mesada". Porqu? Porque sim. O que temos aqui? O seguinte argumento: Preciso de um aumento da "mesada". Logo, preciso de um aumento da "mesada". Afinal, querias justificar o aumento da "mesada" (concluso) e no conseguiste dar nenhuma razo plausvel para esse aumento. Limitaste-te a dizer "Porque sim", ou seja, "Preciso de um aumento da 'mesada', porque preciso de um aumento da 'mesada'". Como vs, trata-se de um argumento muito mau, pois com um argumento deste tipo no consegues persuadir ningum. Mas no penses que s os argumentos em que a concluso repete a premissa que so maus. Um argumento mau (ou fraco) se as premissas no forem mais plausveis do que a concluso. o que acontece com o seguinte argumento: Se a vida no faz sentido, ento Deus no existe. Mas Deus existe. Logo, a vida faz sentido. Este argumento vlido, mas no um bom argumento, porque as premissas no so menos discutveis do que a concluso.
Raciocnio Lgico
APOSTILAS OPO
Ao examinarmos um conceito, em termos lgicos, devemos considerar a sua extenso e a sua compreenso. Vejamos, por exemplo, o conceito homem. A extenso desse conceito refere-se a todo o conjunto de indivduos aos quais se possa aplicar a designao homem. A compreenso do conceito homem refere-se ao conjunto de qualidades que um indivduo deve possuir para ser designado pelo termo homem: animal, vertebrado, mamfero, bpede, racional. Esta ltima qualidade aquela que efetivamente distingue o homem dentre os demais seres vivos (2). 3. JUZO E O RACIOCNIO Entende-se por juzo qualquer tipo de afirmao ou negao entre duas idias ou dois conceitos. Ao afirmarmos, por exemplo, que este livro de filosofia, acabamos de formular um juzo. O enunciado verbal de do proposio ou premissa. um juzo denomina-
Raciocnio - o processo mental que consiste em coordenar dois ou mais juzos antecedentes, em busca de um juzo novo, denominado concluso ou inferncia. Vejamos um exemplo tpico de raciocnio: 1) premissa - o ser humano racional; 2) premissa - voc um ser humano; concluso - logo, voc racional. O enunciado de um raciocnio atravs da linguagem falada ou escrita chamado de argumento. Argumentar significa, portanto, expressar verbalmente um raciocnio (2). 4. SILOGISMO Silogismo o raciocnio composto de trs proposies, dispostas de tal maneira que a terceira, chamada concluso, deriva logicamente das duas primeiras, chamadas premissas. Todo silogismo regular contm, portanto, trs proposies nas quais trs termos so comparados, dois a dois. Exemplo: toda a virtude louvvel; ora, a caridade uma virtude; logo, a caridade louvvel (1). 5. SOFISMA Sofisma um raciocnio falso que se apresenta com aparncia de verdadeiro. Todo erro provm de um raciocnio ilegtimo, portanto, de um sofisma. O erro pode derivar de duas espcies de causas: das palavras que o exprimem ou das idias que o constituem. No primeiro, os sofismas de palavras ou verbais; no segundo, os sofismas de idias ou intelectuais. Exemplo de sofisma verbal: usar mesma palavra com duplo sentido; tomar a figura pela realidade. Exemplo de sofisma intelectual: tomar por essencial o que apenas acidental; tomar por causa um simples antecedente ou mera circunstncia acidental (3).
Raciocnio Lgico
APOSTILAS OPO
PROPOSIO CATEGRICA Proposio categrica faz uma afirmao da qual no ficaremos com duvidas. Por exemplo: O produto ser entregue hoje. Temos certeza de que o produto ser entregue hoje. Mas, se a frase fosse: Talvez o produto seja entregue hoje ou O produto poder ser entregue hoje, toda a certeza se esvai. Essas no so proposies categricas, e somos deixados na dvida sobre quando o produto realmente ser entregue. Um argumento categrico (formado por proposies categricas) , ento, o mais efetivo dos argumentos porque nos fornece certo conhecimento. - PROPOSIO HIPOTTICA. A Hiptese (do gr. Hypthesis) uma proposio que se admite de modo provisrio como verdadeira e como ponto de partida a partir do qual se pode deduzir, pelas regras da lgica, um conjunto secundrio de proposies, que tm por objetivo elucidar o mecanismo associado s evidncias e dados experimentais a se explicar. Literalmente pode ser compreendida como uma suposio ou proposio na forma de pergunta, uma conjetura que orienta uma investigao por antecipar caractersticas provveis do objeto investigado e que vale quer pela concordncia com os fatos conhecidos quer pela confirmao atravs de dedues lgicas dessas caractersticas, quer pelo confronto com os resultados obtidos via novos caminhos de investigao (novas hipteses e novos experimentos). No possvel provar ou refutar uma hiptese, mas confirm-la ou invalid-la: provar e confirmar so coisas diferentes embora divisadas por uma linha tnue. Entretanto, para as questes mais complexas, lembre-se, podem existir muitas explicaes possveis, uma ou duas experincias talvez no provem ou refutar uma hiptese. - TAUTOLOGIA A origem do termo vem de do grego taut, que significa "o mesmo", mais logos, que significa "assunto".Portanto, tautologia dizer sempre a mesma coisa em termos diferentes. Em filosofia diz-se que um argumento tautolgico quando se explica por ele prprio, s vezes redundante ou falaciosamente. Por exemplo, dizer que "o mar azul porque reflete a cor do cu e o cu azul por causa do mar" uma afirmativa tautolgica. Um exemplo de dito popular tautolgico "tudo o que demais sobra". Ela uma palavra usada na terminologia prpria da Lgica e da Retrica. Tautologia uma proposio dada como explicao ou como prova, mas que, na realidade, apenas repete o que foi dito. Exemplo clssico o famoso 'subir para cima' ou o 'descer para baixo' (dizem que devemos evitar uso das repeties desnecessrias).
Raciocnio Lgico
APOSTILAS OPO
deduo em suas descobertas, exceto a matemtica, ela continua sendo o modelo de rigor dentro da lgica. Note que em todos os argumentos dedutivos a concluso j est contida nas premissas. 1) S h movimento no carro se houver combustvel. O carro est em movimento. Logo, h combustvel no carro. 2) Tudo que respira um ser vivo. A planta respira. Logo, a planta um ser vivo. 3) O som no se propaga no vcuo. Na lua tem vcuo. Logo, no h som na lua. 4) S h fogo se houver oxignio Na lua no h oxignio. Logo, na lua no pode haver fogo. 5) P=Q Q=R Logo, P=R Validade Argumentos tanto podem ser vlidos ou invlidos. Se um argumento vlido, e a sua premissa verdadeira, a concluso deve ser verdadeira: um argumento vlido no pode ter premissa verdadeira e uma concluso falsa. A validade de um argumento depende, porm, da real veracidade ou falsidade das suas premissas e e de sua concluses. No entanto, apenas o argumento possui uma forma lgica. A validade de um argumento no uma garantia da verdade da sua concluso. Um argumento vlido pode ter premissas falsas e uma concluso falsa. A Lgica visa descobrir as formas vlidas, ou seja, as formas que fazer argumentos vlidos. Uma Forma de Argumento vlida se e somente se todos os seus argumentos so vlidos. Uma vez que a validade de um argumento depende da sua forma, um argumento pode ser demonstrado como invlido, mostrando que a sua forma invlida, e isso pode ser feito, dando um outro argumento da mesma forma que tenha premissas verdadeiras mas uma falsa concluso. Na lgica informal este argumento chamado de contador. A forma de argumento pode ser demonstrada atravs da utilizao de smbolos. Para cada forma de argumento, existe um forma de declarao correspondente, chamado de Correspondente Condicional. Uma forma de argumento vlida Se e somente se o seu correspondente condicional uma verdade lgica. A declarao uma forma lgica de verdade, se verdade sob todas as interpretaes. Uma forma de declarao pode ser mostrada como sendo uma lgica de verdade por um ou outro argumento, que mostra se tratar de uma tautologia por meio de uma prova. O correspondente condicional de um argumento vlido necessariamente uma verdade (verdadeiro em todos os mundos possveis) e, por isso, se poderia dizer que a concluso decorre necessariamente das premissas, ou resulta de uma necessidade lgica. A concluso de um argumento vlido no precisa ser verdadeira, pois depende de saber se suas premissas so verdadeiras.Tal concluso no precisa ser uma verdade: se fosse assim, seria
Raciocnio Lgico
10
APOSTILAS OPO
Falcias e no argumentos Uma falcia um argumento invlido que parece vlido, ou um argumento vlido com premissas "disfaradas". Em primeiro Lugar, as concluses devem ser declaraes, capazes de serem verdadeiras ou falsas. Em segundo lugar no necessrio afirmar que a concluso resulta das premissas. As palavras, por isso, porque, normalmente e consequentemente separam as premissas a partir da concluso de um argumento, mas isto no necessariamente assim. Exemplo: Scrates um homem e todos os homens so mortais, logo, Scrates mortal. Isso claramente um argumento, j que evidente que a afirmao de que Scrates mortal decorre das declaraes anteriores. No entanto: eu estava com sede e, por isso, eu bebi no um argumento, apesar de sua aparncia. Ele no est reivindicando que eu bebi por causa da sede, eu poderia ter bebido por algum outro motivo. Argumentos elpticos Muitas vezes um argumento no vlido, porque existe uma premissa que necessita de algo mais para torn-lo vlido. Alguns escritores, muitas vezes, deixam de fora uma premissa estritamente necessria no seu conjunto de premissas se ela amplamente aceita e o escritor no pretende indicar o bvio. Exemplo: Ferro um metal, por isso, ele ir expandir quando aquecido. (premissa descartada: todos os metais se expandem quando aquecidos). Por outro lado, um argumento aparentemente vlido pode ser encontrado pela falta de uma premissa - um "pressuposto oculto" - o que se descartou pode mostrar uma falha no raciocnio. Exemplo: Uma testemunha fundamentada diz Ningum saiu pela porta da frente, exceto o pastor, por isso, o assassino deve ter sado pela porta dos fundos. (hiptese que o pastor no era o assassino). Retrica, dialtica e dilogos argumentativos Considerando que os argumentos so formais (como se encontram em um livro ou em um artigo de investigao), os dilogos argumentativos so dinmicos. Servem como um registro publicado de justificao para uma afirmao. Argumentos podem tambm ser interativos tendo como interlocutor a relao simtrica. As premissas so discutidas, bem como a validade das inferncias intermedirias. A retrica a tcnica de convencer o interlocutor atravs da oratria, ou outros meios de comunicao. Classicamente, o discurso no qual se aplica a retrica verbal, mas h tambm e com muita relevncia o discurso escrito e o discurso visual. Dialtica significa controvrsia, ou seja, a troca de argumentos e contra-argumentos defendendo proposies. O resultado do exerccio poder no ser pura e simplesmente a refutao de um dos tpicos relevantes do ponto de vista, mas uma sntese ou combinao das afirmaes opostas ou, pelo menos, uma transformao qualitativa na direo do dilogo. Argumentos em vrias disciplinas As declaraes so apresentadas como argumentos em todas as disciplinas e em todas as esferas da vida. A Lgica est preocupada com o que consititui um argumento e quais so as formas de argumentos vlidos em todas as interpretaes e, portanto, em todas as disciplinas. No existem diferentes formas vlidas de argumento, em disciplinas diferentes.
Raciocnio Lgico
11
APOSTILAS OPO
A CONTRARIO A contrario (ou a contrario sensu1 ) uma locuo latina que qualifica um processo de argumentao em que a forma idntica a outro processo de argumentao, mas em que a hiptese e, por consequncia, a concluso so as inversas deste ltimo.2 Tal como na locuo "a pari", usavase originalmente, em linguagem jurdica, para se referir a um argumento que, usado a respeito de uma dada espcie, poderia ser aplicado a outra espcie do mesmo gnero. Tornou-se posteriormente um tipo de raciocnio aplicvel a outros campos do conhecimento em que a oposio existente numa hiptese se reencontra tambm como oposio nas consequncias dessa hiptese.3 Muito utilizado em Direito, o argumento "a contrario" tem de ser fundamentado nas leis lgicas de oposio por contrrios, para que no se caia num argumentofalacioso.4 Assim, se duas proposies contrrias no podem ser simultaneamente verdadeiras, podem ser simultaneamente falsas, j que podem admitir a particular intermdia. Por exemplo, proposio verdadeira "todos os portugueses tm direito segurana social" ope-se a proposio falsa "nenhum portugus tem direito segurana social"; contudo, o contrrio da proposio falsa "todos os portugueses tm direito de voto" continua a ser falsa a proposio "nenhum portugus tem direito de voto", j que existe um meio termo verdadeiro: "alguns portugueses tm direito de voto". Da mesma forma, ao estar consignado na Constituio Portuguesa que "a lei estabelecer garantias efectivas contra a obteno e utilizao abusivas, ou contrrias dignidade humana, de informaes relativas s pessoas e famlias", pode-se inferir que "A lei poder no estabelecer garantias efectivas contra a obteno e utilizao abusivas, ou contrrias dignidade humana, de informaes relativas s pessoas e famlias".
Inferncia
Inferncia, em Lgica, o ato ou processo de derivar concluses lgicas de premissas conhecida ou decididamente verdadeiras. A concluso tambm chamada de idiomtica. Definio O processo pelo qual uma concluso inferida a partir de mltiplas observaes chamado processo dedutivo ou indutivo, dependendo do contexto. A concluso pode ser correta , incorreta, correta dentro de um certo grau de preciso, ou correta em certas situaes. Concluses inferidas a partir de observaes mltiplas podem ser testadas por observaes adicionais. Exemplos de Inferncia Filsofos gregos definiram uma srie de silogismos, corrigir trs inferncias de peas, que podem ser usados como blocos de construo para o raciocnio mais complexo. Comeamos com o mais famoso de todos eles: Todos os homens so mortais Scrates um homem Portanto, Scrates mortal. Processo acima chamado de dedutivo. O leitor pode verificar que as premissas e a concluso so verdadeiras, mas a lgica segue junto com inferncia: a
Raciocnio Lgico
12
APOSTILAS OPO
RACIOCNIO O Raciocnio (ou raciocinar) uma operao lgica discursiva e mental. Neste, o intelecto humano utiliza uma ou mais proposies, para concluir, atravs de mecanismos de comparaes e abstraes, quais so os dados que levam s respostas verdadeiras, falsas ou provveis. Das premissas chegamos a concluses. Foi pelo processo do raciocnio que ocorreu o desenvolvimento do mtodo matemtico, este considerado instrumento puramente terico e dedutivo, que prescinde de dados empricos. Atravs da aplicao do raciocnio, as cincias como um todo evoluram para uma crescente capacidade do intelecto em alavancar o conhecimento. Este utilizado para isolar questes e desenvolver mtodos e resolues nas mais diversas questes relacionadas existncia e sobrevivncia humana. O raciocnio, um mecanismo da inteligncia, gerou a convico nos humanos de que a razo unida imaginao constituem os instrumentos fundamentais para a compreenso do universo, cuja ordem interna, alis, tem um carter racional, portanto, segundo alguns, este processo a base do racionalismo. Logo, resumidamente, o raciocnio pode ser considerado tambm um dos integrantes dos mecanismos dos processos cognitivos superiores da formao de conceitos e da soluo de problemas, sendo parte do pensamento.
Lgica De Predicados
Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar vrias sentenas para tornar sua forma lgica clara, com a inteno de mostrar como as sentenas se relacionam em certos aspectos. Antes de Frege, a lgica formal no obteve sucesso alm do nvel da lgica de sentenas: ela podia representar a estrutura de sentenas compostas de outras sentenas, usando palavras como "e", "ou" e "no", mas no podia quebrar sentenas em partes menores. No era possvel mostrar como "Vacas so animais" leva a concluir que "Partes de vacas so partes de animais". A lgica sentencial explica como funcionam palavras como "e", "mas", "ou", "no", "se-ento", "se e somente se", e "nem-ou". Frege expandiu a lgica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variveis e quantificadores para reorganizar sentenas. "Todos os humanos so mortais" se torna "Para todo x, se x humano, ento x mortal.".
Frege trata sentenas simples sem substantivos como predicados e aplica a eles to "dummy objects" (x). A estrutura lgica na discusso sobre objetos pode ser operada de acordo com as regras da lgica sentencial, com alguns detalhes adicionais para adicionar e remover quantificadores. O trabalho de Frege foi um dos que deu incio lgica formal contempornea.
Raciocnio Lgico
13
APOSTILAS OPO
ou "2" ou "4",etc em particular. Para expressar propriedades gerais (que valem para todos os indivduos) ou existenciais (que valem para alguns indivduos) de um universo so utilizados os quantificadores (universal) e (existencial), respectivamente. Estes quantificadores viro sempre seguidos de um smbolo de varivel, captando, desta forma, a idia de estarem simbolizando as palavras "para qualquer" e "para algum". Considere as sentenas: "Scrates homem" "Todo aluno do departamento de Cincia da Computao estuda lgica" A primeira frase fala de uma propriedade (ser homem) de um indivduo distinguido ("Scrates") de um domnio de discurso. A segunda frase fala sobre objetos distiguidos "departamento de Cincia da Computao" e "lgica". Tais objetos podero ser representados usando os smbolos , soc para "Scrates", cc para "departamento de Cincia da Computao", lg para "lgica".Tais smbolos so chamados de smbolos de constantes. As propriedades "ser aluno de ", "estuda" relacionam objetos do universo de discurso considerado, isto , "ser aluno de " relaciona os indivduos de uma universidade com os seus departamentos, "estuda" relaciona os indivduos de uma universidade com as matrias. Para representar tais relaes sero usados smbolos de predicados (ou relaes). Nos exemplos citados podemos usar Estuda e Aluno que so smbolos de relao binria. As relaes unrias expressam propriedades dos indivduos do universo (por exemplo "ser par","ser homem"). A relao "ser igual a" tratata de forma especial, sendo representada pelo smbolo de igualdade . Desta forma podemos simbolizar as sentenas consideradas nos exemplos da seguinte forma: - "Todo mundo igual a si mesmo " por x xx; - "Existem nmeros naturais que so pares" por xPar(x); - "Scrates homem" por Homem(soc); - "Todo aluno do departamento de Cincia da Computao estuda lgica" porx(Aluno(x,cc) Estuda (x,lg)). J vimos como representar objetos do domnio atravs de constantes.Uma outra maneira de represent-los atravez do uso de smbolos de funo. Por exemplo podemos representar os nmeros naturais "1", "2", "3", etc atravs do uso de smbolo de funo, digamos, suc, que vai gerar nomes para os nmeros naturais "1", "2", "3", etc. a partir da constante 0, e. g., "1" vai ser denotado por suc(0), "3" vai ser denotado por suc(suc(suc(0))), etc. Seqncias de smbolos tais como suc(0) e suc(suc(suc(0))) so chamadas termos. Assim, a frase "Todo nmero natural diferente de zero sucessor de um nmero natural" pode ser simbolizada por x(x0 ysuc(y)x). Fonte: UFRJ
CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais combinaes usaremos os conectivos lgicos: : e , : ou , : se...ento , : se e somente se , : no
Exemplos: A lua quadrada e a neve branca. : p q (p e q so chamados conjuntos) A lua quadrada ou a neve branca. : p q ( p e q so chamados disjuntos) Se a lua quadrada ento a neve branca. : p q (p o antecedente e q o conseqente) A lua quadrada se e somente se a neve branca. : p q A lua no quadrada. : p SMBOLOS AUXILIARES: ( ), parnteses que servem para denotar o "alcance" dos conectivos;
Exemplos: Se a lua quadrada e a neve branca ento a lua no quadrada.: ((p q) p) A lua no quadrada se e somente se a neve branca.: (( p) q)) DEFINIO DE FRMULA : 1. Toda frmula atmica uma frmula. 2. Se A e B so frmulas ento (A B), (A B), (A B), (A B) e ( A) tambm so frmulas.
Raciocnio Lgico
14
APOSTILAS OPO
3. So frmulas apenas as obtidas por 1. e 2. . Com o mesmo conectivo adotaremos a conveno pela direita. Exemplo: a frmula p q r p q deve ser entendida como (((p q) ( r)) ( p ( q)))
Paradoxo
O frasco com auto-fluxo de Robert Boyle preenche a si prprio neste diagrama, mas mquinas de moto contnuo no existem. Um paradoxo uma declarao aparentemente verdadeira que leva a uma contradio lgica, ou a uma situao que contradiz a intuio comum. Em termos simples, um paradoxo "o oposto do que algum pensa ser a verdade". A identificao de um paradoxo baseado em conceitos aparentemente simples e racionais tem, por vezes, auxiliado significativamente o progresso da cincia, filosofia e matemtica. A etimologia da palavra paradoxo pode ser traada a textos que remontam aurora da Renascena, um perodo de acelerado pensamento cientfico na Europa e sia que comeou por volta do ano de 1500. As primeiras formas da palavra tiveram por base a palavra latina paradoxum, mas tambm so encontradas em textos em grego como paradoxon (entretanto, o Latim fortemente derivado do alfabeto grego e, alm do mais, o Portugus tambm derivado do Latim romano, com a adio das letras "J" e "U"). A palavra composta do prefixo para-, que quer dizer "contrrio a", "alterado" ou "oposto de", conjungada com o sufixo nominal doxa, que quer dizer "opinio". Compare com ortodoxia e heterodoxo. Na filosofia moral, o paradoxo tem um papel central nos debates sobre tica. Por exemplo, a admoestao tica para "amar o seu prximo" no apenas contrasta, mas est em contradio com um "prximo" armado tentando ativamente matar voc: se ele bem sucedido, voc no ser capaz de am-lo. Mas atac-lo preemptivamente ou restringi-lo no usualmente entendido como algo amoroso. Isso pode ser considerado um dilema tico. Outro exemplo o conflito entre a injuno contra roubar e o cuidado para com a famlia que depende do roubo para sobreviver. Deve ser notado que muitos paradoxos dependem de uma suposio essencial: que a linguagem (falada, visual ou matemtica) modela de forma acurada a realidade que descreve. Em fsica quntica, muitos comportamentos paradoxais podem ser observados (o princpio da incerteza de Heisenberg, por exemplo) e alguns j foram atribudos ocasionalmente s limitaes inerentes da linguagem e dos modelos cientficos. Alfred Korzybski, que fundou o estudo da Semntica Geral, resume o conceito simplesmente declarando que, "O mapa no o territrio". Um exemplo comum das limitaes da linguagem so algumas formas do verbo "ser". "Ser" no definido claramente (a rea de estudos filosficos chamada ontologia ainda no produziu um significado concreto) e assim se uma declarao incluir "ser" com um elemento essencial, ela pode estar sujeita a paradoxos. Tipos de paradoxos Temas comuns em paradoxos incluem auto-referncias diretas e indiretas, infinitudes, definies circulares e confuso nos nveis de raciocnio. W. V. Quine (1962) distinge trs classes de paradoxos: Os paradoxos verdicos produzem um resultado que parece absurdo embora seja demonstravelmente
Proposio
Segundo Quine, toda proposio uma frase mas nem toda frase uma proposio; uma frase uma proposio apenas quando admite um dos dois valores lgicos: Falso (F)ou Verdadeiro (V). Exemplos: 1. Frases que no so proposies o Pare! o Quer uma xcara de caf? o Eu no estou bem certo se esta cor me agrada 2. Frases que so proposies o A lua o nico satlite do planeta terra (V) o A cidade de Salvador a capital do estado do Amazonas (F) o O numero 712 mpar (F) o Raiz quadrada de dois um nmero irracional (V) Composio de Proposies possvel construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies. Suponha que tenhamos duas proposies, 1. A = "Maria tem 23 anos" 2. B = "Maria menor" Pela legislao corrente de um pas fictcio, uma pessoa considerada de menor idade caso tenha menos que 18 anos, o que faz com que a proposio B seja F, na interpretao da proposio A ser V. Vamos a alguns exemplos: 1. "Maria no tem 23 anos" (noA) 2. "Maria no menor"(no(B)) 3. "Maria tem 23 anos" e "Maria menor" (A e B) 4. "Maria tem 23 anos" ou "Maria menor" (A ou B) 5. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 6. "Maria no tem 23 anos" ou "Maria menor" (no(A) ou B) 7. "Maria tem 23 anos" ou "Maria no menor" (A ou no(B)) 8. "Maria tem 23 anos" e "Maria no menor" (A e no(B)) 9. Se "Maria tem 23 anos" ento "Maria menor" (A => B) 10. Se "Maria no tem 23 anos" ento "Maria menor" (no(A) => B) 11. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 12. "Maria tem 18 anos" equivalente a "Maria no menor" (C <=> no(B))
Raciocnio Lgico
15
APOSTILAS OPO
Note que, para compor proposies usou-se os smbolos no (negao), e (conjuno), ou (disjuno), => (implicao) e, finalmente, <=> (equivalncia). So os chamados conectivos lgicos. Note, tambm, que usou-se um smbolo para representar uma proposio: C representa a proposio Maria tem 18 anos. Assim, no(B) representa Maria no menor, uma vez que B representa Maria menor. Algumas Leis Fundamentais Lei do Meio Excluido Lei da Contradio Um proposio falsa (F) ou verdadeira (V): no h meio termo. Uma proposio no pode ser, simultaneamente, V e F.
O valor lgico (V ou F) de uma proposio composta unicaLei da Funcionalidade mente determinada pelos valores lgicos de suas proposies constituintes. PROPOSIES E CONECTIVOS Proposio - todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Exemplo: a) a lua um satlite da Terra; b) O sol amarelo; c) Braslia a capital do Brasil. Princpios Adotados como Regras Fundamentais do Pensamento, na Lgica Matemtica Princpio da no contradio - uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo - toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. Valores Lgicos das Proposies Chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a falsidade se a proposio falsa. Valor Lgico Smbolo de Designao Verdade Falsidade V F
VERDADES E MENTIRAS
Este item trata de questes em que algumas personagens mentem e outras falam a verdade. Trata-se de descobrir qual o fato correto a partir das afirmaes que forem feitas por eles, evidentemente, sem conhecer quem fala verdade ou quem fala mentira. Tambm no h uma teoria a respeito. A aprendizagem das solues de questes desse tipo depende apenas de treinamento. Um dos mtodos para resolver questes desse tipo consiste em considerar uma das afirmaes verdadeira e, em seguida, verificar se as demais so ou no consistentes com ela. Isto significa verificar se h ou no contradio nas demais afirmaes. Exemplo 1 - (Fiscal Trabalho 98 ESAF) - Um crime foi cometido por uma e apenas uma pessoa de um grupo de cinco suspeitos: Armando, Celso, Edu, Juarez e Tarso. Perguntados sobre quem era o culpado, cada um deles respondeu: Armando: "Sou inocente" Celso: "Edu o culpado" Edu: "Tarso o culpado" Juarez: "Armando disse a verdade" Tarso: "Celso mentiu" Sabendo-se que apenas um dos suspeitos mentiu e que todos os outros disseram a verdade, pode-se concluir que o culpado : a) Armando b) Celso c) Edu d) Juarez e) Tarso Vamos considerar que Armando foi quem mentiu. Neste caso ele o culpado. Isto contradiz s palavras de Celso, pois se Armando mente, Celso teria dito uma verdade. Teramos ento dois culpados: Armando e Tarso. Portanto, Armando no mente. Passemos agora a considerar Celso o mentiroso. Isto consistente. Pois, como j foi dito, Armando diz a verdade . Edu inocente (Celso mente). Edu diz a verdade. Juarez tambm disse uma verdade. Tarso tambm foi verda-
Toda proposio tem um e um s dos valores V, F (de acordo os dois princpios supracitados). Exemplo: a) o mercrio mais pesado que a gua; valor lgico da proposio: verdade (V) b) o sol gira em torno da Terra; valor lgico da proposio: falsidade (F) TIPOS DE PROPOSIO Simples ou Atmicas - a proposio que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas por letras minsculas p, q, r, s ..., chamadas letras proposicionais. Observao: Pode ser usada qualquer letra do alfabeto minsculo para representar uma proposio simples. Exemplo: p: Oscar prudente; q: Mrio engenheiro;
Raciocnio Lgico
16
APOSTILAS OPO
deiro. Portanto, o culpado Tarso. Resposta: letra (e) Exemplo 2 - (CVM 2000 ESAF) - Cinco colegas foram a um parque de diverses e um deles entrou sem pagar. Apanhados por um funcionrio do parque, que queria saber qual deles entrou sem pagar, ao serem interpelados: No fui eu, nem o Manuel, disse Marcos. Foi o Manuel ou a Maria, disse Mrio. Foi a Mara, disse Manuel. O Mrio est mentindo, disse Mara. Foi a Mara ou o Marcos, disse Maria. Sabendo-se que um e somente um dos cinco colegas mentiu, conclui-se logicamente que quem entrou sem pagar foi: a) Mrio b) Marcos c) Mara d) Manuel e) Maria Faamos como no item anterior. Hiptese 1: Marcos o mentiroso. Se Marcos o mentiroso, ento um dos dois entrou sem pagar. Mas como Manuel deve dizer a verdade (s um mente), Mara entrou sem pagar. Assim, seriam dois a entrar sem pagar Mara e Marcos ou Mara e Manuel. Concluso Marcos fala a verdade. Hiptese 2: Mrio o mentiroso. Nesse caso, nem Maria e nem Manuel teria entrado sem pagar. Pois quando se usa o ou, ser verdade desde que um deles seja verdadeiro. Esto eliminados Marcos, Manuel e Maria, de acordo com a verdade de Marcos. Seria ento Mara pois Manuel no seria mentiroso. Mara teria dito a verdade pois, de acordo com a hiptese somente Mrio o mentiroso. Como Maria tambm no seria a mentirosa, nem Mara nem Marcos teria entrado sem pagar. Portanto: Marcos, Manuel, Mario e Maria so os que pagaram a entrada e Mara a que no pagou. Mas e se houver outra possibilidade? Devemos ento tentar outras hipteses. Hiptese 3: Manuel o mentiroso. Como Marcos fala a verdade, no foi ele (Marcos) e nem o Manuel. Como Mrio tambm fala a verdade, um dos dois Manuel ou Maria entrou sem pagar. Mas Marcos pagou. Ento Maria entrou sem pagar. Maria tambm diz a verdade, No teria pago a entrada, Marcos ou Mara. Mas, outra vez, Marcos pagou. Ento Mara no pagou a entrada. Temos duas pessoas que entraram sem pagar: Maria e Mara. Isto falso, pois somente uma pessoa no pagou a entrada. Hiptese 4: Mara a mentirosa. No foi Marcos e nem Manuel, segundo a afirmao de Marcos que verdadeiro. Como no pode ter sido o Manuel, pela fala de Mrio, teria sido Maria. Mas segundo Manuel, teria sido Mara. Novamente dois mentirosos. Hiptese que no pode ser aceita pois teriam duas pessoas entrado sem pagar. Hiptese 5: Maria a mentirosa. Se Maria mentirosa, Mrio no poderia estar mentido. Ento Mara estaria falando mentira. Seriam ento, pelo menos, duas mentirosas. Maria e Mara. A nica hiptese que satisfaz as condies do problema a de nmero dois, da qual se conclui que Mara a pessoa que no pagou a entrada. Assim, a resposta : letra (c). Exemplo 3 - (Fiscal Trabalho 98) Trs amigos Lus, Marcos e Nestor so casados com Teresa, Regina e Sandra (no necessariamente nesta ordem). Perguntados sobre os nomes das respectivas esposas, os trs fizeram as seguintes declaraes: Nestor: "Marcos casado com Teresa" Lus: "Nestor est mentindo, pois a esposa de Marcos Regina" Marcos: "Nestor e Lus mentiram, pois a minha esposa Sandra" Sabendo-se que o marido de Sandra mentiu e que o marido de Teresa disse a verdade, segue-se que as esposas de Lus, Marcos e Nestor so, respectivamente: a) Sandra, Teresa, Regina.
Raciocnio Lgico
17
APOSTILAS OPO
to Alfa do tipo V. Assim, um dos dois do tipo V. Portanto, alm do andride Gama tem mais um andride do tipo V. So ento, dois andrides do tipo V. Resposta: letra (b) Aula 8 - internet CONTINGNCIA Em filosofia e lgica, contingncia o status de proposies que no so necessariamente verdadeiras nem necessariamente falsas. H quatro classes de proposies, algumas das quais se sobrepem: proposies necessariamente verdadeiras ou Tautologias, que devem ser verdadeiras, no importa quais so ou poderiam ser as circunstncias (exemplos: 2 + 2 = 4; Nenhum solteiro casado).Geralmente o que se entende por "proposio necessria" a proposio necessariamente verdadeira. proposies necessariamente falsas ou Contradies, que devem ser falsas, no importa quais so ou poderiam ser as circunstncias (exemplos: 2 + 2 = 5; Ana mais alta e mais baixa que Beto). proposies contingentes, que no so necessariamente verdadeiras nem necessariamente falsas (exemplos: H apenas trs planetas; H mais que trs planetas). proposies possveis, que so verdadeiras ou poderiam ter sido verdadeiras sob certas circunstncias (exemplos: 2 + 2 = 4; H apenas trs planetas; H mais que trs planetas). Todas as proposies necessariamente verdadeiras e todas as proposies contingentes tambm so proposies possveis. LGICA MODAL Lgica modal se refere a qualquer sistema de lgica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns so possibilidade e necessidade. Lgicas para lidar com outros termos relacionados, como probabilidade,eventualidade, padronizao, poder, pod eria, deve, so por extenso tambm chamadas de lgicas modais, j que elas podem ser tratadas de maneira similar. Uma lgica modal formal representa modalidades usando operadores modais. Por exemplo, "Era possvel o assassinato de Arnaldo" e "Arnaldo foi possivelmente assassinado" so exemplos que contm a noo de possibilidade. Formalmente, essa noo tratada como o operador modal Possvel, aplicado sentena "Arnaldo foi assassinado". Normalmente os operadores modais bsicos unrios so (ou L) para Necessrio e (ou M) escritos como para Possvel. Nas lgicas modais clssicas, cada um pode ser expresso em funo do outro e da negao:
Quantificadores
Consideremos as afirmaes: a) Todo sangue vermelho. b) Cada um dos alunos participar da excurso. c) Algum animal selvagem. d) Pelo menos um professor no rico. e) Existe uma pessoa que poliglota. f) Nenhum crime perfeito. Expresses como todo, cada um, "algum", "pelo menos um", existe, nenhum so quantificadores. H fundamentalmente dois tipos de quantificadores: Universal e Existencial. So quantificadores: outro(s) pouco(s) quantos tanto(s) qualquer / quaisquer certo(s) todo(s) ambos algum / alguns vrio(s) / vria(s)
Raciocnio Lgico
18
APOSTILAS OPO
Na lgica de predicados, a quantificao universal uma formalizao da noo de que algumas coisas so verdadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado uma afirmao universalmente quantificada. Em smbolos lgicos, o quantificador universal (usualmente ) o smbolo usado para denotar o universo de quantificao, informalmente lido como "para todo". Na lgica de predicados, um quantificador existencial a predicao de uma propriedade ou relao para, pelo menos, umel emento do domnio.
LGICA DE ARGUMENTAO
1. Introduo Desde suas origens na Grcia Antiga, especialmente de Aristteles (384-322 a.C.) em diante, a lgica tornou-se um dos campos mais frteis do pensamento humano, particularmente da filosofia. Em sua longa histria e nas mltiplas modalidades em que se desenvolveu, sempre foi bem claro seu objetivo: fornecer subsdios para a produo de um bom raciocnio. Por raciocnio, entende-se tanto uma atividade mental quanto o produto dessa atividade. Esse, por sua vez, pode ser analisado sob muitos ngulos: o psiclogo poder estudar o papel das emoes sobre um determinado raciocnio; o socilogo considerar as influncias do meio; o criminlogo levar em conta as circunstncias que o favoreceram na prtica de um ato criminoso etc. Apesar de todas estas possibilidades, o raciocnio estudado de modo muito especial no mbito da lgica. Para ela, pouco importam os contextos psicolgico, econmico, poltico, religioso, ideolgico, jurdico ou de qualquer outra esfera que constituam o ambiente do raciocnio. Ao lgico, no interessa se o raciocnio teve esta ou aquela motivao, se respeita ou no a moral social, se teve influncias das emoes ou no, se est de acordo com uma doutrina religiosa ou no, se foi produzido por uma pessoa embriagada ou sbria. Ele considera a sua forma. Ao considerar a forma, ele investiga a coerncia do raciocnio, as relaes entre as premissas e a concluso, em suma, sua obedincia a algumas regras apropriadas ao modo como foi formulado etc. Apenas a ttulo de ilustrao, seguem-se algumas definies e outras referncias lgica: A arte que dirige o prprio ato da razo, ou seja, nos permite chegar com ordem, facilmente e sem erro, ao prprio ato da razo o raciocnio (Jacques Maritain). A lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto (Irving Copi). A lgica investiga o pensamento no como ele , mas como deve ser (Edmundo D. Nascimento). A princpio, a lgica no tem compromissos. No entanto, sua histria demonstra o poder que a mesma possui quando bem dominada e dirigida a um propsito determinado, como o fizeram os sofistas, a escolstica, o pensamento cientfico ocidental e, mais recentemente, a informtica (Bastos; Keller). 1.1. Lgica formal e Lgica material
Raciocnio Lgico
19
APOSTILAS OPO
por sua vez, recebe uma denominao (as palavras ou termos, p. ex.: mesa, trs e arcanjo). O juzo ato pelo qual os conceitos ou idias so ligadas ou separadas dando origem emisso de um julgamento (falso ou verdadeiro) sobre a realidade, mediante proposies orais ou escritas. Por exemplo: H trs arcanjos sobre a mesa da sala O raciocnio, por fim, consiste no arranjo intelectual dos juzos ou proposies, ordenando adequadamente os contedos da conscincia. No raciocnio, parte-se de premissas para se chegar a concluses que devem ser adequadas. Procedendo dessa forma, adquirem-se conhecimentos novos e defende-se ou aprofunda-se o que j se conhece. Para tanto, a cada passo, preciso preencher os requisitos da coerncia e do rigor. Por exemplo: Se os trs arcanjos esto sobre a mesa da sala, no esto sobre a mesa da varanda Quando os raciocnios so organizados com tcnica e arte e expostos de forma tal a convencer a platia, o leitor ou qualquer interlocutor tem-se a argumentao. Assim, a atividade argumentativa envolve o interesse da persuaso. Argumentar o ncleo principal da retrica, considerada a arte de convencer mediante o discurso. Partindo do pressuposto de que as pessoas pensam aquilo que querem, de acordo com as circunstncias da vida e as decises pessoais (subjetividade), um argumento conseguir atingir mais facilmente a meta da persuaso caso as idias propostas se assentem em boas razes, capazes de mexer com as convices daquele a quem se tenta convencer. Muitas vezes, julga-se que esto sendo usadas como bom argumento opinies que, na verdade, no passam de preconceitos pessoais, de modismos, de egosmo ou de outras formas de desconhecimento. Mesmo assim, a habilidade no argumentar, associada desateno ou ignorncia de quem ouve, acaba, muitas vezes, por lograr a persuaso. Pode-se, ento, falar de dois tipos de argumentao: boa ou m, consistente/slida ou inconsistente/frgil, lgica ou ilgica, coerente ou incoerente, vlida ou no-vlida, fraca ou forte etc. De qualquer modo, argumentar no implica, necessariamente, manter-se num plano distante da existncia humana, desprezando sentimentos e motivaes pessoais. Pode-se argumentar bem sem, necessariamente, descartar as emoes, como no caso de convencer o aluno a se esforar nos estudos diante da perspectiva de frias mais tranqilas. Enfim, argumentar corretamente (sem armar ciladas para o interlocutor) apresentar boas razes para o debate, sustentar adequadamente um dilogo, promovendo a dinamizao do pensamento. Tudo isso pressupe um clima democrtico. 1.3. Inferncia Lgica Cabe lgica a tarefa de indicar os caminhos para um raciocnio vlido, visando verdade. Contudo, s faz sentido falar de verdade ou falsidade quando entram em jogo asseres nas quais se declara algo, emitindo-se um juzo de realidade. Existem, ento, dois tipos de frases: as assertivas e as no assertivas, que tambm podem ser chamadas de proposies ou juzos. Nas frases assertivas afirma-se algo, como nos exemplos: a raiz quadrada de 9 3 ou o sol brilha noite. J, nas
Raciocnio Lgico
20
APOSTILAS OPO
devem respeitar tais princpios, assim tambm o pensamento deve respeit-los. So eles: a) Princpio da identidade, pelo qual se delimita a realidade de um ser. Trata-se de conceituar logicamente qual a identidade de algo a que se est fazendo referncia. Uma vez conceituada uma certa coisa, seu conceito deve manterse ao longo do raciocnio. Por exemplo, se estou falando de um homem chamado Pedro, no posso estar me referindo a Antnio. b) Princpio da no-contradio. Se algo aquilo que , no pode ser outra coisa, sob o mesmo aspecto e ao mesmo tempo. Por exemplo, se o brasileiro Joo est doente agora, no est so, ainda que, daqui a pouco possa vir a curar-se, embora, enquanto Joo, ele seja brasileiro, doente ou so; c) Princpio da excluso do terceiro termo. Entre o falso e o verdadeiro no h meio termo, ou falso ou verdadeiro. Ou est chovendo ou no est, no possvel um terceiro termo: est meio chovendo ou coisa parecida. A lgica clssica e a lgica matemtica aceitam os trs princpios como suas pedras angulares, no entanto, mais recentemente, Lukasiewicz e outros pensadores desenvolveram sistemas lgicos sem o princpio do terceiro excludo, admitindo valor lgico no somente ao falso e ao verdadeiro, como tambm ao indeterminado. 2. Argumentao e Tipos de Raciocnio Conforme vimos, a argumentao o modo como exposto um raciocnio, na tentativa de convencer algum de alguma coisa. Quem argumenta, por sua vez, pode fazer uso de diversos tipos de raciocnio. s vezes, so empregados raciocnios aceitveis do ponto de vista lgico, j, em outras ocasies, pode-se apelar para raciocnios fracos ou invlidos sob o mesmo ponto de vista. bastante comum que raciocnios desse tipo sejam usados para convencer e logrem o efeito desejado, explorando a incapacidade momentnea ou persistente de quem est sendo persuadido de avaliar o valor lgico do raciocnio empregado na argumentao. Um bom raciocnio, capaz de resistir a crticas, precisa ser dotado de duas caractersticas fundamentais: ter premissas aceitveis e ser desenvolvido conforme as normas apropriadas. Dos raciocnios mais empregados na argumentao, merecem ser citados a analogia, a induo e a deduo. Dos trs, o primeiro o menos preciso, ainda que um meio bastante poderoso de convencimento, sendo bastante usado pela filosofia, pelo senso comum e, particularmente, nos discursos jurdico e religioso; o segundo amplamente empregado pela cincia e, tambm, pelo senso comum e, por fim, a deduo tida por alguns como o nico raciocnio autenticamente lgico, por isso, o verdadeiro objeto da lgica formal. A maior ou menor valorizao de um ou de outro tipo de raciocnio depender do objeto a que se aplica, do modo como desenvolvido ou, ainda, da perspectiva adotada na abordagem da natureza e do alcance do conhecimento. s vezes, um determinado tipo de raciocnio no adequadamente empregado. Vejam-se os seguintes exemplos: o mdico alemo Ludwig Bchner (1824-1899) apresentou como argumento contra a existncia da alma o fato de esta nunca ter sido encontrada nas diversas dissecaes do corpo humano; o astronauta russo Gagarin (1934-1968) afirmou que Deus no existe pois esteve l em cima e no o encontrou. Nesses exemplos fica bem claro que o raciocnio indutivo, baseado na observao emprica, no o mais adequa-
Raciocnio Lgico
21
APOSTILAS OPO
Analogia forte - A Terra um planeta com atmosfera, com clima ameno e tem gua; em Marte, tal como na Terra, houve atmosfera, clima ameno e gua; na Terra existe vida, logo, tal como na Terra, em Marte deve ter havido algum tipo de vida. Analogia fraca - T. Edison dormia entre 3 e 4 horas por noite e foi um gnio inventor; eu dormirei durante 3 1/2 horas por noite e, por isso, tambm serei um gnio inventor. c) No devem existir divergncias marcantes na comparao.tc "c) No devem existir divergncias marcantes na comparao.." Analogia forte - A pescaria em rios no proveitosa por ocasio de tormentas e tempestades; a pescaria marinha no est tendo sucesso porque troveja muito. Analogia fraca - Os operrios suos que recebem o salrio mnimo vivem bem; a maioria dos operrios brasileiros, tal como os operrios suos, tambm recebe um salrio mnimo; logo, a maioria dos operrios brasileiros tambm vive bem, como os suos. Pode-se notar que, no caso da analogia, no basta considerar a forma de raciocnio, muito importante que se avalie o seu contedo. Por isso, esse tipo de raciocnio no admitido pela lgica formal. Se as premissas forem verdadeiras, a concluso no o ser necessariamente, mas possivelmente, isto caso cumpram-se as exigncias acima. Tal ocorre porque, apesar de existir uma estrutura geral do raciocnio analgico, no existem regras claras e precisas que, uma vez observadas, levariam a uma concluso necessariamente vlida. O esquema bsico do raciocnio analgico : A N, L, Y, X; B, tal como A, N, L, Y, X; A , tambm, Z logo, B, tal como A, tambm Z. Se, do ponto de vista da lgica formal, o raciocnio analgico precrio, ele muito importante na formulao de hipteses cientficas e de teses jurdicas ou filosficas. Contudo, as hipteses cientficas oriundas de um raciocnio analgico necessitam de uma avaliao posterior, mediante procedimentos indutivos ou dedutivos. Observe-se o seguinte exemplo: John Holland, fsico e professor de cincia da computao da Universidade de Michigan, lanou a hiptese (1995) de se verificar, no campo da computao, uma situao semelhante que ocorre no da gentica. Assim como na natureza espcies diferentes podem ser cruzadas para obter o chamado melhoramento gentico - um indivduo mais adaptado ao ambiente -, na informtica, tambm o cruzamento de programas pode contribuir para montar um programa mais adequado para resolver um determinado problema. Se quisermos obter uma rosa mais bonita e perfumada, teremos que cruzar duas espcies: uma com forte perfume e outra que seja bela diz Holland. Para resolver um problema, fazemos o mesmo. Pegamos um programa que d conta de uma parte do problema e cruzamos com outro programa que solucione outra parte. Entre as vrias solues possveis, selecionam-se aquelas que parecem mais adequadas. Esse processo se repete por vrias geraes - sempre selecionando o melhor programa at obter o descendente que mais se adapta questo. ,
Raciocnio Lgico
22
APOSTILAS OPO
Mnica mulher e dirige mal; Carla mulher e dirige mal; logo, todas as mulheres dirigem mal. 2. Antnio Carlos poltico e corrupto; Fernando poltico e corrupto; Paulo poltico e corrupto; Estevo poltico e corrupto; logo, todos os polticos so corruptos. A avaliao da suficincia ou no dos elementos no tarefa simples, havendo muitos exemplos na histria do conhecimento indicadores dos riscos das concluses por induo. Basta que um caso contrarie os exemplos at ento colhidos para que caia por terra uma verdade por ela sustentada. Um exemplo famoso o da cor dos cisnes. Antes da descoberta da Austrlia, onde foram encontrados cisnes pretos, acreditava-se que todos os cisnes fossem brancos porque todos os at ento observados eram brancos. Ao ser visto o primeiro cisne preto, uma certeza de sculos caiu por terra. 2.2.1. Procedimentos indutivos Apesar das muitas crticas de que passvel o raciocnio indutivo, este um dos recursos mais empregados pelas cincias para tirar as suas concluses. H dois procedimentos principais de desenvolvimento e aplicao desse tipo de raciocnio: o da induo por enumerao incompleta suficiente e o da induo por enumerao completa. a. Induo por enumerao incompleta suficiente Nesse procedimento, os elementos enumerados so tidos como suficientes para serem tiradas determinadas concluses. o caso do exemplo das cobras, no qual, apesar de no poderem ser conferidos todos os elementos (cobras) em particular, os que foram enumerados so representativos do todo e suficientes para a generalizao (todas as cobras...) b. Induo por enumerao completa Costuma-se tambm classificar como indutivo o raciocnio baseado na enumerao completa. Ainda que alguns a classifiquem como tautologia, ela ocorre quando: b.a. todos os casos so verificados e contabilizados; b.b. todas as partes de um conjunto so enumeradas. Exemplos correspondentes s duas formas de induo por enumerao completa: b.a. todas as ocorrncias de dengue foram investigadas e em cada uma delas foi constatada uma caracterstica prpria desse estado de morbidez: fortes dores de cabea; obtevese, por conseguinte, a concluso segura de que a dor de cabea um dos sintomas da dengue. b.b. contam-se ou conferem-se todos as peas do jogo de xadrez: ao final da contagem, constata-se que so 32 peas. Nesses raciocnios, tem-se uma concluso segura, podendo-se classific-los como formas de induo forte, mesmo que se revelem pouco criativos em termos de pesquisa cientfica. O raciocnio indutivo nem sempre aparece estruturado nos moldes acima citados. s vezes, percebe-se o seu uso pela
Raciocnio Lgico
23
APOSTILAS OPO
Assim sendo, deve-se ter um relativo cuidado com as suas concluses. Elas expressam muito bem a necessidade humana de explicar e prever os acontecimentos e as coisas, contudo, tambm revelam as limitaes humanas no que diz respeito construo do conhecimento. 2.3. Raciocnio dedutivo - do geral ao particular O raciocnio dedutivo, conforme a convico de muitos estudiosos da lgica, aquele no qual so superadas as deficincias da analogia e da induo. No raciocnio dedutivo, inversamente ao indutivo, parte-se do geral e vai-se ao particular. As inferncias ocorrem a partir do progressivo avano de uma premissa de cunho geral, para se chegar a uma concluso to ou menos ampla que a premissa. O silogismo o melhor exemplo desse tipo de raciocnio: Premissa maior: Todos os homens so mamferos. universal Premissa menor: Pedro homem. Concluso: Logo, Pedro mamfero. Particular No raciocnio dedutivo, de uma premissa de cunho geral podem-se tirar concluses de cunho particular. Aristteles refere-se deduo como a inferncia na qual, colocadas certas coisas, outra diferente se lhe segue necessariamente, somente pelo fato de terem sido postas. Uma vez posto que todos os homens so mamferos e que Pedro homem, h de se inferir, necessariamente, que Pedro um mamfero. De certo modo, a concluso j est presente nas premissas, basta observar algumas regras e inferir a concluso. 2.3.1. Construo do Silogismo A estrutura bsica do silogismo (sn/com + lgos/razo) consiste na determinao de uma premissa maior (ponto de partida), de uma premissa menor (termo mdio) e de uma concluso, inferida a partir da premissa menor. Em outras palavras, o silogismo sai de uma premissa maior, progride atravs da premissa menor e infere, necessariamente, uma concluso adequada. Eis um exemplo de silogismo: or Todos os atos que ferem a lei so punveis Premissa MaiA concusso um ato que fere a lei Premissa Menor Logo, a concusso punvel Concluso
O silogismo estrutura-se por premissas. No mbito da lgica, as premissas so chamadas de proposies que, por sua vez, so a expresso oral ou grfica de frases assertivas ou juzos. O termo uma palavra ou um conjunto de palavras que exprime um conceito. Os termos de um silogismo so necessariamente trs: maior, mdio e menor. O termo maior aquele cuja extenso maior (normalmente, o predicado da concluso); o termo mdio o que serve de intermedirio ou de conexo entre os outros dois termos (no figura na concluso) e o termo menor o de menor extenso (normalmente, o sujeito da concluso). No exemplo acima, punvel o termo maior, ato que fere a lei o termo mdio e concusso o menor. 2.3.1.1. As Regras do Silogismo Oito so as regras que fazem do silogismo um raciocnio perfeitamente lgico. As quatro primeiras dizem respeito s relaes entre os termos e as demais dizem respeito s relaes entre as premissas. So elas:
Raciocnio Lgico
24
APOSTILAS OPO
Premissa Maior: As aves so animais que voam. Premissa Menor: Alguns animais no so aves. Concluso: Alguns animais no voam. Exemplo de formulao incorreta: Premissa Maior: As aves so animais que voam. Premissa Menor: Alguns animais no so aves. Concluso: Alguns animais voam. 8) De duas premissas particulares nada se conclui. Exemplo de formulao incorreta: Premissa Maior: Mimi um gato. Premissa Menor: Um gato foi covarde. Concluso: (?) http://www.guiadoconcursopublico.com.br/apostilas/24_12 0.pdf
Raciocnio Lgico
25
APOSTILAS OPO
c) Andr e Beto so inocentes d) Caio e Dnis so culpados 12) Qual das alternativas a seguir melhor representa a afirmao: Para todo fato necessrio um ato gerador? a) possvel que algum fato no tenha ato gerador. b) No possvel que algum fato no tenha ato gerador. c) necessrio que algum fato no tenha ato gerador. d) No necessrio que todo fato tenha um ato gerador. 13) (QUESTES DE RACIOCNIO LGICO) Marcos que pesar trs mas numa balana de dois pratos, mas ele dispes apenas de um bloco de 200 gramas. Observando o equilbrio na balana, ele percebe que a ma maior tem o mesmo peso que as outras duas mas; o bloco e a ma menor pesam tanto quanto as outras duas mas; a ma maior junto com a menor pesam tanto quanto o bloco. Qual o peso total das trs mas? a) 300 gramas. b) 150 gramas. c) 100 gramas. d) 50 gramas. 14) Se Joo toca piano, ento Lucas acorda cedo e Cristina no consegue estudar. Mas Cristina consegue estudar. Segue-se logicamente que: a) Lucas acorda cedo. b) Lucas no acorda cedo. c) Joo toca piano. d) Joo no toca piano. 15) Alice entra em uma sala onde h apenas duas sadas, uma que fica a Leste e outra a Oeste. Uma das sadas leva ao Paraso, a outra ao Inferno. Na sala, tambm h dois homens, um alto e outro baixo. Um dos homens apenas fala a verdade, o outro apenas diz o falso. Ento, Alice mantm o seguinte dilogo com um deles: - O homem baixo diria que a sada do Leste que leva ao Paraso? - questiona Alice. - Sim, o homem baixo diria que a sada do Leste que levaria ao Paraso - diz o homem alto. Considerando essa situao, pode-se afirmar que: a) o homem alto necessariamente disse algo falso, mas a porta Leste leva ao Paraso. b) o homem alto necessariamente disse a verdade e a porta Leste leva ao Inferno. c) a porta Leste necessariamente leva ao Paraso, mas no se pode dizer se o homem alto disse a verdade ou no. d) a porta Leste necessariamente leva ao Inferno, mas no se pode dizer se o homem alto disse a verdade ou no. 16) (QUESTES DE RACIOCNIO LGICO) As irms Ilda, Ilma, Isabela e Isadora iriam ser fotografadas juntas por Flvio. O fotgrafo pediu para que elas se posicionassem lado a lado da seguinte maneira: - do ponto de vista do fotgrafo, Ilda deveria estar mais direita do que Isabela; - Isadora no deveria ficar entre duas irms; - Ilda no deveria ficar imediatamente ao lado de Isabela, isto , pelo menos uma irm deveria estar entre Ilda e Isabela; - Isabela no deveria ficar imediatamente ao lado de Isadora, isto , pelo menos uma irm deveria estar entre Isabela e Isadora. As irms se posicionaram conforme as orientaes de Flvio, a fotografia foi batida e revelada com sucesso. Assim, na foto, possvel ver que: a) Isabela est entre duas irms. b) Ilda no est entre duas irms. c) Ilma no est entre duas irms. d) Ilma est imediatamente ao lado de Ilda. 17) Se 0,036 , 0 m de leo tem a massa de 28,8 Kg, pode-
Raciocnio Lgico
26
APOSTILAS OPO
a) 12 quadrados b) 10 quadrados c) 20 quadrados d) 16 quadrados 25) (QUESTES DE RACIOCNIO LGICO) Esta sequncia de palavras segue uma lgica: - P - Xale - Japeri Uma quarta palavra que daria continuidade lgica sequncia poderia ser: a) Casa. b) Anseio. c) Urubu. d) Caf. 26) A negao da sentena Todas as mulheres so elegantes est na alternativa: a) Nenhuma mulher elegante. b) Todas as mulheres so deselegantes. c) Algumas mulheres so deselegantes. d) Nenhuma mulher deselegante. 27) (QUESTES DE RACIOCNIO LGICO) Pedro e Paulo esto em uma sala que possui 10 cadeiras dispostas em uma fila. O nmero de diferentes formas pelas quais Pedro e Paulo podem escolher seus lugares para sentar, de modo que fique ao menos uma cadeira vazia entre eles, igual a: a) 80 b) 72 c) 90 d) 18 28) MMMNVVNM est para 936 assim como MMNNVMNV est para: a) 369 b) 693 c) 963 d) 639 29) (QUESTES DE RACIOCNIO LGICO) Uma colher de sopa corresponde a trs colheres de ch. Uma pessoa que est doente tem que tomar trs colheres de sopa de um remdio por dia. No final de uma semana, a quantidade de colheres de ch desse remdio que ela ter tomado de: a) 63; b) 56; c) 28; d) 21; 30) (QUESTES DE RACIOCNIO LGICO) Para cada pessoa x, sejam f(x) o pai de x e g(x) a me de x. A esse respeito, assinale a afirmativa FALSA. a) f[f(x)] = av paterno de x b) g[g(x)] = av materna de x c) f[g(x)] = av materno de x d) f[g(x)] = g[f(x)] Gabarito 1.D 2.A 3.D 4.B 5.B 6.A 7.D 8.D 9.D 10.D 11.B 12.B 13.A 14.D 15.D 16.D 17.C 18.B 19.D 20.D 21.A 22.B 23.A 24.D 25.B 26.C 27.B 28.D 29.A 30.D Postado por cleiton silva
Raciocnio Lgico
27
APOSTILAS OPO
A sentena (2) pode ser analisada de trs maneiras diferentes, que correspondem a trs predicados diferentes que podem ser formados a partir de (2): (2a) x me de Sasha; (2b) Xuxa me de x; (2c) x me de y. Do ponto de vista lgico, em (2c) temos o que chamado de um predicado binrio, isto , um predicado que, diferentemente de x brasileiro, deve completado por dois nomes prprios para formar uma sentena. As sentenas (1) e (2) acima so denominadas sentenas atmicas. Uma sentena atmica uma sentena formada por um predicado com um ou mais espaos vazios, sendo todos os espaos vazios completados por nomes prprios. Sentenas atmicas no contm nenhum dos operadores lgicos e, ou, se...ento etc., nem os quantificadores todo, nenhum, algum etc. Sentenas moleculares so sentenas formadas com o auxlio dos operadores sentenciais. Exemplos de sentenas moleculares so (3) Lula brasileiro e Zidane francs, (4) Se voc beber, no dirija, (5) Joo vai praia ou vai ao clube. 3. A interpretao vero-funcional dos operadores sentenciais Os operadores sentenciais que estudaremos aqui so as partculas do portugus no, ou, e, se...ento, se, e somente se. A lgica sentencial interpreta esses operadores como funes de verdade ou vero-funcionalmente. Isso significa que eles operam apenas com os valores de verdade dos seus operandos, ou em outras palavras, o valor de verdade de uma sentena formada com um dos operadores determinado somente pelos valores de verdade das sentenas que a constituem. Os operadores sentenciais se comportam de uma maneira anloga s funes matemticas. Estas recebem nmeros como argumentos e produzem nmeros como valores. Os operadores sentenciais so funes porque recebem valores de verdade como argumentos e produzem valores de verdade. Considere-se a seguinte funo matemtica: (4) y = x + 1. Dizemos que y = f(x), isto , y funo de x, o que significa que o valor de y depende do valor atribudo a x. Quando x = 1, y = 2; x = 2, y = 3; x = 3, y = 4, e assim por diante. Analogamente a uma funo matemtica, uma funo de verdade recebe valores de verdade como argumentos e produz valores de verdade como valores. As chamadas tabelas de verdade mostram como os operadores da lgica sentencial funcionam. No lado esquerdo da tabela de verdade temos as sentenas a partir das quais a sentena composta foi formada no caso da negao, uma nica sentena. O valor produzido pela funo de verdade est na coluna da direita. As letras V e F representam os valores de verdade verdadeiro e falso. 4. A negao Comecemos pelo operador sentencial mais simples, a negao. A tabela de verdade da negao de uma sentena A A no A VF FV
Raciocnio Lgico
28
APOSTILAS OPO
produzem um valor de verdade como resultado. Comearei pela disjuno inclusiva. Considere-se a sentena (17) Ou Joo vai praia ou Joo vai ao clube, que formada pela sentenas (18) Joo vai praia e (19) Joo vai ao clube combinadas pelo operador ou. A sentena (17) verdadeira em trs situaes: (i) Joo vai praia e tambm vai ao clube; (ii) Joo vai praia mas no vai ao clube e (iii) Joo no vai praia mas vai ao clube. A tabela de verdade da disjuno inclusiva a seguinte: A B A ou B VVV VFV FVV FFF No sentido inclusivo do ou, uma sentena A ou B verdadeira quando uma das sentenas A e B verdadeira ou quando so ambas verdadeiras, isto , a disjuno inclusiva admite a possibilidade de A e B serem simultaneamente verdadeiras. No sentido exclusivo do ou, uma sentena A ou B verdadeira apenas em duas situaes: (i) A verdadeira e B falsa; (ii) B verdadeira e A e falsa. No h, na disjuno exclusiva, a possibilidade de serem ambas as sentenas verdadeiras. A tabela de verdade da disjuno exclusiva A B A ou B VVF VFV FVV FFF Um exemplo de disjuno exnclusiva (20) Ou o PMDB ou o PP receber o ministrio da sade, que formada a partir das sentenas: (21) o PMDB receber o ministrio da sade; (22) o PP receber o ministrio da sade. Quando se diz que um determinado partido receber um ministrio, isso significa que um membro de tal partido ser nomeado ministro. Posto que h somente um ministro da sade, no possvel que (21) e (22) sejam simultaneamente verdadeiras. O ou da sentena (20), portanto, exclusivo. Na lgica simblica, so usados smbolos diferentes para designar o ou inclusivo e o exclusivo. No latim, h duas palavras diferentes, vel para a disjuno inclusiva e aut para a exclusiva. No portugus isso no ocorre. Na maioria das vezes apenas o contexto que deixa claro se se trata de uma disjuno inclusiva ou exclusiva. Assim como ocorre com a conjuno, sentenas A ou B e B ou A so equivalentes. Isso vale tanto para o ou inclusivo quanto para o exclusivo. 7. A condicional Uma condicional uma sentena da forma se A, ento B. A denominado o antecedente e B o conseqente da condicional. Em primeiro lugar, importante deixar clara a diferena entre um argumento (23) A, logo B e uma condicional (24) se A, ento B. Em (23) a verdade tanto de A quanto de B afirmada.
Raciocnio Lgico
29
APOSTILAS OPO
Temos nesse caso a terceira linha da tabela de verdade da condicional. Note que a condicional (25) continua sendo verdadeira mesmo que Victor seja paulista, isto , quando o antecedente falso. Por fim, suponha que Victor francs. Nesse caso, tanto (26) Victor carioca quanto (27) Victor brasileiro so falsas. Temos aqui a quarta linha da tabela de verdade da condicional material. Mas, ainda assim, a sentena (25) verdadeira. Vejamos outro exemplo. Considere a condicional (28) Se Pedro no jogar na loteria, no ganhar o prmio. Essa uma condicional verdadeira. Por qu? Porque impossvel (em uma situao normal) o antecedente ser verdadeiro e o conseqente falso. Isto , no possvel Pedro no jogar e ganhar na loteria. Fica como exerccio para o leitor a construo da tabela de verdade de (28). No difcil perceber, em casos como (25) e (28) acima, por que uma condicional verdadeira quando o antecedente falso. O problema que, sendo a condicional material uma funo de verdade, coisas como (29) se 2 + 2 = 5, ento a Lua de queijo so verdadeiras. Sem dvida, esse um resultado contra-intuitivo. Note que toda condicional material com antecedente falso ser verdadeira. Mas no uso corrente da linguagem normalmente no formulamos condicionais com o antecedente falso. Mas cabe perguntar: se a condicional material de fato no expressa todos os usos do se...ento em portugus e, alm disso, produz resultados contra-intuitivos como a sentena (29), por que ela til para o estudo de argumentos construdos com a linguagem natural? A resposta muito simples. O caso em que a condicional material falsa, a segunda linha da tabela de verdade, corresponde exatamente ao caso em que, no uso corrente da linguagem, uma sentena se A, ento B falsa. Considere-se a sentena (30) Se Lula conseguir o apoio do PMDB, ento far um bom governo. Em (30), o ponto que Lula far um bom governo porque tem o apoio do PMDB. H um suposto nexo explicativo e causal entre o antecedente e o conseqente. Suponha, entretanto, que Lula obtm o apoio do PMDB durante todo o seu mandato, mas ainda assim faz um mau governo. Nesse caso, em que o antecedente verdadeiro e o conseqente falso, (30) falsa. Abaixo, voc encontra diferentes maneiras de expressar, na linguagem natural, uma condicional se A, ento B, todas equivalentes. Se A, B B, se A Caso A, B B, caso A As expresses abaixo tambm so equivalentes a se A, ento B: A, somente se B Somente se B, A A condio suficiente para B B condio necessria para A,mas elas sero vistas com mais ateno na seo sobre condies necessrias e suficientes. 8. Variantes da condicional material Partindo de uma condicional (31) Se A, ento B podemos construir sua conversa, (32) Se B, ento A sua inversa
Raciocnio Lgico
30
APOSTILAS OPO
9b. Negao da conjuno Por um raciocnio anlogo ao utilizado na negao da disjuno, para negar uma conjuno precisamos afirmar os casos em que a conjuno falsa. Esses casos so a segunda, a terceira e a quarta linhas da tabela de verdade. Isto , A e B falsa quando: (i) A falsa, (ii) B falsa ou (iii) A e B so ambas falsas. fcil perceber que basta uma das sentenas ligadas pelo e ser falsa para a conjuno ser falsa. A negao de A e B, portanto, no A ou no B. Fica como exerccio para o leitor a construo das tabelas de verdade de A e B e no A ou no B para constatar que so idnticas. Exemplos de negaes de conjunes: (6) O PMDB receber o ministrio da sade e o ministrio da cultura. A negao de (6) (6a) Ou PMDB no receber o ministrio da sade, ou no receber o ministrio da cultura. (7) Beba e dirija. A negao de (7) (7a) no beba ou no dirija. Fonte: http://abilioazambuja.sites.uol.com.br/1d.pdf
QUESTES I
01. Sendo p a proposio Paulo paulista e q a proposio Ronaldo carioca, traduzir para a linguagem corrente as seguintes proposies: a) ~q b) p ^ q c) p v q d) p " q e) p " (~q) 02. Sendo p a proposio Roberto fala ingls e q a proposio Ricardo fala italiano traduzir para a linguagem simblica as seguintes proposies: a) Roberto fala ingls e Ricardo fala italiano. b) Ou Roberto no fala ingls ou Ricardo fala italiano. c) Se Ricardo fala italiano ento Roberto fala ingls. d) Roberto no fala ingls e Ricardo no fala italiano. 03. (UFB) Se p uma proposio verdadeira, ento: a) p ^ q verdadeira, qualquer que seja q; b) p v q verdadeira, qualquer que seja q; c) p ^ q verdadeira s se q for falsa; d) p =>q falsa, qualquer que seja q e) n.d.a. 04. (MACK) Duas grandezas x e y so tais que "se x = 3 ento y = 7". Pode-se concluir que: a) se x 3 anto y 7 b) se y = 7 ento x = 3 c) se y 7 ento x 3 d) se x = 5 ento y = 5 e) se x = 7 ento y = 3 05. (ABC) Assinale a proposio composta logicamente verdadeira: a) (2 = 3) => (2 . 3 = 5) b) (2 = 2) => (2 . 3 = 5) c) (2 = 3) e (2 . 3 = 5) d) (2 = 3) ou (2 . 3 = 5) e) (2 = 3) e (~ ( 2= 2)) 06. (UGF) A negao de x > -2 : a) x > 2 b) x #-2 c) x < -2
http://www.coladaweb.com/matematica/logica JULGUE SE PROPOSIO E JUSTIFIQUE: 1. Paulo alto. 2. Ele foi o melhor jogador da copa. 3. x > y 4. Rossana mais velha que Marcela? 5. Mrio pintor 6. x + 2 = 5 7. 3 + 4 = 9 8. um pssimo livro de geografia 9. Se x um nmero primo ento x um nmero real 10. x um nmero primo. GABARITO 1.proposio 2. vaga ou sentena aberta 3.sentena aberta 4. interrogativa 5. proposio 6. sentena aberta 7. proposio 8. proposio
Raciocnio Lgico
31
APOSTILAS OPO
9. proposio ( varivel no livre ) 10. sentena aberta ou imperativa
TESTES
1. Julgue se a afirmao a seguir CERTA ou ERRADA. H duas proposies no seguinte conjunto de sentenas: I O BB foi criado em 1980. II Faa seu trabalho corretamente. III Manuela tem mais de 40 anos de idade. 2. Julgue com CERTO ou ERRADO: Na lista de frases apresentadas a seguir, h exatamente trs proposies. a frase dentro destas aspas uma mentira A expresso x + y positiva O valor de + 3 = 7 Pel marcou dez gols para a seleo brasileira. O que isto? 3. Agente Fiscal de Rendas Nvel I / SP 2006 FCC Considere as seguintes frases: I Ele foi o melhor jogador do mundo em 2005. II (x + y) / 5 um nmero inteiro III Joo da Silva foi o Secretrio da Fazenda do Estado de So Paulo em 2000. verdade que APENAS a) I e II so sentenas abertas b) I e III so sentenas abertas c) II e III so sentenas abertas d) I uma sentena aberta e) II uma sentena aberta 4. Das cinco frases abaixo, quatro delas tm uma mesma caracterstica lgica em comum, enquanto uma delas no tem essa caracterstica. I Que belo dia! II Um excelente livro de raciocnio lgico. III O jogo terminou empatado? IV Existe vida em outros planetas do universo. V Escreva uma poesia. A frase que no possui essa caracterstica comum a a) I b) II c) III d) IV e) V 5. CESPE (Adaptado) JULGUE COM CERTO OU ERRADO: Das cinco (5) afirmaes abaixo, trs delas so proposies. I Mariana mora em Pima. II Em Vila Velha, visite o Convento da Penha. III A expresso algbrica x + y positiva. IV Se Joana economista, ento ela no entende de polticas pblicas. V A SEGER oferece 220 vagas em concurso pblico. GABARITO 1. certa 2. errada 3.A 4.D 5. certa
Raciocnio Lgico
32
APOSTILAS OPO
Regrinha para o conectivo de negao (~):
P V F CONJUNO (smbolo ):
~P F V
Este conectivo utilizado para unir duas proposies formando uma terceira. O resultado dessa unio somente ser verdadeiro se as duas proposies (P e Q) forem verdadeiras, ou seja, sendo pelo menos uma falsa, o resultado ser FALSO. e Ex.2: P Q. (O Po barato e o Queijo no bom.) = Regrinha para o conectivo de conjuno (): P V V F F Q V F V F PQ V F F F
Fonte: http://www.concursospublicosonline.com/
TABELA VERDADE
Tabela-verdade, tabela de verdade ou tabela veritativa um tipo de tabela matemtica usada em Lgica para determinar se uma frmula vlida ou se um sequente correto. As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da dcada de 1880, e tomaram a forma atual em 1922 atravs dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicao do Tractatus LogicoPhilosophicus, de Wittgenstein, utilizava as mesmas para classificar funes veritativas em uma srie. A vasta influncia de seu trabalho levou, ento, difuso do uso de tabelas-verdade. Como construir uma Tabela Verdade Uma tabela de verdade consiste em: 1) Uma linha em que esto contidos todas as subfrmulas de uma frmula. Por exemplo, a frmula ((A B)C) tem o seguinte conjuntos de subfrmulas: { ((AB)C) , (A B)C , A B , A , B , C} 2) l linhas em que esto todos possveis valores que os termos podem receber e os valores cujas as frmulas moleculares tem dados os valores destes termos. O nmero destas linhas l = nt , sendo n o nmero de valores que o sistema permite (sempre 2 no caso do Clculo Proposicional Clssico) e t o nmero de termos que a frmula contm. Assim, se uma frmula contm 2 termos, o nmero de linhas que expressam a permutaes entre estes ser 4: um caso de ambos termos serem verdadeiros (V V), dois casos de apenas um dos termos ser verdadeiro (V F , F V) e um caso no qual ambos termos so falsos (F F). Se a frmula contiver 3 termos, o nmero de linhas que expressam a permutaes entre estes ser 8: um caso de todos termos serem verdadeiros (V V V), trs casos de apenas dois termos serem verdadeiros (V V F , V F V , F V V), trs casos de apenas um dos termos ser verdadeiro (V F F , F V F , F F V) e um caso no qual todos termos so falsos (F F F).
DISJUNO (smbolo V): Este conectivo tambm serve para unir duas proposies. O resultado ser verdadeiro se pelo menos uma das proposies for verdadeira. Ex3.: P V Q. (Ou o Po barato ou o Queijo no bom.) V = ou Regrinha para o conectivo de disjuno (V): P V V F F Q V F V F PVQ V V V F
CONDICIONAL (smbolo ) Este conectivo d a ideia de condio para que a outra proposio exista. P ser condio suficiente para Q e Q condio necessria para P. Ex4.: P Q. (Se o Po barato ento o Queijo no bom.) = se...ento Regrinha para o conectivo condicional (): P V V F F Q V F V F P Q V F V V
Raciocnio Lgico
33
APOSTILAS OPO
Tabelas das Principais Operaes do Clculo Proposicional Dei Negao A V F ~A F V
A negao da proposio "A" a proposio "~A", de maneira que se "A" verdade ento "~A" falsa, e viceversa. Conjuno (E) A conjuno verdadeira se e somente se os operandos so verdadeiros A V V F F Disjuno (OU) A disjuno falsa se, e somente se ambos os operandos forem falsos B V F V F A^B V F F F
Como usar tabelas para verificar a validade de argumentos Verifique se a concluso nunca falsa quando as premissas so verdadeiros. Em caso positivo, o argumento vlido. Em caso negativo, invlido. Alguns argumentos vlidos Modus ponens
B V F V F
AB V F V V
Condicional (Se... Ento) [Implicao] A conjuno falsa se, e somente se, o primeiro operando verdadeiro e o segundo operando falso A V V F F B V F V F AB V F V V A V V F F B V F V F A F F V V B F V F V AB V F V V
Bicondicional (Se e somente se) [Equivalncia] A conjuno verdadeira se, e somente se, ambos operandos forem falsos ou ambos verdadeiros A V V F F B V F V F AB V F F V
Silogismo Hipottico
A V V V V F F F F
B V V F F V V F F
C V F V F V F V F
AB V V F F V V V V
BC V F V V V F V V
AC V F V F V V V V
DISJUNO EXCLUSIVA (OU... OU XOR) A conjuno verdadeira se, e somente se, apenas um dos operandos for verdadeiro
Raciocnio Lgico
34
APOSTILAS OPO
Algumas falcias Afirmao do conseqente Se A, ento B. (AB) B. Logo, A. A V V F F B V F V F AB V F V V
OBS: CONSIDERE QUE O TAMANHO DOS CRCULOS NO INDICA O TAMANHO RELATIVO DOS CONJUNTOS.
Comutao dos Condicionais A implica B. (AB) Logo, B implica A. (BA) A V V F F Fonte: Wikipdia DIAGRAMAS LGICOS Histria Para entender os diagramas lgicos vamos dar uma rpida passada em sua origem. O suo Leonhard Euler (1707 1783) por volta de 1770, ao escrever cartas a uma princesa da Alemanha, usou os diagramas ao explicar o significado das quatro proposies categricas: Todo A B. Algum A B. Nenhum A B. Algum A no B. Mais de 100 anos depois de Euler, o logicista ingls John Venn (1834 1923) aperfeioou o emprego dos diagramas, utilizando sempre crculos. Desta forma, hoje conhecemos como diagramas de Euler/Venn. Tipos Existem trs possveis tipos de relacionamento entre dois diferentes conjuntos: Indica que um conjunto est ompletamente contido no outro, mas o inverso no verdadeiro. B V F V F AB V F V V BA V V F V
Raciocnio Lgico
35
APOSTILAS OPO
bem dominada e dirigida a um propsito determinado, como o fizeram os sofistas, a escolstica, o pensamento cientfico ocidental e, mais recentemente, a informtica (Bastos; Keller). 1.1. Lgica formal e Lgica material Desde Aristteles, seu primeiro grande organizador, os estudos da lgica orientaram-se em duas direes principais: a da lgica formal, tambm chamada de lgica menor e a da lgica material, tambm conhecida como lgica maior. A lgica formal preocupa-se com a correo formal do pensamento. Para esse campo de estudos da lgica, o contedo ou a matria do raciocnio tem uma importncia relativa. A preocupao sempre ser com a sua forma. A forma respeitada quando se preenchem as exigncias de coerncia interna, mesmo que as concluses possam ser absurdas do ponto de vista material (contedo). Nem sempre um raciocnio formalmente correto corresponde quilo que chamamos de realidade dos fatos. No entanto, o erro no est no seu aspecto formal e, sim, na sua matria. Por exemplo, partindo das premissas que (1) todos os brasileiros so europeus e que (2) Pedro brasileiro, formalmente, chegar-se- concluso lgica que (3) Pedro europeu. Materialmente, este um raciocnio falso porque a experincia nos diz que a premissa falsa. No entanto, formalmente, um raciocnio vlido, porque a concluso adequada s premissas. nesse sentido que se costuma dizer que o computador falho, j que, na maioria dos casos, processa formalmente informaes nele previamente inseridas, mas no tem a capacidade de verificar o valor emprico de tais informaes. J, a lgica material preocupa-se com a aplicao das operaes do pensamento realidade, de acordo com a natureza ou matria do objeto em questo. Nesse caso, interessa que o raciocnio no s seja formalmente correto, mas que tambm respeite a matria, ou seja, que o seu contedo corresponda natureza do objeto a que se refere. Neste caso, trata-se da correspondncia entre pensamento e realidade. Assim sendo, do ponto de vista lgico, costuma-se falar de dois tipos de verdade: a verdade formal e a verdade material. A verdade formal diz respeito, somente e to-somente, forma do discurso; j a verdade material tem a ver com a forma do discurso e as suas relaes com a matria ou o contedo do prprio discurso. Se houver coerncia, no primeiro caso, e coerncia e correspondncia, no segundo, tem-se a verdade. Em seu conjunto, a lgica investiga as regras adequadas produo de um raciocnio vlido, por meio do qual visa-se consecuo da verdade, seja ela formal ou material. Relacionando a lgica com a prtica, pode-se dizer que importante que se obtenha no somente uma verdade formal, mas, tambm, uma verdade que corresponda experincia. Que seja, portanto, materialmente vlida. A conexo entre os princpios formais da lgica e o contedo de seus raciocnios pode ser denominada de lgica informal. Trata-se de uma lgica aplicada ao plano existencial, vida quotidiana. 1.2. Raciocnio e Argumentao
Raciocnio Lgico
36
APOSTILAS OPO
emitindo-se um juzo de realidade. Existem, ento, dois tipos de frases: as assertivas e as no assertivas, que tambm podem ser chamadas de proposies ou juzos. Nas frases assertivas afirma-se algo, como nos exemplos: a raiz quadrada de 9 3 ou o sol brilha noite. J, nas frases no assertivas, no entram em jogo o falso e o verdadeiro, e, por isso, elas no tm valor de verdade. o caso das interrogaes ou das frases que expressam estados emocionais difusos, valores vivenciados subjetivamente ou ordens. A frase toque a bola, por exemplo, no falsa nem verdadeira, por no se tratar de uma assero (juzo). As frases declaratrias ou assertivas podem ser combinadas de modo a levarem a concluses conseqentes, constituindo raciocnios vlidos. Veja-se o exemplo: (1) No h crime sem uma lei que o defina; (2) no h uma lei que defina matar ETs como crime; (3) logo, no crime matar ETs. Ao serem ligadas estas assertivas, na mente do interlocutor, vo sendo criadas as condies lgicas adequadas concluso do raciocnio. Esse processo, que muitas vezes permite que a concluso seja antecipada sem que ainda sejam emitidas todas as proposies do raciocnio, chamase inferncia. O ponto de partida de um raciocnio (as premissas) deve levar a concluses bvias. 1.4. Termo e Conceito Para que a validade de um raciocnio seja preservada, fundamental que se respeite uma exigncia bsica: as palavras empregadas na sua construo no podem sofrer modificaes de significado. Observe-se o exemplo: Os jaguares so quadrpedes; Meu carro um Jaguar logo, meu carro um quadrpede. O termo jaguar sofreu uma alterao de significado ao longo do raciocnio, por isso, no tem validade. Quando pensamos e comunicamos os nossos pensamentos aos outros, empregamos palavras tais como animal, lei, mulher rica, crime, cadeira, furto etc. Do ponto de vista da lgica, tais palavras so classificadas como termos, que so palavras acompanhadas de conceitos. Assim sendo, o termo o signo lingstico, falado ou escrito, referido a um conceito, que o ato mental correspondente ao signo. Desse modo, quando se emprega, por exemplo, o termo mulher rica, tende-se a pensar no conjunto das mulheres s quais se aplica esse conceito, procurando apreender uma nota caracterstica comum a todos os elementos do conjunto, de acordo com a intencionalidade presente no ato mental. Como resultado, a expresso mulher rica pode ser tratada como dois termos: pode ser uma pessoa do sexo feminino cujos bens materiais ou financeiros esto acima da mdia ou aquela cuja trajetriaexistencial destaca-se pela bondade, virtude, afetividade e equilbrio. Para que no se obstrua a coerncia do raciocnio, preciso que fique bem claro, em funo do contexto ou de uma manifestao de quem emite o juzo, o significado dos termos empregados no discurso. 1.5. Princpios lgicos
Raciocnio Lgico
37
APOSTILAS OPO
s vezes, um determinado tipo de raciocnio no adequadamente empregado. Vejam-se os seguintes exemplos: o mdico alemo Ludwig Bchner (1824-1899) apresentou como argumento contra a existncia da alma o fato de esta nunca ter sido encontrada nas diversas dissecaes do corpo humano; o astronauta russo Gagarin (1934-1968) afirmou que Deus no existe pois esteve l em cima e no o encontrou. Nesses exemplos fica bem claro que o raciocnio indutivo, baseado na observao emprica, no o mais adequado para os objetos em questo, j que a alma e Deus so de ordem metafsica, no fsica. 2.1. Raciocnio analgico Se raciocinar passar do desconhecido ao conhecido, partir do que se sabe em direo quilo que no se sabe, a analogia (an = segundo, de acordo + lgon = razo) um dos caminhos mais comuns para que isso acontea. No raciocnio analgico, compara-se uma situao j conhecida com uma situao desconhecida ou parcialmente conhecida, aplicando a elas as informaes previamente obtidas quando da vivncia direta ou indireta da situao-referncia. Normalmente, aquilo que familiar usado como ponto de apoio na formao do conhecimento, por isso, a analogia um dos meios mais comuns de inferncia. Se, por um lado, fonte de conhecimentos do dia-a-dia, por outro, tambm tem servido de inspirao para muitos gnios das cincias e das artes, como nos casos de Arquimedes na banheira (lei do empuxo), de Galileu na catedral de Pisa (lei do pndulo) ou de Newton sob a macieira (lei da gravitao universal). No entanto, tambm uma forma de raciocnio em que se cometem muitos erros. Tal acontece porque difcil estabelecerlhe regras rgidas. A distncia entre a genialidade e a falha grosseira muito pequena. No caso dos raciocnios analgicos, no se trata propriamente de consider-los vlidos ou no-vlidos, mas de verificar se so fracos ou fortes. Segundo Copi, deles somente se exige que tenham alguma probabilidade (Introduo lgica, p. 314). A fora de uma analogia depende, basicamente, de trs aspectos: a) os elementos comparados devem ser verdadeiros e importantes; b) o nmero de elementos semelhantes entre uma situao e outra deve ser significativo; c) no devem existir divergncias marcantes na comparao. No raciocnio analgico, comparam-se duas situaes, casos, objetos etc. semelhantes e tiram-se as concluses adequadas. Na ilustrao, tal como a carroa, o carro a motor um meio de transporte que necessita de um condutor. Este, tanto num caso quanto no outro, precisa ser dotado de bom senso e de boa tcnica para desempenhar adequadamente seu papel. Aplicao das regras acima a exemplos: a) Os elementos comparados devem ser verdadeiros e relevantes, no imaginrios ou insignificantes.tc "a) Os elementos comparados devem ser verdadeiros e relevantes, no imaginrios ou insignificantes." Analogia forte - Ana Maria sempre teve bom gosto ao comprar suas roupas, logo, ter bom gosto ao comprar as roupas de sua filha.
Raciocnio Lgico
38
APOSTILAS OPO
mais bonita e perfumada, teremos que cruzar duas espcies: uma com forte perfume e outra que seja bela diz Holland. Para resolver um problema, fazemos o mesmo. Pegamos um programa que d conta de uma parte do problema e cruzamos com outro programa que solucione outra parte. Entre as vrias solues possveis, selecionam-se aquelas que parecem mais adequadas. Esse processo se repete por vrias geraes - sempre selecionando o melhor programa at obter o descendente que mais se adapta questo. , portanto, semelhante ao processo de seleo natural, em que s sobrevivem os mais aptos. (Entrevista ao JB, 19/10/95, 1 cad., p. 12). Nesse exemplo, fica bem clara a necessidade da averiguao indutiva das concluses extradas desse tipo de raciocnio para, s depois, serem confirmadas ou no. 2.2. Raciocnio Indutivo - do particular ao geral Ainda que alguns autores considerem a analogia como uma variao do raciocnio indutivo, esse ltimo tem uma base mais ampla de sustentao. A induo consiste em partir de uma srie de casos particulares e chegar a uma concluso de cunho geral. Nele, est pressuposta a possibilidade da coleta de dados ou da observao de muitos fatos e, na maioria dos casos, tambm da verificao experimental. Como dificilmente so investigados todos os casos possveis, acaba-se aplicando o princpio das probabilidades. Assim sendo, as verdades do raciocnio indutivo dependem das probabilidades sugeridas pelo nmero de casos observados e pelas evidncias fornecidas por estes. A enumerao de casos deve ser realizada com rigor e a conexo entre estes deve ser feita com critrios rigorosos para que sejam indicadores da validade das generalizaes contidas nas concluses. O esquema principal do raciocnio indutivo o seguinte: B A e X; C A e tambm X; D A e tambm X; E A e tambm X; logo, todos os A so X No raciocnio indutivo, da observao de muitos casos particulares, chega-se a uma concluso de cunho geral. Aplicando o modelo: A jararaca uma cobra e no voa; A caninana uma cobra e tambm no voa; A urutu uma cobra e tambm no voa; A cascavel uma cobra e tambm no voa; logo, as cobras no voam. Contudo, Ao sair de casa, Joo viu um gato preto e, logo a seguir, caiu e quebrou o brao. Maria viu o mesmo gato e, alguns minutos depois, foi assaltada. Antonio tambm viu o mesmo gato e, ao sair do estacionamento, bateu com o carro. Logo, ver um gato preto traz azar. Os exemplos acima sugerem, sob o ponto de vista do valor lgico, dois tipos de induo: a induo fraca e a induo forte. forte quando no h boas probabilidades de que um caso particular discorde da generalizao obtida das premissas: a concluso nenhuma cobra voa tem grande probalidade de ser vlida. J, no caso do gato preto, no parece haver sustentabilidade da concluso, por se tratar de mera coincidncia, tratando-se de uma induo fraca. Alm disso, h casos em que uma simples anlise das premissas suficiente para detectar a sua fraqueza.
Raciocnio Lgico
39
APOSTILAS OPO
Nesses raciocnios, tem-se uma concluso segura, podendo-se classific-los como formas de induo forte, mesmo que se revelem pouco criativos em termos de pesquisa cientfica. O raciocnio indutivo nem sempre aparece estruturado nos moldes acima citados. s vezes, percebe-se o seu uso pela maneira como o contedo (a matria) fica exposta ou ordenada. Observem-se os exemplos: - No parece haver grandes esperanas em se erradicar a corrupo do cenrio poltico brasileiro. Depois da srie de protestos realizados pela populao, depois das provas apresentadas nas CPIs, depois do vexame sofrido por alguns polticos denunciados pela imprensa, depois do escrnio popular em festividades como o carnaval e depois de tanta insistncia de muitos sobre necessidade de moralizar o nosso pas, a corrupo parece recrudescer, apresenta novos tentculos, se disfara de modos sempre novos, encontrando-se maneiras inusitadas de ludibriar a nao. - Sentia-me totalmente tranqilo quanto ao meu amigo, pois, at ento, os seus atos sempre foram pautados pelo respeito s leis e dignidade de seus pares. Assim, enquanto alguns insinuavam a sua culpa, eu continuava seguro de sua inocncia. Tanto no primeiro quanto no segundo exemplos est sendo empregando o mtodo indutivo porque o argumento principal est sustentado pela observao de muitos casos ou fatos particulares que, por sua vez, fundamentam a concluso. No primeiro caso, a constatao de que diversas tentativas de erradicar a corrupo mostraram-se infrutferas conduzem concluso da impossibilidade de sua superao, enquanto que, no segundo exemplo, da observao do comportamento do amigo infere-se sua inocncia. Analogia, induo e probabilidade Nos raciocnios analgico e indutivo, apesar de boas chances do contrrio, h sempre a possibilidade do erro. Isso ocorre porque se est lidando com probabilidades e estas no so sinnimas de certezas. H trs tipos principais de probabilidades: a matemtica, a moral e a natural. a) A probabilidade matemtica aquela na qual, partindo-se dos casos numerados, possvel calcular, sob forma de frao, a possibilidade de algo ocorrer na frao, o denominador representa os casos possveis e o numerador o nmero de casos favorveis. Por exemplo, no caso de um sorteio usando uma moeda, a probabilidade de dar cara de 50% e a de dar coroa tambm de 50%. b) A probabilidade moral a relativa a fatos humanos destitudos de carter matemtico. o caso da possibilidade de um comportamento criminoso ou virtuoso, de uma reao alegre ou triste etc. Exemplos: considerando seu comportamento pregresso, provvel que Pedro no tenha cometido o crime, contudo... Conhecendo-se a meiguice de Maria, provvel que ela o receba bem, mas... c) A probabilidade natural a relativa a fenmenos naturais dos quais nem todas as possibilidades so conhecidas. A previso meteorolgica um exemplo particular de proba-
Raciocnio Lgico
40
APOSTILAS OPO
punvel o termo maior, ato que fere a lei o termo mdio e concusso o menor. 2.3.1.1. As Regras do Silogismo Oito so as regras que fazem do silogismo um raciocnio perfeitamente lgico. As quatro primeiras dizem respeito s relaes entre os termos e as demais dizem respeito s relaes entre as premissas. So elas: 2.3.1.1.1. Regras dos Termos 1) Qualquer silogismo possui somente trs termos: maior, mdio e menor. Exemplo de formulao correta: Termo Maior: Todos os gatos so mamferos. Termo Mdio: Mimi um gato. Termo Menor: Mimi um mamfero. Exemplo de formulao incorreta: Termo Maior: Toda gata(1) quadrpede. Termo Mdio: Maria uma gata(2). Termo Menor: Maria quadrpede. O termo gata tem dois significados, portanto, h quatro termos ao invs de trs. 2) Os termos da concluso nunca podem ser mais extensos que os termos das premissas. Exemplo de formulao correta: Termo Maior: Todas as onas so ferozes. Termo Mdio: Nikita uma ona. Termo Menor: Nikita feroz. Exemplo de formulao incorreta: Termo Maior: Antnio e Jos so poetas. Termo Mdio: Antnio e Jos so surfistas. Termo Menor: Todos os surfistas so poetas. Antonio e Jos um termo menos extenso que todos os surfistas. 3) O predicado do termo mdio no pode entrar na concluso. Exemplo de formulao correta: Termo Maior: Todos os homens podem infringir a lei. Termo Mdio: Pedro homem. Termo Menor: Pedro pode infringir a lei. Exemplo de formulao incorreta: Termo Maior: Todos os homens podem infringir a lei. Termo Mdio: Pedro homem. Termo Menor: Pedro ou homem (?) ou pode infringir a lei. A ocorrncia do termo mdio homem na concluso inoportuna. 4) O termo mdio deve ser tomado ao menos uma vez em sua extenso universal. Exemplo de formulao correta: Termo Maior: Todos os homens so dotados de habilidades. Termo Mdio: Pedro homem. Termo Menor: Pedro dotado de habilidades. Exemplo de formulao incorreta: Termo Maior: Alguns homens so sbios. Termo Mdio: Ora os ignorantes so homens Termo Menor: Logo, os ignorantes so sbios O predicado homens do termo mdio no universal, mas particular. 2.3.1.1.2. Regras das Premissas 5) De duas premissas negativas, nada se conclui. Exemplo de formulao incorreta: Premissa Maior: Nenhum gato mamfero Premissa Menor: Lulu no um gato. Concluso: (?).
DIAGRAMAS LGICOS
Prof Msc SANDRO FABIAN FRANCILIO DORNELLES Introduo Os diagramas lgicos so usados na resoluo de vrios problemas. Uma situao que esses diagramas podero ser usados, na determinao da quantidade de elementos que apresentam uma determinada caracterstica.
Assim, se num grupo de pessoas h 43 que dirigem carro, 18 que dirigem moto e 10 que dirigem carro e moto. Baseandose nesses dados, e nos diagramas lgicos poderemos saber: Quantas pessoas tm no grupo ou quantas dirigem somente carro ou ainda quantas dirigem somente motos. Vamos inicialmente montar os diagramas dos conjuntos que representam os motoristas de motos e motoristas de carros. Comearemos marcando quantos elementos tem a interseco e depois completaremos os outros espaos.
Raciocnio Lgico
41
APOSTILAS OPO
Marcando o valor da interseco, ento iremos subtraindo esse valor da quantidade de elementos dos conjuntos A e B. A partir dos valores reais, que poderemos responder as perguntas feitas. Fora dos diagramas teremos 150 elementos que no so leitores de nenhum dos trs jornais. Na regio I, teremos: 70 - 40 = 30 elementos. Na regio II, teremos: 65 - 40 = 25 elementos. Na regio III, teremos: 105 - 40 = 65 elementos. Na regio IV, teremos: 300 - 40 - 30 - 25 = 205 elementos. Na regio V, teremos: 250 - 40 -30 - 65 = 115 elementos. Na regio VI, teremos: 200 - 40 - 25 - 65 = 70 elementos. Dessa forma, o diagrama figura preenchido com os seguintes elementos:
a) Temos no grupo: 8 + 10 + 33 = 51 motoristas. b) Dirigem somente carros 33 motoristas. c) Dirigem somente motos 8 motoristas. No caso de uma pesquisa de opinio sobre a preferncia quanto leitura de trs jornais. A, B e C, foi apresentada a seguinte tabela:
Com essa distribuio, poderemos notar que 205 pessoas lem apenas o jornal A. Prof Msc SANDRO FABIAN FRANCILIO DORNELLES Verificamos que 500 pessoas no lem o jornal C, pois a soma 205 + 30 + 115 + 150. Notamos ainda que 700 pessoas foram entrevistadas, que a soma 205 + 30 + 25 + 40 + 115 + 65 + 70 + 150. EXERCCIOS DE CONCURSOS Diagramas Lgicos Para termos os valores reais da pesquisa, vamos inicialmente montar os diagramas que representam cada conjunto. A colocao dos valores comear pela interseco dos trs conjuntos e depois para as interseces duas a duas e por ltimo s regies que representam cada conjunto individualmente. Representaremos esses conjuntos dentro de um retngulo que indicar o conjunto universo da pesquisa. 1. De um total de 30 agentes administrativos sabe-se que: I. 18 gostam de cinema II. 14 gostam de teatro III. 2 no gostam de cinema, nem de teatro O nmero de agentes que gostam de cinema e de teatro corresponde a: a) 2 b) 4 c) 6 d) 8
Raciocnio Lgico
42
APOSTILAS OPO
2. De um grupo de N auxiliares tcnicos de produo, 44 lem jornal A, 42 o jornal B e 18 lem ambos os jornais. sabendo que todo auxiliar deste grupo leitor de pelo menos um dos jornais, o nmero N de auxiliares : 3. Em uma turma, 45% dos alunos falam ingls e 33% falam francs. Se 25% dos alunos no falam nenhuma duas lnguas, a porcentagem de alunos que falam francs, mas no falam ingls de: a) 3% b) 15% c) 27% d) 30% e) 33% 4. Realizou-se uma pesquisa e verificou-se que, das pessoas consultadas, 200 ouviam a rdio A, 300 ouviam a rdio B, 20 ouviam as duas rdios (A e B) e 220 no ouviam nenhuma das duas rdios. Quantas pessoas foram consultadas? a) 520 b) 560 c) 640 d) 680 e) 700 5. Em uma pesquisa, foram entrevistados 100 telespectadores. 60 assistiam televiso noite e 50 assistiam televiso de dia. Quantos assistiam televiso de dia e de noite? a) 5 b) 10 c) 15 d) 20 e) 25 6. Em uma pesquisa, foram entrevistadas 200 pessoas. 100 delas iam regularmente ao cinema, 60 iam regularmente ao teatro e 50 no iam regularmente nem ao cinema nem ao teatro. Quantas dessas pessoas iam regularmente a ambos? a) 10 b) 20 c) 30 d) 40 e) 50 7. (NCNB_02) Uma professora levou alguns alunos ao parque de diverses chamado Sonho. Desses alunos: 16 j haviam ido ao parque Sonho, mas nunca andaram de montanha russa. 6 j andaram de montanha russa, mas nunca haviam ido ao parque Sonho. Ao todo, 20 j andaram de montanha russa. Ao todo, 18 nunca haviam ido ao parque Sonho. Pode-se afirmar que a professora levou ao parque Sonho: a) 60 alunos b) 48 alunos c) 42 alunos d) 366alunos e) 32 alunos 8. (ICMS_97_VUNESP) Em uma classe, h 20 alunos que praticam futebol mas no praticam vlei e h 8 alunos que praticam vlei mas no praticam futebol. O total dos que praticam vlei 15. Ao todo, existem 17 alunos que no praticam futebol. O nmero de alunos da classe : a) 30 b) 35 c) 37 d) 42
Raciocnio Lgico
43
APOSTILAS OPO
b) 200 c) 0 d) 50 e) 25 14. No diagrama abaixo, considere os conjuntos A, B, C e U ( universo ).
A regio sombreada corresponde seguinte operao: a) A B C b) (A B) C c) A B C d) (A B) C QUESTES CERTO / ERRADO (CESPE / UNB) 15. (UNB) Numa entrevista realizada pelo Departamento de Cincias Econmicas da UCG com 50 pessoas, da classe mdia de Goinia, acerca de suas preferncias por aplicaes de seus excedentes financeiros, obteve-se o seguinte resultado: 21 pessoas disseram que aplicam em fundos de renda fixa; 34 em cadernetas de poupana e 50 no aplicam em nenhuma dasmodalidades. Deste modo, 10 pessoas aplicam nas duas modalidades (obs.: uma mesma pessoa pode aplicar em mais de uma modalidade). 16. (MPU_99UNB) Em exames de sangue realizados em 500 moradores de uma regio com pssimas condies sanitrias foi constatada a presena de trs tipos de vrus: A, B, C . O resultado dos exames revelou que o vrus A estava presente em 210 moradores; o vrus B, em 230; os vrus A e B, em 80; os vrus A e C, em 90; e os vrus B e C, em 70. Alm disso, em 5 moradores no foi detectado nenhum dos trs vrus e o numero de moradores infectados pelo vrus C era igual ao dobro dos infectados apenas pelo vrus B. Com base nessa situao, julgues os itens abaixo: I. O nmero de pessoas contaminadas pelo trs vrus simultaneamente representa 9% do total de pessoas examinadas. II. O nmero de moradores que apresentam o vrus C igual a 230. III. 345 moradores apresentam somente um dos vrus. IV. Mais de 140 moradores apresentaram pelo menos, dois vrus. V. O nmero de moradores que no foram contaminados pelos vrus B e C representa menos de 16% do total de pessoas examinadas. 17. Pedro, candidato ao cargo de Escrivo de Polcia Federal, necessitando adquirir livros para se preparar para o concurso, utilizou um site de busca da Internet e pesquisou em uma livraria virtual, especializada nas reas de direito, administrao e economia, que vende livros nacionais e importados. Nessa livraria, alguns livros de direito e todos os de
Raciocnio Lgico
44
APOSTILAS OPO
(3 x 2 x 3) x (2 + 3) = 90 Resposta para o problema: existem 90 possibilidades de pratos que podem ser montados com as comidas e bebidas disponveis. Outro exemplo: No sistema brasileiro de placas de carro, cada placa formada por trs letras e quatro algarismos. Quantas placas onde o nmero formado pelos algarismos seja par, podem ser formadas? Primeiro, temos de saber que existem 26 letras. Segundo, para que o numero formado seja par, teremos de limitar o ultimo algarismo um numero par. Depois, basta multiplicar. 26 x 26 x 26 = 17.567 -> parte das letras 10 x 10 x 10 x 5 = 5.000 -> parte dos algarismos, note que na ltima casa temos apenas 5 possibilidades, pois queremos um nmero par (0, 2 , 4 , 6 , 8). Agora s multiplicar as partes: 17.567 x 5.000 = 87.835.000 Resposta para a questo: existem 87.835.000 placas onde a parte dos algarismos formem um nmero par. PRINCPIO DA ADIO Suponhamos um procedimento executado em k fases. A fase 1 tem n1 maneiras de ser executada, a fase 2 possui n2 maneiras de ser executada e a fase k tem nk modos de ser executada. As fases so excludentes entre si, ou seja, no possvel que duas ou mais das fases sejam realizadas em conjunto. Logo, todo o procedimento tem n1 + n2 + ... + nk maneiras de ser realizado. Exemplo Deseja-se fazer uma viagem para a cidade A ou para a cidade B. Existem 5 caminhos possveis para a cidade A e 3 possveis caminhos para a cidade B. Logo, para esta viagem, existem no total 5 + 3 = 8 caminhos possveis. PRINCPIO DA MULTIPLICAO Suponhamos um procedimento executado em k fases, concomitantes entre si. A fase 1 tem n1 maneiras de ser executada, a fase 2 possui n2 maneiras de ser executada e a fase k tem nk modos de ser executada. A fase 1 poder ser seguida da fase 2 at a fase k, uma vez que so concomitantes. Logo, h n1 . n2 . ... . nk maneiras de executar o procedimento. Exemplo Supondo uma viagem para a cidade C, mas para chegar at l voc deve passar pelas cidades A e B. Da sua cidade at a cidade A existem 2 caminhos possveis; da cidade A at a B existem 4 caminhos disponveis e da cidade B at a C h 3 rotas possveis. Portanto, h 2 x 4 x 3 = 24 diferentes caminhos possveis de ida da sua cidade at a cidade C. Os princpios enunciados acima so bastante intuitivos. Contudo, apresentaremos ainda alguns exemplos um pouco mais complexos de aplicao. Quantos nmeros naturais pares de trs algarismos distintos podemos formar? Inicialmente, devemos observar que no podemos colocar o zero como primeiro algarismo do nmero. Como os nmeros devem ser pares, existem apenas 5 formas de escrever o ltimo algarismo (0, 2, 4, 6, 8). Contudo, se colocamos o zero como ltimo algarismo do nmero, nossas escolhas para distribuio dos algarismos mudam. Portanto, podemos pensar na construo desse nmero como um processo composto de 2 fases excludentes entre si.
O fundo pode ser representado nas cores azul ou cinza; a casa, nas cores azul, verde ou amarela; e a palmeira, nas cores cinza ou verde. Se o fundo no pode ter a mesma cor
Raciocnio Lgico
45
APOSTILAS OPO
nem da casa nem da palmeira, por uma questo de contraste, ento o nmero de variaes que podem ser obtidas para a paisagem a) 6. b) 7. c) 8. d) 9. e) 10. 3) (UFES/2002) Num aparelho telefnico, as dez teclas numeradas esto dispostas em fileiras horizontais, conforme indica a figura a seguir. Seja N a quantidade de nmeros de telefone com 8 dgitos, que comeam pelo dgito 3 e terminam pelo dgito zero, e, alm disso, o 2o e o 3o dgitos so da primeira fileira do teclado, o 4o e o 5o dgitos so da segunda fileira, e o 6o e o 7o so da terceira fileira.
O valor de N a) 27 b) 216 c) 512 d) 729 e) 1.331 4) (UFC/2002) A quantidade de nmeros inteiros, positivos e mpares, formados por trs algarismos distintos, escolhidos dentre os algarismos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9, igual a: a) 320 b) 332 c) 348 d) 360 e) 384 5)(UFAL/200) Quantos nmeros pares de quatro algarismos distintos podem ser formados com os elementos do conjunto A={0,1,2,3,4}? a) 60 b) 48 c) 36 d) 24 e) 18 6)(UFPI/2000) Escrevendo-se em ordem decrescente todos os nmeros de cinco algarismos distintos formados pelos algarismos 3, 5, 7, 8 e 9, a ordem do nmero 75389 : a) 54 b) 67 c) 66 d) 55 e) 56 7)(UFAL/99) Com os elementos do conjunto {1, 2, 3, 4, 5, 6, 7} formam-se nmeros de 4 algarismos distintos. Quantos dos nmeros formados NO so divisveis por 5? a) 15 b) 120 c) 343 d) 720 e) 840 8)(ITA/2001) Considere os nmeros de 2 a 6 algarismos distintos formados utilizando-se apenas 1, 2, 4, 5, 7 e 8. Quantos destes nmeros so mpares e comeam com um dgito par? a) 375 b) 465 c) 545 d) 585 e) 625
elemento
pertence ao conjunto
no um elemento de
no pertence ao conjunto .
Raciocnio Lgico
46
APOSTILAS OPO
1. Conceitos primitivos Antes de mais nada devemos saber que conceitos primitivos so noes que adotamos sem definio. Adotaremos aqui trs conceitos primitivos: o de conjunto, o de elemento e o de pertinncia de um elemento a um conjunto. Assim, devemos entender perfeitamente a frase: determinado elemento pertence a um conjunto, sem que tenhamos definido o que conjunto, o que elemento e o que significa dizer que um elemento pertence ou no a um conjunto. 2 Notao Normalmente adotamos, na teoria dos conjuntos, a seguinte notao: os conjuntos so indicados por letras maisculas: A, B, C, ... ; os elementos so indicados por letras minsculas: a, b, c, x, y, ... ; o fato de um elemento x pertencer a um conjunto C indicado com x C; o fato de um elemento y no pertencer a um conjunto C indicado y C. 3. Representao dos conjuntos Um conjunto pode ser representado de trs maneiras: por enumerao de seus elementos; por descrio de uma propriedade caracterstica do conjunto; atravs de uma representao grfica. Um conjunto representado por enumerao quando todos os seus elementos so indicados e colocados dentro de um par de chaves. Exemplo: a) A = ( 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 ) indica o conjunto formado pelos algarismos do nosso sistema de numerao. b) B = ( a, b, c, d, e, f, g, h, i, j, l, m, n, o, p, q, r, s, t, u, v, x, z ) indica o conjunto formado pelas letras do nosso alfabeto. c) Quando um conjunto possui nmero elevado de elementos, porm apresenta lei de formao bem clara, podemos representa-lo, por enumerao, indicando os primeiros e os ltimos elementos, intercalados por reticncias. Assim: C = ( 2; 4; 6;... ; 98 ) indica o conjunto dos nmeros pares positivos, menores do que100. d) Ainda usando reticncias, podemos representar, por enumerao, conjuntos com infinitas elementos que tenham uma lei de formao bem clara, como os seguintes: D = ( 0; 1; 2; 3; .. . ) indica o conjunto dos nmeros inteiros no negativos; E = ( ... ; -2; -1; 0; 1; 2; . .. ) indica o conjunto dos nmeros inteiros; F = ( 1; 3; 5; 7; . . . ) indica o conjunto dos nmeros mpares positivos. A representao de um conjunto por meio da descrio de uma propriedade caracterstica mais sinttica que sua representao por enumerao. Neste caso, um conjunto C, de elementos x, ser representado da seguinte maneira: C = { x | x possui uma determinada propriedade }
Por esse tipo de representao grfica, chamada diagrama de Euler-Venn, percebemos que x C, y C, z C; e que a C, b C, c C, d C. 4 Nmero de elementos de um conjunto Consideremos um conjunto C. Chamamos de nmero de elementos deste conjunto, e indicamos com n(C), ao nmero de elementos diferentes entre si, que pertencem ao conjunto. Exemplos a) O conjunto A = { a; e; i; o; u } tal que n(A) = 5. b) O conjunto B = { 0; 1; 3; 4; 5; 6; 7; 8; 9 } tal que n(B) = 10. c) O conjunto C = ( 1; 2; 3; 4;... ; 99 ) tal que n (C) = 99. 5 Conjunto unitrio e conjunto vazio Chamamos de conjunto unitrio a todo conjunto C, tal que n (C) = 1. Exemplo: C = ( 3 ) E chamamos de conjunto vazio a todo conjunto c, tal que n(C) = 0. Exemplo: M = { x | x = -25} O conjunto vazio representado por { } ou por
2
Raciocnio Lgico
47
APOSTILAS OPO
Exerccio resolvido Determine o nmero de elementos dos seguintes com juntos : a) A = { x | x letra da palavra amor } b) B = { x | x letra da palavra alegria } c) c o conjunto esquematizado a seguir d) D = ( 2; 4; 6; . . . ; 98 ) e) E o conjunto dos pontos comuns s relas r e s, esquematizadas a seguir :
Resoluo a) n(A) = 4 b) n(B) = 6,'pois a palavra alegria, apesar de possuir dote letras, possui apenas seis letras distintas entre si. c) n(C) = 2, pois h dois elementos que pertencem a C: c e C e d e C d) observe que: 2 = 2 . 1 o 1 par positivo 4 = 2 . 2 o 2 par positivo 6 = 2 . 3 o 3 par positivo 8 = 2 . 4 o 4 par positivo . . . . . . 98 = 2 . 49 o 49 par positivo logo: n(D) = 49 e) As duas retas, esquematizadas na figura, possuem apenas um ponto comum. Logo, n( E ) = 1, e o conjunto E , portanto, unitrio. 6 igualdade de conjuntos Vamos dizer que dois conjuntos A e 8 so iguais, e indicaremos com A = 8, se ambos possurem os mesmos elementos. Quando isto no ocorrer, diremos que os conjuntos so diferentes e indicaremos com A B. Exemplos . a) {a;e;i;o;u} = {a;e;i;o;u} b) {a;e;i;o,u} = {i;u;o,e;a} c) {a;e;i;o;u} = {a;a;e;i;i;i;o;u;u} d) {a;e;i;o;u} {a;e;i;o} 2 e) { x | x = 100} = {10; -10} 2 f) { x | x = 400} {20} 7 Subconjuntos de um conjunto Dizemos que um conjunto A um subconjunto de um conjunto B se todo elemento, que pertencer a A, tambm pertencer a B. Neste caso, usando os diagramas de Euler-Venn, o conjunto A estar "totalmente dentro" do conjunto B :
8 Nmero de subconjuntos de um conjunto dado Pode-se mostrar que, se um conjunto possui n n elementos, ento este conjunto ter 2 subconjuntos. Exemplo O conjunto C = {1; 2 } possui dois elementos; logo, ele 2 ter 2 = 4 subconjuntos. Exerccio resolvido: 1. Determine o nmero de subconjuntos do conjunto C = (a; e; i; o; u ) . Resoluo: Como o conjunto C possui cinco elementos, o 5 nmero dos seus subconjuntos ser 2 = 32. Exerccios propostas: 2. Determine o nmero de subconjuntos do conjunto C = { 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 } Resposta: 1024 3. Determine o nmero de subconjuntos do conjunto C=
1 1 1 2 3 3 ; ; ; ; ; 2 3 4 4 4 5
Resposta: 32 B) OPERAES COM CONJUNTOS 1 Unio de conjuntos Dados dois conjuntos A e B, chamamos unio ou reunio de A com B, e indicamos com A B, ao conjunto constitudo por todos os elementos que pertencem a A ou a B. Usando os diagramas de Euler-Venn, e representando com hachuras a interseo dos conjuntos, temos:
Raciocnio Lgico
48
APOSTILAS OPO
c) {a;b;c} U {a;c}={a;b;c} 2 Interseco de conjuntos Dados dois conjuntos A e B, chamamos de interseo de A com B, e indicamos com A B, ao conjunto constitudo por todos os elementos que pertencem a A e a B. Usando os diagramas de Euler-Venn, e representando com hachuras a interseco dos conjuntos, temos:
Quando a interseco de dois conjuntos vazia, como no exemplo a, dizemos que os conjuntos so disjuntos. Exerccios resolvidos 1. Sendo A = ( x; y; z ); B = ( x; w; v ) e C = ( y; u; t ), determinar os seguintes conjuntos: a) A B f) B C b) A B g) A B C c) A C h) A B C d) A C i) (A B) U (A C) e) B C Resoluo a) b) c) d) e) f) g) h) i) A B = {x; y; z; w; v } A B = {x } A C = {x; y;z; u; t } A C = {y } B C={x;w;v;y;u;t} B C= A B C= {x;y;z;w;v;u;t} A B C= (A B) u (A C)={x} {y}={x;y}
3. No diagrama seguinte temos: n(A) = 20 n(B) = 30 n(A B) = 5 Determine n(A B). Resoluo
Se juntarmos, aos 20 elementos de A, os 30 elementos de B, estaremos considerando os 5 elementos de A n B duas vezes; o que, evidentemente, incorreto; e, para corrigir este erro, devemos subtrair uma vez os 5 elementos de A n B; teremos ento: n(A n(A n(A
4 Conjunto complementar Dados dois conjuntos A e B, com B A, chamamos de conjunto complementar de B em relao a A, e indicamos com CA B, ao conjunto A - B. Observao: O complementar um caso particular de diferena em que o segundo conjunto subconjunto do primeiro. Usando os diagramas de Euler-Venn, e representando com hachuras o complementar de B em relao a A, temos:
C)
Raciocnio Lgico
49
APOSTILAS OPO
Observao: O conjunto complementar de B em relao a A formado pelos elementos que faltam para "B chegar a A"; isto , para B se igualar a A. Exerccios resolvidos: 4. Sendo A = { x; y; z } , B = { x; w; v } e C = { y; u; t }, determinar os seguintes conjuntos: AB BA AC Resoluo a) b) c) d) e) A - B = { y; z } B - A= {w;v} A - C= {x;z} C A = {u;t} B C = {x;w;v} C B = {y;u;t} PROBABILIDADES Introduo Quando usamos probabilidades? Ouvimos falar desse assunto em situaes como: a probabilidade de ser sorteado, de acertar numa aposta, de um candidato vencer uma eleio, de acertar o resultado de um jogo etc. Portanto, usamos probabilidades em situaes em que dois ou mais resultados diferentes podem ocorrer e no possvel saber, prever, qual deles realmente vai ocorrer em cada situao. Ao lanarmos para o alto uma moeda e quisermos saber se o resultado cara ou coroa, no podemos prever o resultado mas podemos calcular as chances de ocorrncia de cada um. Este clculo a probabilidade de ocorrncia de um resultado. Por meio dos exemplos desta aula, voc aprender o clculo de probabilidades. EXEMPLO 1 Qual a chance de dar cara no lanamento de uma moeda? C-A BC CB
f)
Assim, temos 3 resultados favorveis (2, 4 ou 6) em um total de 6 resultados possveis (1, 2, 3, 4, 5, 6). As chances de dar um resultado par so 3 num total de 6. Ento, podemos dizer que a probabilidade de isso acontecer 3/6 ou 1/2 . Generalizando essa soluo: n de resultados favorveis a 3 1 = = = P (par) E 6 2 = n total de resultados poss50% veis Onde P (par) significa probabilidade de o resultado ser par. Nos trs exemplos que acabamos de ver h dois ou mais resultados possveis, todos com a mesma chance de ocorrer. A probabilidade de ocorrer um desses resultados ou um conjunto de resultados que satisfaam uma condio ou exigncia E, representado por p (E) e calculado por: p (E) = n de resultados favorveis a E
coroa
Soluo:
cara
Raciocinando matematicamente, os resultados cara e coroa tm as mesmas chances de ocorrer. Como so duas possibilidades (cara ou coroa) podemos dizer que as chances de dar cara de 1 para 2. Isto o mesmo que dizer que a probabilidade de o resultado ser cara ou 0,5 ou 50%.
Raciocnio Lgico
50
APOSTILAS OPO
n total de resultados possveis EXEMPLO 4 No Exemplo 2 da Aula 48 vimos que, num restaurante que prepara 4 pratos quentes, 2 saladas e 3 sobremesas diferentes, existem 24 maneiras diferentes de um fregus se servir de um prato quente, uma salada e uma sobremesa. No Exemplo 3 daquela aula descobrimos que havia, dentre os 24 cardpios possveis, 6 cardpios econmicos. Qual a probabilidade de um fregus desavisado escolher uma das opes mais caras? Soluo: J sabemos que a probabilidade de escolher os mais caros ser: n de cardpios mais p(mais caro) caros = n de cardpios possveis Se temos 6 opes econmicas num total de 24, temos 24 - 6 = 18 opes mais caras. Como o nmero de cardpios possveis 24, ento: p(mais caro) =
6 = 54
0,11
11%
C5 6 = 6 grupos de 5 pessoas nos quais s escolhemos homens. Supondo que as chances de cada um dos grupos a mesma, qual a probabilidade de escolher: a) um grupo onde no h mulheres; b) um grupo onde haja pelo menos uma mulher. Soluo: a) p (no mulher) =
18 3 = = 0,75 = 75% 54 4
Os valores possveis para as probabilidades No Exemplo 7 os grupos contados em a) e em b) completam todos os grupos possveis (6 + 120 = 126). Portanto as possibilidades somadas daro (5% + 95%). J sabemos que: p (E) = n de resultados favorveis a E n total de resultados possveis
As chances de esse fregus escolher um dos cardpios mais caros de 75%. EXEMPLO 5 Numa urna esto 10 bolas de mesmo tamanho e de mesmo material, sendo 8 pretas e 2 brancas. Pegando-se uma bola qualquer dessa urna, qual a probabilidade de ela ser branca? Soluo: n de bolas bran2 1 = = = 20% p(branca) = cas 10 5 n total de bolas EXEMPLO 6 De um baralho normal de 52 cartas e mais 2 coringas retiramos uma das cartas ao acaso. Qual a probabilidade de: a) ser um s? b) ser um coringa, em jogos que tambm consideram o 2 como coringa? Soluo: O nmero total de cartas 54 sendo que h 13 cartas (s, 2 a 10, valete, dama, rei) de cada um dos 4 naipes (copas, ouro, paus e espadas) e 2 coringas. a) n de ases existen4 = = p (s) tes 54 = n total de cartas 7% 0,07 =
A quantidade m ser escolhida dentre as n existentes, por isso m dever ser menor ou igual a n (m n) e a frao
Percebemos ainda que a frao pois m e n so nmeros naturais. Assim, podemos concluir que: 0
m 1 n
ou
0 p (E) 1
EXEMPLO 8 Com os algarismos 1, 3 e 5 formamos todos os nmeros de 3 algarismos possveis. Dentre eles escolhemos um nmero, ao acaso.
Raciocnio Lgico
51
APOSTILAS OPO
a) Qual a probabilidade de escolher um nmero que seja mltiplo de 3? b) Qual a probabilidade de o nmero escolhido ser par? Soluo: O total de nmeros formados por 3 algarismos igual ao nmero de permutaes possveis com os algarismos 1, 3 e 5 em trs posies, ou seja, 3! = 6. a) Como a soma dos algarismos 1 + 3 + 5 igual a 9, que um mltiplo de 3, qualquer um dos nmeros formados ser mltiplo de 3. Assim, a probabilidade de isso ocorrer ser:
6 P (mltiplo de 3) = = 1 6
b) Como qualquer dos algarismos 1, 3 e 5 colocados no final do nmero formado gera um nmero mpar, no formaremos nenhum nmero par. Assim, como a quantidade de casos favorveis zero, temos: p (par) =
0 =0 6
Um pouco de histria
Os primeiros estudos envolvendo probabilidades foram motivados pela anlise de jogos de azar. Sabe-se que um dos primeiros matemticos que se ocupou com o clculo das probabilidades foi Cardano (1501-1576). Data dessa poca a expresso que utilizamos at hoje para o clculo da probabilidade de um evento (nmero de casos favorveis dividido pelo nmero de casos possveis). Com Fermat (1601-1665) e Pascal (1623-1662), a teoria das probabilidades comeou a evoluir e ganhar mais consistncia, passando a ser utilizada em outros aspectos da vida social, como, por exemplo, auxiliando na descoberta da vacina contra a varola no sculo XVIII. Atualmente, a teoria das probabilidades muito utilizada em outros ramos da Matemtica (como o Clculo e a Estatstica), da Biologia (especialmente nos estudos da Gentica), da Fsica (como na Fsica Nuclear), da Economia, da Sociologia etc. Exerccios Exerccio 1 De um baralho de 52 cartas retirada uma carta ao acaso. a) Qual a probabilidade de a carta retirada ser um rei? b) Qual a probabilidade de a carta retirada ser uma figura (valete, dama ou rei)? Exerccio 2 No lanamento de um dado, qual a probabilidade de o nmero obtido ser menor ou igual a 4?
Suponha que sejam iguais as chances de qualquer uma das placas novas para automveis (3 letras e 4 nmeros) ser escolhida para o seu automvel. Qual a probabilidade de voc receber uma placa com as iniciais de seu nome em qualquer ordem? Respostas: 1. a)
4 1 = = 7,69% 52 13
b)
2.
3. a) b) 0 c) 0 d)
4.
Raciocnio Lgico
52
APOSTILAS OPO
5.
5 1 5 1 1 de , ou seja, x = , sabem 6 5 6 5 6
3! 26 10
3 4
1 . 6
Repare que para encontrarmos P (A e B) efetuamos P (A) P (B). Ento, conclumos que, quando A e B so eventos independentes (no tm nada a ver um com o outro): P (A e B) = P (A) P (B) EXEMPLO 2 Dos 30 funcionrios de uma empresa, 10 so canhotos e 25 vo de nibus para o trabalho. Escolhendo ao acaso um desses empregados, qual a probabilidade de que ele seja canhoto e v de nibus para o trabalho? Soluo:
0,000 003 4% Calculando probabilidades Voc j aprendeu que a probabilidade de um evento E : n de resultados favorveis a E p (E) = n total de resultados possveis
Iremos calcular a probabilidade de ocorrncia de um evento e outro, bem como a ocorrncia de um ou outro evento. Em muitas situaes a ocorrncia de um fato qualquer depende da ocorrncia de um outro fato; nesse caso dizemos que so ocorrncias dependentes. Em situaes onde no h essa dependncia, precisamos calcular probabilidades de duas situaes ocorrerem ao mesmo tempo. Para abordarmos situaes como as que acabamos de descrever, utilizaremos vrios exemplos durante esta aula. Leia-os com bastante ateno e procure refazer as solues apresentadas. Clculo da probabilidade de ocorrncia de um evento e de outro EXEMPLO 1 Num grupo de jovens estudantes a probabilidade de que um jovem, escolhido ao acaso, tenha mdia acima de 7,0
Considere os eventos: A : ser canhoto B : ir de nibus para o trabalho claro que A e B so eventos independentes, portanto um no depende em nada do outro. A probabilidade de os dois eventos (A e B) ocorrerem simultaneamente calculada por P (A e B) = P (A) P (B). Calculando: P (A) =
10 1 = 30 3 25 5 = 30 6 1 5 5 x = 3 6 18
P (B) =
1 . Nesse mesmo grupo, a probabilidade de que um jovem 5 5 saiba jogar futebol . Qual a probabilidade de escolher6
mos um jovem (ao acaso) que tenha mdia maior que 7,0 e saiba jogar futebol? Soluo: O fato de ter mdia maior que 7,0 no depende do fato de saber jogar futebol, e vice-versa. Quando isso ocorre, dizemos que os eventos so independentes. Considere ento os eventos: A: ter mdia acima de 7,0. B: saber jogar futebol. A e B: ter mdia acima de 7,0 e saber jogar futebol. Como queremos calcular P (A e B), pense o seguinte: de todos os jovens,
P (A e B) = P (A) P (B) =
A probabilidade de que ele seja canhoto e v de nibus para o trabalho de EXEMPLO 3 Alguns atletas participam de um triathlon (prova formada por 3 etapas consecutivas: natao, corrida e ciclismo). A probabilidade de que um atleta escolhido ao acaso termine a primeira etapa (natao)
5 . 18
com a segunda etapa (corrida) o atleta precisa ter terminado a natao. Dos atletas que terminam a primeira etapa, a probabilidade de que um deles, escolhido ao acaso, termine a segunda
iniciou a prova, e seja escolhido ao acaso, termine a primeira e a segunda etapas? Soluo:
Raciocnio Lgico
53
APOSTILAS OPO
A : terminar a 1 etapa da prova (natao). B : terminar a 2 etapa da prova (corrida), tendo terminado a 1. Note que A e B no so eventos independentes pois, para comear a 2 etapa necessrio, antes, terminar a 1. Nesse caso dizemos que a ocorrncia do evento B depende (est condicionada) ocorrncia do evento A. Utilizamos ento a notao B/A, que significa a dependncia dos eventos, ou melhor, que o evento B/A denota a ocorrncia do evento B, sabendo que A j ocorreu. No caso deste exemplo, temos: B/A terminar a 2 etapa (corrida), sabendo que o atleta terminou a 1 etapa (natao). E agora? Como calcular P (A e B)? simples: no lugar de usarmos P(B) na frmula P(A e B) = P(A) P(B), usaremos P(B/A) j que a ocorrncia de B depende da ocorrncia de A. O = enunciado deste problema nos diz que P(A)
9 10 2 3 9 2 3 x = 10 3 5
P(B/A) =
P(A e B) =
4 3 P(B/A)= ; assim, 7 4
P(A e B) = P(A) P(B/A)=
3 . 5
4 3 3 x = 7 4 7 3 . 7
Clculo da probabilidade de ocorrncia de um evento ou outro EXEMPLO 5 Na Copa Amrica de 1995, o Brasil jogou com a Colmbia. No primeiro tempo, a seleo brasileira cometeu 10 faltas, sendo que 3 foram cometidas por Leonardo e outras 3 por Andr Cruz. No intervalo, os melhores lances foram reprisados, dentre os quais uma falta cometida pelo Brasil, escolhida ao acaso. Qual a probabilidade de que a falta escolhida seja de Leonardo ou de Andr Cruz? Soluo: Das 10 faltas, 3 foram de Leonardo e 3 de Andr Cruz. Portanto, os dois juntos cometeram 6 das 10 faltas do Brasil. Assim, a probabilidade de que uma das faltas seja a escolhida dentre as 10
Quando A e B no so eventos independentes a probabilidade de ocorrncia de A e B calculada por: P (A e B) = P (A) P (B/A) onde P (B/A) a probabilidade de B, dado que A j ocorreu. EXEMPLO 4 No exame para tirar a carteira de motorista, a probabilidade de aprovao na prova escrita
6 3 = . 10 5
9 . Depois de ser 10
Tambm podemos resolver este problema da seguinte maneira: probabilidade de ser escolhida uma falta do Leonardo =
aprovado na parte terica, h uma prova prtica de direo. Para os que j passaram no exame escrito, a probabilidade
3 . 10
probabilidade de ser escolhida uma falta do Andr Cruz =
3 . 10 3 3 6 3 + = = 10 10 10 5
Lembre-se de que qualquer uma das duas escolhas ter um resultado favorvel.
Raciocnio Lgico
54
APOSTILAS OPO
Se A e B so os eventos (escolher uma falta de Leonardo ou escolher uma falta de Andr Cruz), estamos interessados na probabilidade do evento A ou B. Temos ento: P(A ou B) = P(A) + P(B) Note que isso vale porque uma falta no pode ser cometida pelos dois jogadores ao mesmo tempo, ou seja, o evento A e B impossvel. EXEMPLO 6 Uma empresa que fabrica suco de laranja fez uma pesquisa para saber como est a preferncia do consumidor em relao ao seu suco e ao fabricado por seu principal concorrente. Essa empresa chamada SOSUMO, e seu concorrente SUMOBOM. A pesquisa concluiu que dos 500 entrevistados, 300 preferiam o SUMOBOM, 100 consumiam os dois, 250 preferiam SOSUMO e 50 nenhum dos dois. Um dos entrevistados foi escolhido ao acaso. Qual a probabilidade de que ele seja: a) consumidor de SOSUMO e SUMOBOM; b) consumidor de SOSUMO ou SUMOBOM. Soluo: a) De acordo com a pesquisa dos 500 entrevistados, 100 consomem os dois sucos. Logo, a probabilidade de que um entrevistado, escolhido ao acaso, consuma os dois sucos :
P(B) =
P(A e B) =
P(A ou B) =
9 . 10
Observao
Em exemplos como o que acabamos de ver h outras solues possveis. Observe que o evento A ou B (consumir um suco ou outro) deve incluir como casos favorveis todas as pessoas que no fazem parte do grupo dos que no consomem esses dois sucos. Sabamos que dos 500 entrevistados, 50 pessoas consumiam nenhum dos dois e a probabilidade de escolhermos uma dessas pessoas ao acaso era
100 1 = . 500 5
b) Usando o raciocnio do Exemplo 5, para saber a probabilidade da ocorrncia de um evento ou outro, somamos as probabilidades de os dois eventos ocorrerem separadamente. Mas, neste exemplo, devemos tomar cuidado com o seguinte: existem pessoas que consomem os dois sucos indiferentemente, compram o que estiver mais barato, por exemplo. Assim, no podemos contar essas pessoas (que consomem um e outro) duas vezes. Observe que a soma dos resultados maior que o nmero de entrevistados (300 + 100 + 200 + 50 = 650), ou seja, h pessoas que, apesar de preferirem um dos sucos, consomem os dois. Para facilitar daremos nomes aos eventos: A : preferir o SOSUMO B: preferir o SUMOBOM A e B: consumir SOSUMO e SUMOBOM A ou B: consumir SOSUMO ou SUMOBOM Repare que este ou quer dizer: apenas o SOSUMO ou apenas o SUMOBOM. Fazendo P(A ou B) = P(A) + P(B) estamos contando duas vezes as pessoas que apesar de preferirem um dos sucos, consomem os dois. Logo, devemos subtrair de P(A) + P(B) o resultado de P(A e B) para retirar a contagem dobrada.
50 1 , ou seja, . 500 10
Assim, podamos concluir que a probabilidade de no fazer parte desse grupo era 1 so. Exerccios propostos. Exerccio 1 Em uma cidade do interior do Brasil, a probabilidade de que um habitante escolhido ao acaso tenha televiso em casa
ao acaso, qual a probabilidade de que ele tenha televiso em casa e seja comerciante? Exerccio 2
Alguns professores esto prestando concurso para dar aulas em uma escola. Inicialmente, eles faro uma prova escrita e, depois de serem aprovados nessa prova, faro uma prova prtica. Aquele que for aprovado na prova prtica ser contratado.
Raciocnio Lgico
55
APOSTILAS OPO
Sabendo que a probabilidade de aprovao na prova escrita
1 e de aprovao na prova prtica (depois de ser aprova4 2 , calcule a probabilidade de que um prodo na escrita) 3
fessor, escolhido ao acaso, seja contratado. Exerccio 3 Em uma noite de sexta-feira, pesquisadores percorreram 500 casas perguntando em que canal estava ligada a televiso. Desse modo, descobriram que em 300 casas assistiam ao canal VER-DE-PERTO, 100 viam o canal VERMELHOR e outras 100 casas no estavam com a TV ligada. Escolhida uma das 500 casas, ao acaso, qual a probabilidade de que a TV esteja sintonizada no canal VER-DE-PERTO ou no canal VER-MELHOR? Exerccio 4 Dos 140 funcionrios de uma fbrica, 70 preferem a marca de cigarros FUMAA, 80 preferem TOBACO e 30 fumam ambas sem preferncia. Sabendo que 20 funcionrios no fumam, calcule a probabilidade de que um funcionrio, escolhido ao acaso: a) fume FUMAA e TOBACO b) fume FUMAA ou TOBACO Exerccio 5 Com as mesmas informaes do exerccio anterior, calcule a probabilidade de que um funcionrio, escolhido ao acaso: a) fume s FUMAA b) fume s TOBACO c) fume s FUMAA ou s TOBACO d) no fume nenhuma das duas marcas de cigarro e) no fume FUMAA f) no fume TOBACO Respostas 1. Eventos independentes: f) b) P (A ou B) =
5. a)
40 2 = 140 7
b)
c)
d)
e)
Fonte: http://www.bibvirt.futuro.usp.br
PROVA SIMULADA
EXERCCIOS PROPOSIES E CONECTIVOS
1 12
2. Eventos dependentes:
1 6
3.
4. a) P (A e B) =
Raciocnio Lgico
56
APOSTILAS OPO
correto afirmar que, na relao dada, so sentenas APENAS os itens de nmeros (A) 1, 4 e 6. (D) 3 e 5. (B) 2, 4 e 5. (E) 2 e 4. (C) 2, 3 e 5. 03. (PM-Bahia 2009 FCC) Define-se sentena como qualquer orao que tem sujeito (o termo a respeito do qual se declara alguma coisa) e predicado (o que se declara sobre o sujeito). Na relao que segue h expresses e sentenas : 1. Tomara que chova. 2. Que horas so? 3. Trs vezes dois so cinco. 4. Quarenta e dois detentos. 5. Policiais so confiveis. 6. Exerccios fsicos so saudveis. De acordo com a definio dada, correto afirmar que, dos itens da relao acima, so sentenas APENAS os de nmeros A) 1, 3 e 5. D) 4 e 6. B) 2, 3 e 5. E) 5 e 6. C) 3, 5 e 6. 04. (ICMS/SP 2006 FCC) Das cinco frases abaixo, quatro delas tm uma mesma caracterstica lgica em comum, enquanto uma delas no tem essa caracterstica. I. Que belo dia! II. Um excelente livro de raciocnio lgico. III. O jogo terminou empatado? IV. Existe vida em outros planetas do universo. V. Escreva uma poesia. A frase que no possui essa caracterstica comum a (A) I. (C) III. (E) V. (B) II. (D) IV. 05. (ICMS/SP 2006 FCC) Considere as seguintes frases: I. Ele foi o melhor jogador do mundo em 2005. II. (x + y)/5 um nmero inteiro. III. Joo da Silva foi o Secretrio da Fazenda do Estado de So Paulo em 2000. verdade que APENAS (A) I e II so sentenas abertas. (B) I e III so sentenas abertas. (C) II e III so sentenas abertas. (D) I uma sentena aberta. (E) II uma sentena aberta. 06. (MRE 2008 CESPE) Julgue os itens a seguir. 1. Considere a seguinte lista de sentenas: I. Qual o nome pelo qual conhecido o Ministrio das Relaes Exteriores? II. O Palcio Itamaraty em Braslia uma bela construo do sculo XIX. III. As quantidades de embaixadas e consulados gerais que o Itamaraty possui so, respectivamente, x e y. IV. O baro do Rio Branco foi um diplomata notvel. V. Indivduo com 50 anos de idade ou mais no poder se inscrever no concurso do TRT/ES. Nessa situao, correto afirmar que entre as sentenas acima, apenas uma delas no uma proposio. 07. (SEBRAE-2008/CESPE) Uma proposio uma sentena afirmativa ou negativa que pode ser julgada como verdadeira (V) ou falsa (F), mas no como ambas. Nesse sentido, considere o seguinte dilogo: (1) Voc sabe dividir? perguntou Ana. (2) Claro que sei! respondeu Mauro. (3) Ento, qual o resto da diviso de onze milhares, onze centenas e onze por trs? perguntou Ana. (4) O resto dois. respondeu Mauro, aps fazer a conta. A partir das informaes e do dilogo acima, julgue os itens que se seguem.
Raciocnio Lgico
57
APOSTILAS OPO
BA uma simbolizao correta para a proposio Uma condio necessria para que o autor envie duas cpias de sua publicao de pesquisa para a Biblioteca do Itamaraty que a publicao use e cite documentos do Itamaraty. 13. (PETROBRAS 2007 CESPE) Julgue o seguinte item: Item 1. A proposio O piloto vencer a corrida somente se o carro estiver bem preparado pode ser corretamente lida como O carro estar bem preparado condio necessria para que o piloto vena a corrida. 14. (TRF 1 Regio Tcnico Jud 2006 FCC) Se todos os nossos atos tm causa, ento no h atos livres. Se no h atos livres, ento todos os nossos atos tm causa. Logo: a) alguns atos no tm causa se no h atos livres. b) Todos os nossos atos tm causa se e somente se h atos livres. c) Todos os nossos atos tm causa se e somente se no h atos livres. d) Todos os nossos atos no tm causa se e somente se no h atos livres. e) Alguns atos so livres se e somente se todos os nossos atos tm causa 15. (TRT-SP Anal Jud 2008 FCC) Considere as seguintes premissas: "Se todos os homens so sbios, ento no h justia para todos." "Se no h justia para todos, ento todos os homens so sbios." Para que se tenha um argumento vlido, correto concluir que: (A) Todos os homens so sbios se, e somente se, h justia para todos. (B) Todos os homens so sbios se, e somente se, no h justia para todos. (C) Todos os homens so sbios e h justia para todos. (D) Todos os homens so sbios e no h justia para todos. (E) Todos os homens so sbios se h justia para todos. 16. (TRT-SP Tc. Jud. rea Administrativa 2008 FCC) Dadas as proposies simples p e q, tais que p verdadeira e q falsa, considere as seguintes proposies compostas:
A que tem valor lgico FALSO a (A) IV (B) V (C) III (D) II (E) I 20. (ICMS/SP 2006 FCC) Na tabela-verdade abaixo, p e q so proposies
Quantas dessas proposies compostas so verdadeiras? (A) Nenhuma. (D) Apenas trs. (B) Apenas uma. (E) Quatro. (C) Apenas duas. 17. (TRT 9 Regio 2004 FCC) Leia atentamente as proposies P e Q: P: o computador uma mquina. Q: compete ao cargo de tcnico judicirio a construo de computadores. Em relao s duas proposies, correto afirmar que (A) a proposio composta P ou Q" verdadeira. (B) a proposio composta P e Q verdadeira. (C) a negao de P equivalente negao de Q. (D) P equivalente a Q. (E) P implica Q 18. (Petrobrs 2006 Cesgranrio) Sabendo que as proposies p e q so verdadeiras e que as proposies r e s so falsas, assinale a opo que apresenta valor lgico falso nas proposies abaixo.
21. (Tec da Fazenda Estadual de SP 2010 FCC) Considere as seguintes premissas: p: Estudar fundamental para crescer profissionalmente. q: O trabalho enobrece. A afirmao Se o trabalho no enobrece, ento estudar no fundamental para crescer profissionalmente , com certeza, FALSA quando: (A) p falsa e q verdadeira. (D) p falsa e q falsa. (B) p verdadeira e q falsa. (E) p verdadeira e q verdadeira. (C) p falsa ou q falsa. 22. (TRT-SP Tec Jud 2008 FCC) Considere que so verdadeiras as seguintes premissas: Se o professor adiar a prova, Lulu ir ao cinema. Se o professor no adiar a prova, Lenine ir Biblioteca. Considerando que, com certeza, o professor adiar a prova, correto afirmar que a) Lulu e Lenine no iro Biblioteca b) Lulu e Lenine no iro ao cinema. c) Lulu ir ao cinema. d) Lenine ir Biblioteca. e) Lulu ir ao cinema e Lenine no ir Biblioteca.
Raciocnio Lgico
58
APOSTILAS OPO
23. (TCE-SP 2010 FCC) Certo dia, cinco Agentes de um mesmo setor do Tribunal de Contas do Estado de So Paulo Amarilis, Benivaldo, Corifeu, Divino e Esmeralda foram convocados para uma reunio em que se discutiria a implantao de um novo servio de telefonia. Aps a reunio, alguns funcionrios fizeram os seguintes comentrios: Se Divino participou da reunio, ento Esmeralda tambm participou; Se Divino no participou da reunio, ento Corifeu participou; Se Benivaldo ou Corifeu participaram, ento Amarilis no participou; Esmeralda no participou da reunio. Considerando que as afirmaes contidas nos quatro comentrios eram verdadeiras, pode-se concluir com certeza que, alm de Esmeralda, no participaram de tal reunio (A) Amarilis e Benivaldo. (B) Amarilis e Divino. (C) Benivaldo e Corifeu. (D) Benivaldo e Divino. (E) Corifeu e Divino. 24. (Metr-SP 2009 FCC) Entre outros, trs enfermeiros Abigail, Bencio e Clvis foram incumbidos de acompanhar um Programa de Vacinao contra o vrus da dengue, a ser executado em uma mesma estao de trens metropolitanos da cidade de So Paulo. Sabedor de que, no dia estipulado para a execuo do programa, pelo menos um desses trs enfermeiros no havia comparecido ao local designado, o Coordenador do Programa convocou-os a prestar esclarecimentos, ouvindo deles as seguintes declaraes: Abigail: Bencio faltou e Clvis faltou. Bencio: Clvis compareceu ou Abigail faltou. Clvis: Se Bencio compareceu, ento Abigail faltou. Considerando que as trs declaraes so falsas, correto afirmar que, apenas, (A) Abigail faltou. (B) Bencio faltou. (C) Clvis faltou. (D) Abigail e Bencio faltaram. (E) Bencio e Clvis faltaram. 25. (Analista BACEN 2005 FCC) Aldo, Ben e Caio receberam uma proposta para executar um projeto. A seguir so registradas as declaraes dadas pelos trs, aps a concluso do projeto: - Aldo: No verdade que Ben e Caio executaram o projeto. - Ben: Se Aldo no executou o projeto, ento Caio o executou. - Caio: Eu no executei o projeto, mas Aldo ou Ben o executaram. Se somente a afirmao de Ben falsa, ento o projeto foi executado APENAS por (A) Aldo. (C) Caio. (E) Aldo e Caio. (B) Ben. (D) Aldo e Ben. 26. (Cmara dos deputados 2007 FCC) Relativamente a uma mesma prova de um concurso a que se submeteram, trs amigos fizeram as seguintes declaraes: Ariovaldo: Bencio foi reprovado no concurso e Corifeu foi aprovado. Bencio: Se Ariovaldo foi reprovado no concurso, ento Corifeu tambm o foi. Corifeu: Eu fui aprovado no concurso, mas pelo menos um dos outros dois no o foi. Admitindo-se que as trs declaraes so verdadeiras, ento (A) Ariovaldo foi o nico dos trs que foi aprovado no concurso. (B) Bencio foi o nico dos trs que foi aprovado no concurso. (C) Corifeu foi o nico dos trs que foi aprovado no concurso.
Raciocnio Lgico
59
APOSTILAS OPO
"No dia do crime, no fui a lugar nenhum. Quando ouvi a campainha e percebi que era o vendedor, eu disse a ele: - hoje no compro nada. Isso posto, no tenho nada a declarar sobre o crime. Embora a dupla negao seja utilizada com certa freqncia na lngua portuguesa como um reforo da negao, do ponto de vista puramente lgico, ela equivale a uma afirmao. Ento, do ponto de vista lgico, o acusado afirmou, em relao ao dia do crime, que (A) no foi a lugar algum, no comprou coisa alguma do vendedor e no tem coisas a declarar sobre o crime. (B) no foi a lugar algum, comprou alguma coisa do vendedor e tem coisas a declarar sobre o crime. (C) foi a algum lugar, comprou alguma coisa do vendedor e tem coisas a declarar sobre o crime. (D) foi a algum lugar, no comprou coisa alguma do vendedor e no tem coisas a declarar sobre o crime. (E) foi a algum lugar, comprou alguma coisa do vendedor e no tem coisas a declarar sobre o crime. 34. (Fiscal Recife 2003 ESAF) Pedro, aps visitar uma aldeia distante, afirmou: No verdade que todos os aldees daquela aldeia no dormem a sesta. A condio necessria e suficiente para que a afirmao de Pedro seja verdadeira que seja verdadeira a seguinte proposio: a) No mximo um aldeo daquela aldeia no dorme a sesta. b) Todos os aldees daquela aldeia dormem a sesta. c) Pelo menos um aldeo daquela aldeia dorme a sesta. d) Nenhum aldeo daquela aldeia no dorme a sesta. e) Nenhum aldeo daquela aldeia dorme a sesta. 35. (Especialista em Polticas Pblicas SP 2009 FCC) A sentena a seguir foi dita pelo chefe da manuteno de determinada indstria durante uma reunio: No verdade que todos os funcionrios do meu setor deixaram de cumprir a meta de atender a 100% das chamadas dentro do prazo recomendado. Mais tarde, na mesma reunio, os dados apresentados pelos outros setores da indstria mostraram que o chefe da manuteno se equivocara, sendo falsa sua sentena. Nessas condies, necessrio concluir que (A) nenhum funcionrio da manuteno conseguiu atende a qualquer chamada dentro do prazo recomendado. (B) pelo menos um funcionrio da manuteno no conseguiu atender nenhuma chamada dentro do prazo recomendado. (C) todos os funcionrios da manuteno tiveram pelo menos uma chamada que no foi atendida dentro do prazo recomendado. (D) apenas um funcionrio da manuteno teve pelo menos uma chamada que no foi atendida dentro do prazo recomendado. (E) 100% das chamadas feitas a funcionrios da manuteno deixaram de ser atendidas dentro do prazo recomendado. 36. D uma negao para cada uma das proposies abaixo. a) X > Y e Z = W. b) X Y ou Z < W. c) Se o tempo est chuvoso, ento no faz calor. d) Joo bom mdico se e s se estudou muito. 37. (Metr-SP 2010 FCC) Considere as proposies simples: p: Maly usuria do Metr e q: Maly gosta de dirigir automvel A negao da proposio composta p ~q : (A) Maly no usuria do Metr ou gosta de dirigir automvel. (B) Maly no usuria do Metr e no gosta de dirigir automvel. (C) No verdade que Maly no usuria do Metr e no gosta de dirigir automvel.
EQUIVALNCIA ENTRE PROPOSIES 40. (ICMS/SP 2006 FCC) Das proposies abaixo, a nica que logicamente equivalente a p q
41. (TRF 3 Regio 2007 FCC) Se Lucia pintora, ento ela feliz. Portanto: (A) Se Lucia no feliz, ento ela no pintora. (B) Se Lucia feliz, ento ela pintora. (C) Se Lucia feliz, ento ela no pintora. (D) Se Lucia no pintora, ento ela feliz. (E) Se Lucia pintora, ento ela no feliz. 42. (Assemblia Legislativa/SP 2010 FCC) Durante uma sesso no plenrio da Assemblia Legislativa, o presidente da mesa fez a seguinte declarao, dirigindo- se s galerias da casa: Se as manifestaes desrespeitosas no forem interrompidas, ento eu no darei incio votao. Esta declarao logicamente equivalente afirmao (A) se as manifestaes desrespeitosas continuarem, ento o presidente da mesa comear a votao. (B) se as manifestaes desrespeitosas no continuarem, ento o presidente da mesa no comear a votao. (C) se o presidente da mesa deu incio votao, ento as manifestaes desrespeitosas foram interrompidas. (D) se o presidente da mesa no deu incio votao, ento as manifestaes desrespeitosas no foram interrompidas. (E) se as manifestaes desrespeitosas forem interrompidas, ento o presidente da mesa dar incio votao. 43. (TCE MG 2007 FCC) So dadas as seguintes proposies: (1) Se Jaime trabalha no Tribunal de Contas, ento ele eficiente. (2) Se Jaime no trabalha no Tribunal de Contas, ento ele no eficiente. (3) No verdade que, Jaime trabalha no Tribunal de Contas e no eficiente. (4) Jaime eficiente ou no trabalha no Tribunal de Contas. correto afirmar que so logicamente equivalentes apenas as proposies de nmeros
Raciocnio Lgico
60
APOSTILAS OPO
(A) 2 e 4 (B) 2 e 3 (C) 2, 3 e 4 (D) 1, 2 e 3 (E) 1, 3 e 4 44. (ISS So Paulo 2007 FCC) Considere a seguinte proposio: Se um Auditor-Fiscal Tributrio no participa de projetos de aperfeioamento, ento ele no progride na carreira. Essa proposio tautologicamente equivalente proposio: (A) No verdade que, ou um Auditor-Fiscal Tributrio no progride na carreira ou ele participa de projetos de aperfeioamento. (B) Se um Auditor-Fiscal Tributrio participa de projetos de aperfeioamento, ento ele progride na carreira. (C) No verdade que, um Auditor-Fiscal Tributrio no participa de projetos de aperfeioamento e no progride na carreira. (D) Ou um Auditor-Fiscal Tributrio no progride na carreira ou ele participa de projetos de aperfeioamento. (E) Um Auditor-Fiscal Tributrio participa de projetos de aperfeioamento e progride na carreira. 45. (TRE-PI Tc Jud 2009 FCC) Um dos novos funcionrios de um cartrio, responsvel por orientar o pblico, recebeu a seguinte instruo: Se uma pessoa precisar autenticar documentos, encaminhea ao setor verde. Considerando que essa instruo sempre cumprida corretamente, pode-se concluir que, necessariamente, (A) uma pessoa que no precise autenticar documentos nunca encaminhada ao setor verde. (B) toda pessoa encaminhada ao setor verde precisa autenticar documentos. (C) somente as pessoas que precisam autenticar documentos so encaminhadas ao setor verde. (D) a nica funo das pessoas que trabalham no setor verde autenticar documentos. (E) toda pessoa que no encaminhada ao setor verde no precisa autenticar documentos. 46. (TRF 3 Regio Analista Judicirio 2007 FCC) Considere que as sentenas abaixo so verdadeiras. Se a temperatura est abaixo de 5 C, h nevoeiro. Se h nevoeiro, os avies no decolam. Assim sendo, tambm verdadeira a sentena: (A) Se no h nevoeiro, os avies decolam. (B) Se no h nevoeiro, a temperatura est igual a ou acima de 5 C. (C) Se os avies no decolam, ento h nevoeiro. (D) Se h nevoeiro, ento a temperatura est abaixo de 5 C. (E) Se a temperatura est igual a ou acima de 5 C os avies decolam. 47. (ICMS/SP 2006 FCC) Se p e q so proposies, ento a proposio p (~q) equivalente a
27. a) Algum corvo negro. b) Algum gato no sabe pular. c) Nenhum sapo prncipe. (Todo sapo no prncipe.) d) Toda planta venenosa. (Nenhuma planta no venenosa.) 36. a) X Y ou Z W. b) X > Y e Z W. c) O tempo est chuvoso e no faz calor. d) Ou Joo bom mdico ou estudou muito, mas no ambos.
Raciocnio Lgico
61
APOSTILAS OPO
_______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ ______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________
Raciocnio Lgico
62