Professional Documents
Culture Documents
1 Raciocnio lgico-matemtico: Estrutura lgica de relaes arbitrrias entre pessoas, lugares, objetos ou eventos fictcios; deduzir novas informaes das relaes fornecidas e avaliar as condies usadas para estabelecer a estrutura daquelas relaes. 2 Compreenso e elaborao da lgica das situaes por meio de: raciocnio verbal, raciocnio matemtico, raciocnio sequencial, orientao espacial e temporal, formao de conceitos, discriminao de elementos. 3 Compreenso do processo lgico que, a partir de um conjunto de hipteses, conduz, de forma vlida, a concluses determinadas.
RACIOCNIO LGICO-MATEMTICO
Lgica Matemtica
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 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.
Raciocnio Lgico
APOSTILAS OPO
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 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
Raciocnio Lgico
APOSTILAS OPO
em como parte integrante de si prpria pelo menos uma outra proposio. As proposies compostas sero designadas pelas letras latinas maisculas tais como: P, Q, R, S, U, V, W, P1, P2. . . Pn... Considere as proposies simples: p: A filosofia arte q: A dialtica cincia. Seja, portanto, a proposio composta A filosofia arte embora a dialtica a cincia. Para se indicar que a dada sentena designada pela letra proposicional P, sendo constituda de p e q componentes adota-se a notao P (p, q): A filosofia arte embora a dialtica a cincia. Observe que uma frmula proposicional pode ser constituda de outras frmulas proposicionais. Alm do mais uma letra proposicional pode designar uma nica proposio, quer seja simples ou composta, contudo uma dada proposio pode ser qualificada por quaisquer das letras proposicionais num dado universo. Sejam as proposies: p: A lgica condiciona a Matemtica 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.
no e
A Opo Certa Para a Sua Realizao
Raciocnio Lgico
APOSTILAS OPO | | ou se ... ento se e somente se tal que implica equivalente existe existe um e somente um qualquer que seja
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
Raciocnio Lgico
APOSTILAS OPO
Exemplo 2 Premissa 1: Se no houvesse vida para alm da morte, ento a vida no faria sentido. Premissa 2: Mas a vida faz sentido. Concluso: Logo, h vida para alm da morte. Exemplo 3: Premissa 1: Todos os minhotos so portugueses. Premissa 2: Todos os portugueses so europeus. Concluso: Todos os minhotos so europeus. claro que a maior parte das vezes os argumentos no se apresentam nesta forma. Repara, por exemplo, no argumento de Kant a favor do valor objectivo da felicidade, tal como apresentado por Aires Almeida et al. (2003b) no site de apoio ao manual A Arte de Pensar: "De um ponto de vista imparcial, cada pessoa um fim em si. Mas se cada pessoa um fim em si, a felicidade de cada pessoa tem valor de um ponto de vista imparcial e no apenas do ponto de vista de cada pessoa. Dado que cada pessoa realmente um fim em si, podemos concluir que a felicidade tem valor de um ponto de vista imparcial." 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.
Raciocnio Lgico
APOSTILAS OPO
Ambiguidade e vagueza Para alm de podermos ter a mesma proposio expressa por diferentes frases, tambm pode acontecer que a mesma frase exprima mais do que uma proposio. Neste caso dizemos que a frase ambgua. A frase "Em cada dez minutos, um homem portugus pega numa mulher ao colo" ambgua, porque exprime mais do que uma proposio: tanto pode querer dizer que existe um homem portugus (sempre o mesmo) que, em cada dez minutos, pega numa mulher ao colo, como pode querer dizer que, em cada dez minutos, um homem portugus (diferente) pega numa mulher ao colo (a sua). Por vezes, deparamo-nos com frases que no sabemos com exactido o que significam. So as frases vagas. Uma frase vaga uma frase que d origem a casos de fronteira indecidveis. Por exemplo, "O professor de Filosofia calvo" uma frase vaga, porque no sabemos a partir de quantos cabelos que podemos considerar que algum calvo. Quinhentos? Cem? Dez? Outro exemplo de frase vaga o seguinte: "Muitos alunos tiveram negativa no teste de Filosofia". Muitos, mas quantos? Dez? Vinte? Em filosofia devemos evitar as frases vagas, pois, se no comunicarmos com exactido o nosso pensamento, como que podemos esperar que os outros nos compreendam? 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.
Raciocnio Lgico
APOSTILAS OPO
Argumentos slidos e argumentos bons Em filosofia no suficiente termos argumentos vlidos, pois, como viste, podemos ter argumentos vlidos com concluso falsa (se pelo menos uma das premissas for falsa). Em filosofia pretendemos chegar a concluses verdadeiras. Por isso, precisamos de argumentos slidos. Um argumento slido um argumento vlido com premissas verdadeiras. Um argumento slido no pode ter concluso falsa, pois, por definio, vlido e tem premissas verdadeiras; ora, a validade exclui a possibilidade de se ter premissas verdadeiras e concluso falsa. O seguinte argumento vlido, mas no slido: Todos os minhotos so alentejanos. Todos os bracarenses so minhotos. Logo, todos os bracarenses so alentejanos. Este argumento no slido, porque a primeira premissa falsa (os minhotos no so alentejanos). E porque tem uma premissa falsa que a concluso falsa, apesar de o argumento ser vlido. 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.
Raciocnio Lgico
APOSTILAS OPO
p: O nmero 24 mltiplo de 3. q: Braslia a capital do Brasil. r: 8 + 1 = 3 . 3 s: O nmero 7 mpar t: O nmero 17 primo Proposies compostas P: O nmero 24 divisvel por 3 e 12 o dobro de 24. Q: A raiz quadrada de 16 4 e 24 mltiplo de 3. R(s, t): O nmero 7 mpar e o nmero 17 primo. Noes de Lgica Srgio Biagi Gregrio 1. CONCEITO DE LGICA Lgica a cincia das leis ideais do pensamento e a arte de aplic-los pesquisa e demonstrao da verdade. Diz-se que a lgica uma cincia porque constitui um sistema de conhecimentos certos, baseados em princpios universais. Formulando as leis ideais do bem pensar, a lgica se apresenta como cincia normativa, uma vez que seu objeto no definir o que , mas o que deve ser, isto , as normas do pensamento correto. A lgica tambm uma arte porque, ao mesmo tempo que define os princpios universais do pensamento, estabelece as regras prticas para o conhecimento da verdade (1). 2. EXTENSO E COMPREENSO DOS CONCEITOS
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-
Lgica - do grego logos significa palavra, expresso, pensamento, conceito, discurso, razo. Para Aristteles, a lgica a cincia da demonstrao; Maritain a define como a arte que nos faz proceder, com ordem, facilmente e sem erro, no ato prprio da razo; para Liard a cincia das formas do pensamento. Poderamos ainda acrescentar: a cincia das leis do pensamento e a arte de aplic-las corretamente na procura e demonstrao da verdade. A filosofia, no correr dos sculos, sempre se preocupou com o conhecimento, formulando a esse respeito vrias questes: Qual a origem do conhecimento? Qual a sua essncia? Quais os tipos de conhecimentos? Qual o critrio da verdade? possvel o conhecimento? lgica no interessa nenhuma dessas perguntas, mas apenas dar as regrasdo pensamento correto. A lgica , portanto, uma disciplina propedutica. Aristteles considerado, com razo, o fundador da lgica. Foi ele, realmente, o primeiro a investigar, cientificamente, as leis do pensamento. Suas pesquisas lgicas foram reunidas, sob o nome de Organon, por Digenes Larcio. As leis do pensamento formuladas por Aristteles se caracterizam pelo rigor e pela exatido. Por isso, foram adotadas pelos pensadores antigos e medievais e, ainda hoje, so admitidas por muitos filsofos. O objetivo primacial da lgica , portanto, o estudo da inteligncia sob o ponto de vista de seu uso no conhecimento. ela que fornece ao filsofo o instrumento e a tcnica necessria para a investigao segura da verdade. Mas, para atingir a verdade, precisamos partir de dados exatos e raciocinar corretamente, a fim de que o esprito no caia em contradio consigo mesmo ou com os objetos, afirmando-os diferentes do que, na realidade, so. Da as vrias divises da lgica. Assim sendo, a extenso e compreenso do conceito, o juzo e o raciocnio, o argumento, o silogismo e o sofisma so estudados dentro do tema lgica. O silogismo, que um
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
Raciocnio Lgico
APOSTILAS OPO
raciocnio composto de trs proposies, dispostos de tal maneira que a terceira, chamada concluso, deriva logicamente das duas primeiras chamadas premissas, tem lugar de destaque. que todos os argumentos comeam com uma afirmao caminhando depois por etapas at chegar concluso. Srgio Biagi Gregrio PROPOSIO Denomina-se proposio a toda frase declarativa, expressa em palavras ou smbolos, que exprima um juzo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lgicos possveis: verdadeiro ou falso. So exemplos de proposies as seguintes sentenas declarativas: A capital do Brasil Braslia. 23 > 10 Existe um nmero mpar menor que dois. Joo foi ao cinema ou ao teatro. No so proposies: 1) frases interrogativas: Qual o seu nome? 2) frases exclamativas: Que linda essa mulher! 3) frases imperativas: Estude mais. 4) frases optativas: Deus te acompanhe. 5) frases sem verbo: O caderno de Maria. 6) sentenas abertas (o valor lgico da sentena depende do valor (do nome) atribudo a varivel): x maior que 2; x+y = 10; Z a capital do Chile. 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.
ARGUMENTO
Um argumento pode ser definido como uma afirmao acompanhada de justificativa (argumento retrico) ou como uma justaposio de duas afirmaes opostas, argumento e contra-argumento (argumento dialgico)1 . Na lgica, um argumento um conjunto de uma ou mais sentenas declarativas, tambm conhecidas como proposies, ou ainda, premissas, acompanhadas de uma outra frase declarativa conhecida comoconcluso. Um argumento dedutivo afirma que a verdade de uma concluso uma consequncia lgica daspremissas que a antecedem. Um argumento indutivo afirma que a verdade da concluso apenas apoiada pelas premissas. Toda premissa, assim como toda concluso, pode ser apenas verdadeira ou falsa; nunca pode ser ambgua. Em funao disso, as frases que apresentam um argumento so referidas como sendo verdadeiras ou falsas, e em consequncia, so vlidas ou so invlidas. Alguns autores referem-se concluso das premissas usando os termos declarao, frase, afirmao ou proposio. A razo para a preocupao com a verdade ontolgica quanto ao significado dos termos (proposies) em particular. Seja qual termo for utilizado, toda premissa, bem como a concluso, deve ser capaz de ser apenas verdadeira ou falsa e nada mais: elas devem ser truthbearers ("portadores de verdade", em portugus). Argumentos formais e argumentos informais Argumentos informais so estudados na lgica informal. So apresentados em linguagem comum e se destinam a ser o nosso discurso dirio. Argumentos Formais so estudados na lgica formal (historicamente chamada lgica simblica,
Raciocnio Lgico
APOSTILAS OPO
mais comumente referida como lgica matemtica) e so expressos em uma linguagem formal. Lgica informal pode chamar a ateno para o estudo da argumentao, que enfatiza implicao, lgica formal e de inferncia. Argumentos dedutivos O argumento dedutivo uma forma de raciocnio que geralmente parte de uma verdade universal e chega a uma verdade menos universal ou singular. Esta forma de raciocnio vlida quando suas premissas, sendo verdadeiras, fornecem provas evidentes para sua concluso. Sua caracterstica principal a necessidade, uma vez que ns admitimos como verdadeira as premissas teremos que admitir a concluso como verdadeira, pois a concluso decorre necessariamente das premissas. Dessa forma, o argumento deve ser considerado vlido. Um raciocnio dedutivo vlido quando suas premissas, se verdadeiras, fornecem provas convincentes para sua concluso, isto , quando as premissas e a concluso esto de tal modo relacionados que absolutamente impossvel as premissas serem verdadeiras se a concluso tampouco for verdadeira (COPI, 1978, p.35). Geralmente os argumentos dedutivos so estreis, uma vez que eles no apresentam nenhum conhecimento novo. Como dissemos, a concluso j est contida nas premissas. A concluso nunca vai alm das premissas. Mesmo que a cincia no faa tanto uso da 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
Raciocnio Lgico
10
APOSTILAS OPO
a induo matemtica uma forma de raciocnio dedutivo e totalmente rigorosa. Nos argumentos indutivos as premissas do alguma evidncia para a concluso. Um bom argumento indutivo ter uma concluso altamente provvel. Neste caso, bem provvel que a concluso realizar-se- ou ser vlida. Diz-se ento que as premissas podero ser falsas ou verdadeiras e as concluses podero ser vlidas ou no vlidas. Segundo John Stuart Mill, existem algumas regras que se aplicam aos argumentos indutivos, que so: O mtodo da concordncia, o mtodo da diferena, e o mtodo das variaes concomitantes. Argumentao convincente Um argumento convincente se e somente se a veracidade das premissas tornar verdade a provvel concluso (isto , o argumento forte), e as premissas do argumento so, de fato, verdadeiras. Exemplo:
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
Raciocnio Lgico
11
APOSTILAS OPO
(3) Joo humano. (4) Logo, Joo mentiroso. Substituimos os termos similares de (2-4) por letras, para mostrar a importncia da noo de forma de argumento a seguir: (5) Todo H M. (6) J H. (7) Logo, J M. O que fizemos em C foi substituir "humano" por "H", "Joo" por "J" e "mentiroso" por "M", como resultado dessas alteraes temos que (5-7) uma forma do argumento original (1), ou seja (5-7) a forma de argumento de (1). Alm disso, cada sentena individual de (5-7) a forma de sentena de uma respectiva sentena em (1). Vale enfatizar que quando dois ou mais argumentos tm a mesma forma, se um deles vlido, todos os outros tambm so, e se um deles invlido, todos os outros tambm so.
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.
Raciocnio Lgico
12
APOSTILAS OPO
Portanto, John Lennon era um msico Neste caso, temos duas falsas premissas que implicam uma concluso verdadeira. Inferncia incorreta Uma inferncia incorreta conhecida como uma falcia. Os filsofos que estudam lgica informal compilaram grandes listas deles, e os psiclogos cognitivos tm documentado muitas vieses de raciocnio humano que favorecem o raciocnio incorreto. Inferncia logica automtica Os sistemas de IA primeiro providenciaram "inferncia logica automtica". Uma vez que estes j foram temas de investigao extremamente popular, levaram a aplicaes industriais sob a forma de sistemas especialistas e depois "business rule engines". O trabalho de um sistema de inferncia a de estender uma base de conhecimento automaticamente. A base de conhecimento (KB) um conjunto de proposies que representam o que o sistema sabe sobre o mundo. Vrias tcnicas podem ser utilizadas pelo sistema para estender KB por meio de inferncias vlidas. 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.
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. Frege adiciona lgica sentencial: o vocabulrio de quantificadores (o A de pontacabea, e o E invertido) e variveis; e uma semntica que explica que as variveis denotam objetos individuais e que os quantificadores tm algo como a fora de "todos" ou "alguns" em relao a esse objetos; mtodos para us-los numa linguagem. Para introduzir um quantificador "todos", voc assume uma varivel arbitrria, prova algo que deva ser verdadeira, e ento prova que no importa que varivel voc escolha, que aquilo deve ser sempre verdade. Um quantificador "todos" pode ser removido aplicando-se a sentena para um objeto em particular. Um quantificador "algum" (existe) pode ser adicionado a uma sentena verdadeira de qualquer objeto; pode ser removida em favor de um temo sobre o qual voc ainda no esteja pressupondo qualquer informao. Origem: Wikipdia, a enciclopdia livre.
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
Raciocnio Lgico
13
APOSTILAS OPO
propriedade vale para qualquer indivduo do universo. Porm, usando uma linguagem proposicional para expressar "um indivduo arbitrrio de um universo tem uma certa propriedade " e "esta propriedade vale para qualquer indivduo do universo" usaramos dois smbolos proposicionais distintos e no teramos como concluir o segundo do primeiro. A linguagem de primeira ordem vai captar relaes entre indivduos de um mesmo universo de discurso e a lgica de primeira ordem vai permitir concluir particularizaes de uma propriedade geral dos indivduos de um universo de discurso, assim como derivar generalizaes a partir de fatos que valem para um indivduo arbitrrio do universo de discurso. Para ter tal poder de expresso, a linguagem de primeira ordem vai usar um arsenal de smbolos mais sofisticado do que o da linguagem proposicional. Considere a sentena "Todo objeto igual a si mesmo". Esta sentena fala de uma propriedade (a de ser igual a si mesmo) que vale para todos os indivduos de um universo de discurso, sem identificar os objetos deste universo. Considere agora a sentena "Existem nmeros naturais que so pares". Esta sentena fala de um propriedade (a de ser par) que vale para alguns (pelo menos um dos) indivduos do universo dos nmeros naturais, sem, no entanto, falar no nmero" 0" 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);
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
Raciocnio Lgico
14
APOSTILAS OPO
dem 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. 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
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,
Raciocnio Lgico
15
APOSTILAS OPO
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)) 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.
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; r: Maria morena. Composta ou Molecular - a proposio formada pela combinao de duas ou mais proposies. So habitualmente designadas por letras maisculas P, Q, R, S ..., tambm denominadas letras proposicionais. Exemplo: p : Walter engenheiro E Pedro estudante; q : Mauro dedicado OU Pedro trabalhador; r : SE Flvio estudioso ENTO ser aprovado. Observao: As proposies compostas so tambm denominadas frmulas proposicionais ou apenas frmulas. Quando interessa destacar que uma proposio composta P formada pela combinao de proposies simples, escreve-se: P ( p, q, r ...); Conectivos - so palavras que se usam para formar novas proposies a partir de outras. Exemplo: P: 6 par E 8 cubo perfeito; Q: NO vai chover; R: SE Mauro mdico, ENTO sabe biologia; S: o tringulo ABC issceles OU equiltero; T: o tringulo ABC equiltero SE E SOMENTE SE equiltero. So conectivos usuais em lgica Matemtica as palavras que esto grifadas, isto "e", "ou", "no", "se ... ento", "... se e somente se ..."
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
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 segui-
Raciocnio Lgico
16
APOSTILAS OPO
da, 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 verdadeiro. 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 Ma-
Raciocnio Lgico
17
APOSTILAS OPO
Dr. Turing, distrado, no ouve a resposta. Os andrides restantes fazem, ento, as seguintes declaraes: Beta: Alfa respondeu que sim. Gama: Beta est mentindo. Delta: Gama est mentindo. psilon: Alfa do tipo M. Mesmo sem ter prestado ateno resposta de Alfa, Dr. Turing pde, ento, concluir corretamente que o nmero de andrides do tipo V, naquele grupo, era igual a a) 1. b) 2. c) 3. d) 4. e) 5. Soluo: Vejamos as informaes: (1) Os andrides do tipo M sempre mentem. (2) Os andrides do tipo V sempre falam a verdade. Sendo feita a pergunta, voc mente, a resposta s poderia ser uma: NO. Pois, o mentiroso iria negar dizendo NO e o verdadeiro tambm iria negar dizendo NO. Como a resposta tinha que ser NO e Beta disse que alfa respondeu SIM, Beta est mentindo. Como Gama disse Beta est mentindo, ento Gama disse a verdade. Como Delta disse que Gama est mentindo, Delta um mentiroso. Restam agora Alfa e psilon. psilon disse que Alfa do tipo M. Isto Alfa mentiroso. Das duas uma: (1) se psilon fala a verdade, ele do tipo V e Alfa do tipo M; (2) se psilon do tipo M ele mente. Ento 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.
Origem: Wikipdia, a enciclopdia livre. SENTENAS ABERTAS Sentenas Abertas No captulo um, comentamos sobre as sentenas abertas, que so sentenas do tipo: a) x + 3 = 10 b) x > 5 c) (x+1)2 5 = x2 d) x y = 20 e) Em 2004 foram registradas 800+z acidentes de trnsito em So Paulo. f) Ele o juiz do TRT da 5 Regio. Tais sentenas no so consideradas proposies porque seu valor lgico (V ou F) depende do valor atribudo varivel (x, y, z,...). O pronome ele que aparece na ltima sentena acima, funciona como uma varivel, a qual se pode atribuir nomes de pessoas. H, entretanto, duas maneiras de transformar sentenas abertas em proposies: 1) atribuir valor s variveis; 2) utilizar quantificadores. A primeira maneira foi mostrada no captulo um, mas vejamos outros exemplos: Ao atribuir a x o valor 5 na sentena aberta x + 3 = 10, esta transforma-se na proposio 5 + 3 = 10, cujo valor lgico F. Ao atribuir a x o valor 2 na sentena aberta (x+1)2 5 = x2, esta transforma-se na proposio (2+1)2 5 = 22, que resulta em 4 = 4, tendo, portanto, valor lgico V.
Raciocnio Lgico
18
APOSTILAS OPO
A seguir, veremos a transformao de uma sentena aberta numa proposio por meio de quantificadores.
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) 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 influ-
Raciocnio Lgico
19
APOSTILAS OPO
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 Trs so as principais operaes do intelecto humano: a simples apreenso, os juzos e o raciocnio. A simples apreenso consiste na captao direta (atravs dos sentidos, da intuio racional, da imaginao etc) de uma realidade sobre a qual forma-se uma idia ou conceito (p. ex., de um objeto material, ideal, sobrenatural etc) que, 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.
Raciocnio Lgico
20
APOSTILAS OPO
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 trajetria existencial 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 Existem alguns princpios tidos como conditio sine qua non para que a coerncia do raciocnio, em absoluto, possa ocorrer. Podem ser entendidos como princpios que se referem tanto realidade das coisas (plano ontolgico), quanto ao pensamento (plano lgico), ou seja, se as coisas em geral 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.
Raciocnio Lgico
21
APOSTILAS OPO
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. Analogia fraca - Joo usa terno, sapato de cromo e perfume francs e um bom advogado; Antnio usa terno, sapato de cromo e perfume francs; logo, deve ser um bom advogado. b) O nmero de aspectos semelhantes entre uma situao e outra deve ser significativo.tc "b) O nmero de aspectos semelhantes entre uma situao e outra deve ser significativo." 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
Raciocnio Lgico
22
APOSTILAS OPO
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. Vejam-se os exemplos das concluses que pretendem ser aplicadas ao comportamento da totalidade dos membros de um grupo ou de uma classe tendo como modelo o comportamento de alguns de seus componentes: 1. Adriana mulher e dirige mal; Ana Maria mulher e dirige mal; 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.
Raciocnio Lgico
23
APOSTILAS OPO
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 probalidade natural. A teoria do caos assenta-se na tese da imprevisibilidade relativa e da descrio apenas parcial de alguns eventos naturais. Por lidarem com probabilidades, a induo e a analogia so passveis de concluses inexatas. 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.
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: 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:
Raciocnio Lgico
24
APOSTILAS OPO
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: (?). 6) De duas premissas afirmativas, no se tira uma concluso negativa. Exemplo de formulao incorreta: Premissa Maior: Todos os bens morais devem ser desejados. Premissa Menor: Ajudar ao prximo um bem moral. Concluso: Ajudar ao prximo no (?) deve ser desejado. 7) A concluso segue sempre a premissa mais fraca. A premissa mais fraca sempre a de carter negativo. Exemplo de formulao incorreta: 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) 23 cm d) 42 cm 9) (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)] 10) Numa avenida reta h cinco pontos comerciais, todos do mesmo lado da rua. A farmcia fica entre a padaria e o restaurante, a padaria fica entre o supermercado e a lotrica e o supermercado fica entre o restaurante e a farmcia. Nessas condies, qual das proposies abaixo verdadeira? a) O supermercado fica entre a padaria e a lotrica. b) A lotrica fica entre a padaria e o supermercado. c) Para ir do supermercado lotrica, passa-se em frente ao restaurante. d) A farmcia fica entre o supermercado e a padaria. 11) Andr inocente ou Beto inocente. Se Beto inocente, ento Caio culpado. Caio inocente se e somente se Dnis culpado. Ora, Dnis culpado. Logo: a) Caio e Beto so inocentes b) Andr e Caio so inocentes 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
Raciocnio Lgico
26
APOSTILAS OPO
c) se Pedro no pedreiro, ento Paulo paulista d) se Pedro pedreiro, ento Paulo no paulista 22) A negao lgica da proposio "O pai de Marcos pernambucano, e a me de Marcos gacha" : a) "O pai de Marcos no pernambucano, e a me de Marcos no gacha". b) "O pai de Marcos no pernambucano, ou a me de Marcos no gacha". c) "O pai de Marcos no pernambucano, ou a me de Marcos gacha". d) "O pai de Marcos pernambucano, e a me de Marcos no gacha". 23) Em um oramento foram acrescidos juros no valor de R$ 73,80 a fim de que o mesmo pudesse ser financiado em 5 prestaes de R$ 278,50. O valor real (inicial) do servio de: a) R$ 1.318,70 b) R$ 1.329,70 c) R$ 976,70 d) R$ 1.087,70 24) (QUESTES DE RACIOCNIO LGICO) De uma chapa que mede 2 m por 1,5 m o serralheiro separou 2/6 dela para cortar quadrados que medem 0,25 m de lado. Com esse pedao de chapa ele cortou exatamente: 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
Raciocnio Lgico
27
APOSTILAS OPO
analisar o argumento (2) precisamos analisar a estrutura interna das sentenas, e no apenas o modo pelo qual sentenas so conectadas umas s outras. O que caracteriza a lgica de predicados o uso dos quantificadores todo, algum e nenhum. por esse motivo que a validade de um argumento como o (2) depende da estrutura interna das sentenas. A diferena entre a lgica sentencial e a lgica de predicados ficar mais clara no decorrer desta e da prxima unidade. Usualmente o estudo da lgica comea pela lgica sentencial, e seguiremos esse caminho aqui. Nesta unidade vamos estudar alguns elementos da lgica sentencial. Na prxima unidade, estudaremos elementos da lgica de predicados. 2. Sentenas atmicas e moleculares Considere-se a sentena (1) Lula brasileiro. A sentena (1) composta por um nome prprio, Lula, e um predicado, ... brasileiro. Em lgica, para evitar o uso de ..., usamos uma varivel para marcar o(s) lugar(es) em que podemos completar um predicado. Aqui, expresses do tipo x brasileiro designam predicados. Considere agora a sentena (2) Xuxa me de Sasha. 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:
Raciocnio Lgico
28
APOSTILAS OPO
fcil perceber que (11) verdadeira somente em uma situao: quando (12) e (13) so ambas verdadeiras. A tabela de verdade de uma conjuno A e B a seguinte: ABAeB VVV VFF FVF FFF Note que, na interpretao vero-funcional da conjuno, A e B equivalente a B e A. No faz diferena alguma afirmarmos (11) ou (14) Pedro foi ao futebol e Joo foi praia. importante observar que a interpretao vero-funcional da conjuno no expressa todos os usos da partcula e em portugus. A sentena (15) Maria e Pedro tiveram um filho e casaram no equivalente a (16) Maria e Pedro casaram e tiveram um filho. Em outras palavras, o e que ocorre em (15) e (16) no uma funo de verdade. 6. A disjuno Uma sentena do tipo A ou B denominada uma disjuno. H dois tipos de disjuno, a inclusiva e a exclusiva. Ambas tomam dois valores de verdade como argumentos e 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.
Raciocnio Lgico
29
APOSTILAS OPO
(25) Se Victor carioca, ento Victor brasileiro. O antecedente de (25) (26) Victor carioca e o conseqente (27) Victor brasileiro. A sentena (25) verdadeira, pois sabemos que todo carioca brasileiro. Em outras palavras, impossvel que algum simultaneamente seja carioca e no seja brasileiro. Por esse motivo, a terceira linha da tabela de verdade, que tornaria a condicional falsa, nunca ocorre. Descartada a terceira linha, ainda h trs possibilidades, que correspondem s seguintes situaes: (a) Victor carioca. (b) Victor paulista. (c) Victor francs. Suponha que Victor carioca. Nesse caso, o antecedente e o conseqente da condicional so verdadeiros. Temos a primeira linha da tabela de verdade. At aqui no h problema algum. Suponha agora que Victor paulista. Nesse caso, o antecedente da condicional (26) Victor carioca falso, mas o conseqente (27) Victor brasileiro verdadeiro. 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
Raciocnio Lgico
30
APOSTILAS OPO
juno, ns precisamos dizer que A falsa e tambm que B falsa, isto , no A e no B. Fica como exerccio para o leitor a construo das tabelas de verdade de A ou B e no A e no B para constatar que so idnticas. (1) Joo comprou um carro ou uma moto. A negao de (1) : (2) Joo no comprou um carro e no comprou uma moto, ou (3) Joo nem comprou um carro, nem comprou uma moto. Na linguagem natural, freqentemente formulamos a negao de uma disjuno com a expresso nem...nem. Nem A, nem B significa o mesmo que no A e no B. (4) O PMDB receber o ministrio da sade ou o PP receber o ministrio da cultura. A negao de (4) : (5) Nem o PMDB receber o ministrio da sade, nem o PP receber o ministrio da cultura. Exerccio: complete a coluna da direita da tabela abaixo com a negao das sentenas do lado esquerdo. DISJUNO NEGAO A ou B no A e no B A ou no B no A ou B no A ou no B 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.
Raciocnio Lgico
31
APOSTILAS OPO
c) q " p d) (~p) ^ (~q) 03. B 07. C 04. C 08. C 05. A 09. C 06. C 10. C
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 9. proposio ( varivel no livre ) 10. sentena aberta ou imperativa
ESTRUTURAS LGICAS
As questes de Raciocnio Lgico sempre vo ser compostas por proposies que provam, do suporte, do razo a algo, ou seja, so afirmaes que expressam um pensamento de sentindo completo. Essas proposies podem ter um sentindo positivo ou negativo. Exemplo 1: Joo anda de bicicleta. Exemplo 2: Maria no gosta de banana. Tanto o exemplo 1 quanto o 2 caracterizam uma afirmao/proposio. A base das estruturas lgicas saber o que verdade ou mentira (verdadeiro/falso). Os resultados das proposies SEMPRE tem que dar verdadeiro. H alguns princpios bsicos: Contradio: Nenhuma proposio pode ser verdadeira e falsa ao mesmo tempo. Terceiro Excludo: Dadas duas proposies lgicas contraditrias somente uma delas verdadeira. Uma proposio ou verdadeira ou falsa, no h um terceiro valor lgico (mais ou menos, meio verdade ou meio mentira). Ex. Estudar fcil. (o contrrio seria: Estudar difcil. No existe meio termo, ou estudar fcil ou estudar difcil). Para facilitar a resoluo das questes de lgica usam-se os Conectivos Lgicos, que so smbolos que comprovam a veracidade das informaes e unem as proposies uma a outra ou as transformam numa terceira proposio. Veja abaixo: (~) no: negao () e: conjuno
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.
Raciocnio Lgico
32
APOSTILAS OPO
(V) ou: disjuno () se...ento: condicional () se e somente se: bicondicional Agora, vejamos na prtica como funcionam estes conectivos: Temos as seguintes proposies: O Po barato. O Queijo no bom. A letra P, representa a primeira proposio e a letra Q, a segunda. Assim, temos: P: O Po barato. Q: O Queijo no bom. NEGAO (smbolo ~): Quando usamos a negao de uma proposio invertemos a afirmao que est sendo dada. Veja os exemplos: Ex1. : ~P (no P): O Po no barato. ( a negao lgica de P) ~Q (no Q): O Queijo bom. ( a negao lgica de Q) Se uma proposio verdadeira, quando usamos a negao vira falsa. Se uma proposio falsa, quando usamos a negao vira verdadeira. Regrinha para o conectivo de negao (~): P V F ~P F V
BICONDICIONAL (smbolo ) O resultado dessas proposies ser verdadeiro se e somente se as duas forem iguais (as duas verdadeiras ou as duas falsas). P ser condio suficiente e necessria para Q Ex5.: P Q. (O Po barato se e somente se o Queijo no bom.) = se e somente se Regrinha para o conectivo bicondicional (): P V V F F Q V F V F P Q V F F V
CONJUNO (smbolo ): 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}
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
Raciocnio Lgico
33
APOSTILAS OPO
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). Tabelas das Principais Operaes do Clculo Proposicional Dei Negao A V F ~A F V
DISJUNO EXCLUSIVA (OU... OU XOR) A conjuno verdadeira se, e somente se, apenas um dos operandos for verdadeiro A V V F F Adaga de Quine (NOR) A conjuno verdadeira se e somente se os operandos so falsos A V V F F B V F V F A(B V V V F AB F F F V B V F V F A(B F V V F
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
Silogismo Hipottico
Raciocnio Lgico
34
APOSTILAS OPO
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
Indica que um conjunto est ompletamente contido no outro, mas o inverso no verdadeiro.
Indica que os dois conjuntos tem alguns elementos em comum, mas no todos.
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 B V F V F AB V F V V BA V V F V
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:
Raciocnio Lgico
35
APOSTILAS OPO
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 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.
Raciocnio Lgico
36
APOSTILAS OPO
fim, 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 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
Raciocnio Lgico
37
APOSTILAS OPO
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 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:
Raciocnio Lgico
38
APOSTILAS OPO
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. , 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
Raciocnio Lgico
39
APOSTILAS OPO
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 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.
Raciocnio Lgico
40
APOSTILAS OPO
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: 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.
A FUNDAO DA LGICA
Anthony Kenny Universidade de Oxford Muitas das cincias para as quais Aristteles contribuiu foram disciplinas que ele prprio fundou. Afirma-o explicitamente em apenas um caso: o da lgica. No fim de uma das suas obras de lgica, escreveu: No caso da retrica existiam muito escritos antigos para nos apoiarmos, mas no caso da lgica nada tnhamos absolutamente a referir at termos passado muito tempo em laboriosa investigao. As principais investigaes lgicas de Aristteles incidiam sobre as relaes entre as frases que fazem afirmaes. Quais delas so consistentes ou inconsistentes com as outras? Quando temos uma ou mais afirmaes verdadeiras, que outras verdades podemos inferir delas unicamente por meio do raciocnio? Estas questes so respondidas na sua obra Analticos Posteriores. Ao contrrio de Plato, Aristteles no toma como elementos bsicos da estrutura lgica as frases simples compostas por substantivo e verbo, como "Teeteto est sentado". Est muito mais interessado em classificar frases que comeam por "todos", "nenhum" e "alguns", e em avaliar as inferncias entre elas. Consideremos as duas inferncias seguintes: 1) Todos os gregos so europeus. Alguns gregos so do sexo masculino. Logo, alguns europeus so do sexo masculino. 2) Todas as vacas so mamferos. Alguns mamferos so quadrpedes. Logo, todas as vacas so quadrpedes.
Raciocnio Lgico
41
APOSTILAS OPO
As duas inferncias tm muitas coisas em comum. So ambas inferncias que retiram uma concluso a partir de duas premissas. Em cada inferncia h uma palavra-chave que surge no sujeito gramatical da concluso e numa das premissas, e uma outra palavra-chave que surge no predicado gramatical da concluso e na outra premissa. Aristteles dedicou muita ateno s inferncias que apresentam esta caracterstica, hoje chamadas "silogismos", a partir da palavra grega que ele usou para as designar. Ao ramo da lgica que estuda a validade de inferncias deste tipo, iniciado por Aristteles, chamamos "silogstica". Uma inferncia vlida uma inferncia que nunca conduz de premissas verdadeiras a uma concluso falsa. Das duas inferncias apresentadas acima, a primeira vlida, e a segunda invlida. verdade que, em ambos os casos, tanto as premissas como a concluso so verdadeiras. No podemos rejeitar a segunda inferncia com base na falsidade das frases que a constituem. Mas podemos rejeit-la com base no "portanto": a concluso pode ser verdadeira, mas no se segue das premissas. Podemos esclarecer melhor este assunto se concebermos uma inferncia paralela que, partindo de premissas verdadeiras, conduza a uma concluso falsa. Por exemplo: 3)Todas as baleias so mamferos. Alguns mamferos so animais terrestres. Logo, todas as baleias so animais terrestres. Esta inferncia tem a mesma forma que a inferncia 2), como poderemos verificar se mostrarmos a sua estrutura por meio de letras esquemticas: 4) Todo o A B. Algum B C. Logo, todo o A C. Uma vez que a inferncia 3) conduz a uma falsa concluso a partir de premissas verdadeiras, podemos ver que a forma do argumento 4) no de confiana. Da a no validade da inferncia 2), no obstante a sua concluso ser de facto verdadeira. A lgica no teria conseguido avanar alm dos seus primeiros passos sem as letras esquemticas, e a sua utilizao hoje entendida como um dado adquirido; mas foi Aristteles quem primeiro comeou a utiliz-las, e a sua inveno foi to importante para a lgica quanto a inveno da lgebra para a matemtica. Uma forma de definir a lgica dizer que uma disciplina que distingue entre as boas e as ms inferncias. Aristteles estuda todas as formas possveis de inferncia silogstica e estabelece um conjunto de princpios que permitem distinguir os bons silogismos dos maus. Comea por classificar individualmente as frases ou proposies das premissas. Aquelas que comeam pela palavra "todos" so proposies universais; aquelas que comeam com "alguns" so proposies particulares. Aquelas que contm a palavra "no" so proposies negativas; as outras so afirmativas. Aristteles serviu-se ento destas classificaes para estabelecer regras para avaliar as inferncias. Por exemplo, para que um silogismo seja vlido necessrio que pelo menos uma premissa seja afirmativa e que pelo menos uma seja universal; se ambas as premissas forem negativas, a concluso tem de ser negativa. Na sua totalidade, as regras de Aristteles bastam para validar os silogismos vlidos e para eliminar os invlidos. So suficientes, por exemplo, para que aceitemos a inferncia 1) e rejeitemos a inferncia 2).
Raciocnio Lgico
42
APOSTILAS OPO
ARGUMENTOS DEDUTIVOS E INDUTIVOS
Desidrio Murcho comum falar em argumentos dedutivos, opondo-os aos indutivos. Este artigo procura mostrar que h um conjunto de aspectos subtis que devem ser tidos em linha de conta, caso contrrio ser tudo muito confuso. Antes de mais: a expresso "argumento indutivo" ou "induo" d origem a confuses porque se pode ter dois tipos muito diferentes de argumentos: as generalizaes e as previses. Uma generalizao um argumento como Todos os corvos observados at hoje so pretos. Logo, todos os corvos so pretos. Numa generalizao parte-se de algumas verdades acerca de alguns membros de um dado domnio e generaliza-se essas verdades para todos os membros desse domnio, ou pelo menos para mais. Uma previso um argumento como Todos os corvos observados at hoje so pretos. Logo, o prximo corvo que observarmos ser preto. Uma pessoa imaginativa e com vontade de reduzir coisas uma sndrome comum em filosofia pode querer afirmar que podemos reduzir as previses s generalizaes via deduo: a concluso da previso acima segue-se dedutivamente da concluso da generalizao anterior. No acho que isto capta de modo algum a natureza lgica ou conceptual da previso, mas isso no relevante neste artigo. O que conta que, mesmo que a previso seja redutvel generalizao mais deduo, continua a ser um modo comum de falar e uma parte importante do nosso pensamento. Numa veia ainda reducionista, algumas pessoas podero querer dizer que todos os outros tipos de argumentos no dedutivos se reduzem generalizao e previso. Assim, no valeria a pena falar de argumentos de autoridade, por exemplo, que so argumentos como o seguinte: Einstein afirmou que no se pode viajar mais depressa do que a luz. Logo, no se pode viajar mais depressa do que a luz. Uma vez mais: pode ser que este tipo de argumentos seja redutvel generalizao e previso. Mas til compreender que este tipo de argumentos tem exigncias prprias e portanto til falar deles explicitamente, ainda que se trate de um tipo de inferncia redutvel a qualquer outro tipo ou tipos. Dados estes esclarecimentos, importa agora esclarecer o seguinte: O que um argumento dedutivo? E como se distingue tal coisa de um argumento indutivo? Vou comear por dizer o modo como no se deve entender estas noes. A primeira coisa a no fazer pensar que um argumento dedutivo se caracteriza por ser impossvel a sua concluso ser falsa se as suas premissas forem verdadeiras. Pensar isto provoca confuso porque significaria que no h argumentos dedutivos invlidos. Porqu? Porque s nos argumentos dedutivos vlidos impossvel a concluso ser falsa se as suas premissas forem verdadeiras; nos argu-
Raciocnio Lgico
43
APOSTILAS OPO
dedutiva. Devemos ento dizer que os argumentos dedutivamente invlidos no se distinguem dos argumentos indutivos vlidos? Claro que no, dado que eles se distinguem muito claramente uns dos outros. O primeiro argumento dedutivamente invlido porque a sua invalidade pode ser explicada recorrendo unicamente sua forma lgica. Mas seria uma enorme falta de sensibilidade lgica abandonar uma induo boa com base no facto de a sua forma lgica e a verdade das suas premissas no garantir a verdade da sua concluso. Assim, um argumento dedutivo ou indutivo em funo da explicao mais adequada que tivermos para a sua validade ou invalidade. Um argumento dedutivo invlido explicase adequadamente recorrendo unicamente sua forma lgica, no sentido em que a sua forma lgica suficiente para distinguir os argumentos dedutivos invlidos dos vlidos; o mesmo no acontece com os argumentos indutivos, pois a sua validade ou invalidade no depende exclusivamente da sua forma lgica. Deste modo, podemos manter a tradio de falar de argumentos dedutivos e indutivos; e podemos dizer que h argumentos dedutivos invlidos; e no somos forados a aceitar que todo o argumento indutivo, por melhor que seja, sempre um argumento dedutivo invlido. Isto no acontece porque os argumentos dedutivos nunca so indutivos, ainda que sejam invlidos. Porque o que conta o tipo de explicao adequada para a sua validade ou invalidade. Em termos primitivos, pois, o que conta a validade e invalidade; h diferentes tipos de validade e invalidade: a dedutiva e a indutiva. E os argumentos so dedutivos ou indutivos consoante a sua validade ou invalidade for dedutiva ou indutiva. agora tempo de esclarecer que nem todos os argumentos dedutivos dependem exclusivamente da sua forma lgica; h argumentos dedutivos de carcter conceptual, como "O Joo casado; logo, no solteiro". No difcil acomodar estas variedades de deduo no formal no esquema aqui proposto: tudo depende da melhor explicao disponvel para a validade ou invalidade em causa. Podemos assim continuar a falar de argumentos dedutivos e indutivos, validos ou invlidos. E os argumentos dedutivos invlidos nunca so uma subclasse dos argumentos indutivos.
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.
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.
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. 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:
Raciocnio Lgico
44
APOSTILAS OPO
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.
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 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 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
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:
Raciocnio Lgico
45
APOSTILAS OPO
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 e) 44 9. Suponhamos que numa equipe de 10 estudantes, 6 usam culos e 8 usam relgio. O numero de estudantes que usa ao mesmo tempo, culos e relgio : a) exatamente 6 b) exatamente 2 c) no mnimo 6 d) no mximo 5 e) no mnimo 4 10. Numa pesquisa de mercado, foram entrevistadas vrias pessoas acerca de suas preferncias em relao a 3 produtos: A, B e C. Os resultados da pesquisa indicaram que: 210 pessoas compram o produto A. 210 pessoas compram o produto N. 250 pessoas compram o produto C. 20 pessoas compram os trs produtos. 100 pessoas no compram nenhum dos 3 produtos. 60 pessoas compram o produto A e B. 70 pessoas compram os produtos A eC. 50 pessoas compram os produtos B e C. Quantas pessoas foram entrevistadas: a) 670 b) 970 c) 870 d) 610
Raciocnio Lgico
46
APOSTILAS OPO
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 administrao fazem parte dos produtos nacionais. Alem disso, no h livro nacional disponvel de capa dura. Com base nas informaes acima possvel que Pedro, em sua pesquisa, tenha: I. Encontrado um livro de administrao de capa dura. II. Adquirido dessa livraria um livro de economia de capa flexvel. III. Selecionado para compra um livro nacional de direito de capa dura. IV. Comprado um livro importado de direito de capa flexvel. Respostas exerccios: 1-C 2-A 3-A 4-B 5-B RESPOSTAS 1.B 2.C 3.D 4.E 5.B 6.A 7.B 8.E 9.E 10.D 11.C 12.E 13.A 14.C 15.C (certo) 16.C,E,C,C,E 17.E,C,E,C
Como as tabelas-verdade so idnticas podemos dizer que ~(~p) p. Exemplo: "No verdade que Mario no estudioso" logicamente equivalente a "Mario estudioso". Exemplos: a) p: No tem ningum aqui. ~p: Tem ningum aqui. ~(~p): Tem algum aqui. Logicamente falando, "No tem ningum aqui" equivalente "Tem algum aqui". b) p: No d para no ler. ~p: D para no ler. ~(~p): D para ler. Logicamente falando, "No d para no ler" equivalente "D para ler".
Raciocnio Lgico
47
APOSTILAS OPO
mento (premissa 1, premissa 2, e concluso, precedida por "logo"), no temos um argumento porque os enunciados no tm a menor relao entre si. No devemos sequer afirmar que temos um argumento invlido aqui, porque mesmo num argumento invlido as premissas e a concluso precisam ter uma certa relao entre si. Por outro lado, o seguinte um argumento: 4. Todos os homens so mortais 5. Scrates homem 6. Logo, Scrates mortal. Neste caso, temos um argumento vlido, em que todas as premissas so verdadeiras e a concluso tambm -- ou pelo menos assim parecem primeira vista. A Forma de um Argumento Argumentos tm uma certa forma ou estrutura. O argumento constitudo pelo conjunto de enunciados (2) tem a seguinte forma: 7. Todos os x so y 8. z x 9. Logo, z y. Imaginemos o seguinte argumento, que tem a mesma forma do argumento constitudo pelo conjunto de enunciados 4-6: 10. Todos os homens so analfabetos 11. Raquel de Queiroz homem 12. Logo, Raquel de Queiroz analfabeta. Este argumento, diferentemente do argumento constitudo pelos enunciados 4-6, tem premissas e concluso todas falsas. No entanto, tem exatamente a mesma forma ou estrutura do argumento anterior (forma explicitada nos enunciados 7-9). Se o argumento anterior (4-6) vlido (e ), este (1012) tambm . Quando dois ou mais argumentos tm a mesma forma, se um deles vlido, todos os outros tambm so, e se um deles invlido, todos os outros tambm so. Como o argumento constitudo pelos enunciados 4-6 vlido, e o argumento constitudo pelos enunciados 10-12 tem a mesma forma (7-9), este (1012) tambm vlido. A Forma de um Argumento e a Verdade das Premissas O ltimo exemplo mostra que um argumento pode ser vlido apesar de todas as suas premissas e a sua concluso serem falsas. Isso indicativo do fato de que a validade de um argumento no depende de serem suas premissas e sua concluso efetivamente verdadeiras. Mas se esse o caso, quando um argumento vlido? Argumentos Vlidos e Invlidos Um argumento vlido quando, se todas as suas premissas forem verdadeiras, a sua concluso tiver que, necessariamente, ser verdadeira (sob pena de auto-contradio). Considere os dois argumentos seguintes, constitudos, respectivamente, pelos enunciados 13-15 e 16-18 Primeiro: 13. Se eu ganhar sozinho na Sena, fico milionrio 14. Ganhei sozinho na Sena 15. Logo, fiquei milionrio Segundo: 16. Se eu ganhar sozinho na Sena, fico milionrio 17. No ganhei sozinho na Sena 18. Logo, no fiquei milionrio Esses dois argumentos so muito parecidos. A forma do
Raciocnio Lgico
48
APOSTILAS OPO
bolas, a afirmao "Toda Bola Vermelha" e a afirmao "Alguma Bola no Vermelha" formam uma contradio, visto que: se "Toda Bola Vermelha" for verdadeira, "Alguma Bola no Vermelha" tem que ser falsa se "Toda Bola Vermelha" for falsa, "Alguma Bola no Vermelha" tem que ser verdadeira se "Alguma Bola no Vermelha" for verdadeira, "Toda Bola Vermelha" tem que ser falsa e se "Alguma Bola no Vermelha" for falsa, "Toda Bola Vermelha" tem que ser verdadeira Por outro lado, a afirmao "Toda Bola Vermelha" e a afirmao "Nenhuma Bola Vermelha", no formam uma contradio, visto que se "Toda Bola Vermelha" for verdadeira, "Nenhuma Bola Vermelha" tem que ser falsa mas se "Toda Bola Vermelha" for falsa, "Nenhuma Bola Vermelha" pode tanto ser verdadeira quanto falsa e se "Nenhuma Bola Vermelha" for verdadeira, "Toda Bola Vermelha" tem que ser falsa mas se "Nenhuma Bola Vermelha" for falsa, "Toda Bola Vermelha" pode tanto ser verdadeira quanto falsa E sendo uma negao total (ao nvel da quantidade e da qualidade) a contraditria da afirmao "As contraditrias das grandes verdades so grandes verdades" seria: Algumas contraditrias das grandes verdades no so grandes verdades. A noo de contradio , geralmente estudada sob a forma de um princpio: o princpio de contradio ou princpio de no contradio. Com frequncia, tal princpio considerado um princpio ontolgico e, neste sentido, enuncia-se do seguinte modo: impossvel que uma coisa seja e no seja ao mesmo tempo, a mesma coisa. Outras vezes, considerado como um princpio lgico, e ento enunciado do modo seguinte: no se pode ter p e no p, onde p smbolo de um enunciado declarativo. O primeiro pensador que apresentou este princpio de forma suficientemente ampla foi Aristteles. Vrias partes da sua obra esto consagradas a este tema, mas nem sempre o princpio formulado do mesmo modo. s vezes apresenta-o como uma das noes comuns ou axiomas que servem de premissa para a demonstrao, sem poderem ser demonstradas. Noutras ocasies, apresenta-o como uma noo comum, usada para a prova de algumas concluses. Apresenta ainda este princpio como uma tese segundo a qual se uma proposio verdadeira, a sua negao falsa e se uma proposio falsa, a sua negao verdadeira, quer dizer, como a tese segundo a qual, duas proposies contraditrias no podem ser ambas verdadeiras ou ambas falsas. Estas formulaes podem reduzir-se a trs interpretaes do mesmo princpio: ontolgica, lgica e metalgica. No primeiro caso o princpio refere-se realidade; no segundo, converte-se numa formula lgica ou numa tautologia de lgica sequencial, que se enuncia do seguinte modo: (p p) e que se chama geralmente de lei de contradio. No terceiro caso, o princpio uma regra que permite realizar inferncias lgicas. As discusses em torno do princpio de contradio tm diferido consoante se acentua o lado ontolgico ou o lado
Tautologia
Na lgica proposicional, uma tautologia (do grego ) uma frmula proposicional que verdadeira para todas as possveis valoraes de suas variveis proposicionais. A negao de uma tautologia uma contradio ou antilogia, uma frmula proposicional que falsa independentemente dos valores de verdade de suas variveis. Tais proposies so ditas insatsfatveis. Reciprocamente, a negao de uma contradio uma tautologia. Uma frmula que no nem uma tautologia nem uma contradio dita logicamente contingente. Tal frmula pode ser verdadeira ou falsa dependendo dos valores atribudos para suas variveis proposicionais. Uma propriedade fundamental das tautologias que existe um procedimento efetivo para testar se uma dada frmula sempre satisfeita (ou, equivalentemente, se seu complemento insatisfatvel). Um mtodo deste tipo usa as tabelas-verdade. O problema de deciso de determinar se uma frmula satisfatvel o problema de satisfabilidade booleano, um exemplo importante de um problema NPcompleto na teoria da complexidade computacional.
Tautologias e Contradies
Considere a proposio composta s: (p q) (p q) onde p e q so proposies simples lgicas quaisquer. Vamos construir a tabela verdade da proposio s : Considerando-se o que j foi visto at aqui, teremos:
Observe que quaisquer que sejam os valores lgicos das proposies simples p e q, a proposio composta s sem-
Raciocnio Lgico
49
APOSTILAS OPO
pre logicamente verdadeira. Dizemos ento que s uma TAUTOLOGIA. Trazendo isto para a linguagem comum, considere as proposies: p: O Sol um planeta (valor lgico falso - F) e q: A Terra um planeta plano (valor lgico falso - F), podemos concluir que a proposio composta Se o Sol um planeta e a Terra um planeta plano ento o Sol um planeta ou a Terra um planeta plano uma proposio logicamente verdadeira. Opostamente, se ao construirmos uma tabela verdade para uma proposio composta, verificarmos que ela sempre falsa, diremos que ela uma CONTRADIO. Ex.: A proposio composta t: p ~p uma contradio, seno vejamos:
NOTA: Se uma proposio composta formada por n proposies simples, a sua tabela verdade possuir 2n linhas. Ex.: Construa a tabela verdade da proposio composta t: (p q) r Teremos:
Observe que a proposio acima no Tautologia nem Contradio. Apresentaremos a seguir, exemplos de TAUTOLOGIAS, as quais voc poder verific-las, simplesmente construindo as respectivas tabelas verdades: Sendo p e q duas proposies simples quaisquer, podemos dizer que as seguintes proposies compostas, so TAUTOLOGIAS: 1) (p q) p 2) p (p q) 3) [p (p q)] q (esta tautologia recebe o nome particular de modus ponens) 4) [(p q) ~q] ~p (esta tautologia recebe o nome particular de modus tollens) Voc dever construir as tabelas verdades para as proposies compostas acima e comprovar que elas realmente so tautologias, ou seja, na ltima coluna da tabela verdade teremos V V V V.
Todas as propriedades acima podem ser verificadas com a construo das tabelas verdades. http://www.g5ofertas.com.br/
Raciocnio Lgico
50
APOSTILAS OPO
O SILOGISMO
O silogismo uma forma de inferncia mediata, ou raciocnio dedutivo. So duas as espcies de silogismos que estudaremos aqui, que recebem a sua designao do tipo de juzo ou proposio que forma a primeira premissa: O silogismo categrico A natureza do silogismo, o elo de necessidade lgica que liga as premissas concluso, est bem patente no exemplo que daremos a seguir, e que servir de ponto de partida para o nosso estudo desta forma de deduo: Se todos os homens so mortais e todos os franceses so homens, ento todos os franceses so mortais. Em primeiro lugar, notemos que o silogismo categrico composto de trs proposies ou juzos: duas premissas "Todos os homens so mortais" e "Todos os franceses so homens" e uma concluso "Todos os franceses so mortais". Neste caso as premissas e a concluso so todas proposies universais afirmativas (A), mas cada uma poderia em princpio ser de qualquer outro tipo: universal negativa (E), particular afirmativa (I) ou particular negativa (O). Em segundo lugar, nas trs proposies entram unicamente trs termos: "mortais", "homens" e "franceses". Um destes termos entra nas premissas mas no na concluso: o chamado termo mdio, que simbolizaremos pela letra M. Os outros dois termos so o termo maior, que figura na primeira premissa, que por isso tambm designada de premissa maior; e o termo menor, que figura na segunda premissa ou premissa menor. Estes dois termos so simbolizados respectivamente pelas letras P e S. Assimilaremos melhor este simbolismo se tivermos em conta que, na concluso, o termo maior, P, predicado e o termo menor, S, sujeito. Finalmente, embora a forma que utilizamos para apresentar o silogismo seja a melhor para dar conta da ligao lgica entre as premissas e a concluso e esteja mais de acordo com a formulao original de Aristteles, existem outras duas formas mais vulgarizadas, uma das quais ser aquela que utilizaremos com mais frequncia. Todo o M P. Todo o S M. Logo todo o S P. Todo o M P. Todo o S M. Todo o S P.
Regras do silogismo So em nmero de oito. Quatro referem-se aos termos e as outras quatro s premissas. Regras dos termos 1. Apenas existem trs termos num silogismo: maior, mdio e menor. Esta regra pode ser violada facilmente quando se usa um termo com mais de um significado: "Se o co pai e o co teu, ento teu pai." Aqui o termo "teu" tem dois significados, posse na segunda premissa e parentesco na concluso, o que faz com que este silogismo apresente na realidade quatro termos. 2. Nenhum termo deve ter maior extenso na concluso do que nas premissas: "Se as orcas so ferozes e algumas baleias so orcas, ento as baleias so ferozes." O termo "baleias" particular na premissa e universal na concluso, o que invalida o raciocnio, pois nada dito nas premissas acerca das baleias que no so orcas, e que podem muito bem no ser ferozes.
Raciocnio Lgico
51
APOSTILAS OPO
forma como os diferentes tipos de proposio A, E, I, O nele se dispem, teremos 64 (sessenta e quatro) silogismos possveis, nmero que obtido quando fazemos todas as combinaes possveis das quatro letras em grupos de trs, que o nmero de proposies num silogismo categrico. Figura do silogismo Todavia, para alm do modo, temos de ter em considerao a figura, que definida pelo papel, sujeito ou predicado, que o termo mdio desempenha nas duas premissas. Existem quatro figuras possveis: 1) sujeito-predicado, 2) predicado-predicado, 3) sujeito-sujeito e 4) predicado-sujeito, correspondendo as trs primeiras aos exemplos dados. Se combinarmos estas quatro figuras com os sessenta e quatro modos encontrados acima, obtemos o bonito produto de 256 silogismos. Felizmente para ns muitos desses silogismos so repeties por exemplo, o modo AEE equivale a EAE , ou infringem diversas das regras do silogismo por exemplo, o modo IIO compe-se de duas premissas particulares, pelo que, pela regra 8, no vlido , de maneira que no se conseguem mais do que dezanove silogismos concludentes. Modos vlidos Assim, na primeira figura, em que o termo mdio sujeito na premissa maior e predicado na menor, apenas so vlidos os modos seguintes: AAA, EAE, AII, EIO. Para memorizar melhor estes modos, os lgicos medievais associaram-nos a determinadas palavras, que se tornaram uma espcie de designao para os mesmos: so elas, respectivamente, Barbara, Celarent, Darii, Ferio. O primeiro exemplo que demos neste ponto, sobre os asiticos e os coreanos, um exemplo de silogismo na primeira figura, modo Celarent. Os modos vlidos das outras figuras teriam tambm as suas designaes mnemnicas prprias: 2. figura: Cesare, Camestres, Festino, Baroco. 3. figura: Darapti, Felapton, Disamis, Bocardo, Ferison. 4. figura: Bamalip, Calemes, Dimatis, Fesapo, Fresison. Existe uma particularidade importante em relao s diversas figuras. Atravs de diversos procedimentos, dos quais o mais importante a converso, possvel reduzir silogismos de uma figura a outra figura, ou seja, pegar, por exemplo, num silogismo na segunda figura e transform-lo num silogismo na primeira figura. Nenhum ladro sbio. Alguns polticos so sbios. Portanto alguns polticos no so ladres. Nenhum sbio ladro. Alguns polticos so sbios. Portanto alguns polticos no so ladres. Aqui o primeiro silogismo tem o termo mdio na posio de predicado das duas premissas. Trata-se portanto de um silogismo da segunda figura, modo Festino. Atravs da converso da premissa maior um processo simples neste caso, mas convm rever o que dissemos anteriormente sobre o assunto (cf. Inferncia imediata ) , transformmo-lo num silogismo categrico da primeira figura, em que o termo mdio desempenha o papel de sujeito na premissa maior e predicado na menor. O modo do novo silogismo Ferio. Tradicionalmente, a primeira figura tem sido considerada como a mais importante, aquela em que a evidncia da deduo mais forte. Reduzir os silogismos nas outras figuras a silogismos equivalentes na primeira figura seria uma maneira de demonstrar a validade dos mesmos. A utilidade de decorar os diversos modos vlidos relativa, uma vez que a aplicao das regras do silogismo permitem perfeitamente definir se um qualquer silogismo ou no vlido.
Raciocnio Lgico
52
APOSTILAS OPO
no, portanto no ficou doente". Quem nos garante isso? Podia ter apanhado uma gripe.
Raciocnio Lgico
53
APOSTILAS OPO
Ao todo, temos 72 + 256 = 328 formas de escrever o nmero. Exerccios Princpio Fundamental da Contagem Professores: Jorge e Lauro 1) (FGV/2005) Em uma gaveta de armrio de um quarto escuro h 6 camisetas vermelhas, 10 camisetas brancas e 7 camisetas pretas. Qual o nmero mnimo de camisetas que se deve retirar da gaveta, sem que se vejam suas cores, para que:
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 9)(UNESP/2000) Um turista, em viagem de frias pela Europa, observou pelo mapa que, para ir da cidade A cidade B, havia trs rodovias e duas ferrovias e que, para ir de B at uma outra cidade, C, havia duas rodovias e duas ferrovias. O nmero de percursos diferentes que o turista pode fazer para ir de A at C, passando pela cidade B e utilizando rodovia e trem obrigatoriamente, mas em qualquer ordem, : a) 9. b) 10. c) 12. d) 15. e) 20. 10)(UECE/99) Quantos nmeros mpares, cada um com trs algarismos, podem ser formados com os algarismos 2,3,4,6 e 7, se a repetio de algarismos permitida? a) 60 b) 50 c) 40 d) 30 GABARITO: 1) a)11 b)4 c)18 2)B 3)D 4)A 5)A 6)C 7)D 8)D 9)B 10)B
b) Se tenha certeza de ter retirado duas camisetas de mesma cor. c) Se tenha certeza de ter retirado pelo menos uma camiseta de cada cor. 2) (Enem/2004)No Nordeste brasileiro, comum encontrarmos peas de artesanato constitudas por garrafas preenchidas com areia de diferentes cores, formando desenhos. Um arteso deseja fazer peas com areia de cores cinza, azul, verde e amarela, mantendo o mesmo desenho, mas variando as cores da paisagem (casa, palmeira e fundo), conforme a figura.
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 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.
Raciocnio Lgico
54
elemento
pertence ao conjunto
no um elemento de
no pertence ao conjunto .
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.
Raciocnio Lgico
55
APOSTILAS OPO
O conjunto H = { 2; 4; 6; 8; . . . } pode ser representado por descrio da seguinte maneira: H = { x | x par positivo } A representao grfica de um conjunto bastante cmoda. Atravs dela, os elementos de um conjunto so representados por pontos interiores a uma linha fechada que no se entrelaa. Os pontos exteriores a esta linha representam os elementos que no pertencem ao conjunto. Exemplo
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
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 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 : { } ou por
2
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 :
.
Indicamos que A um subconjunto de B de duas maneiras: a) A B; que deve ser lido : A subconjunto de B ou A est contido em B ou A parte de B; b) B A; que deve ser lido: B contm A ou B inclui A. Exemplo Sejam os conjuntos A = {x | x mineiro} e B = { x | x brasileiro} ; temos ento que A B e que B A.
Raciocnio Lgico
56
APOSTILAS OPO
Observaes: Quando A no subconjunto de B, indicamos com A B ou B A. Admitiremos que o conjunto vazio est contido em qualquer conjunto.
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=
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 g) A B C b) A B 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}
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:
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:
Raciocnio Lgico
57
APOSTILAS OPO
3. No diagrama seguinte temos: n(A) = 20 n(B) = 30 n(A B) = 5 Determine n(A B). Resoluo
f)
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?
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:
coroa
Soluo:
cara
Exemplo: {a;b;c;d;e;f} - {b;d;e}= {a;c;f} 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 C-A BC
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%. Neste exemplo calculamos intuitivamente a probabilidade de o resultado ser cara e voc deve ter percebido que a probabilidade de dar coroa a mesma, 50%. No entanto, quando dizemos que a probabilidade ou 50% isso no significa que a cada 2 lanamentos um vai ser cara e o outro vai ser coroa. O fato de a probabilidade ser ou 50% quer dizer apenas que as chances so iguais e que, se fizermos muitos lanamentos, provvel que aproximadamente metade deles d cara como resultado.
Raciocnio Lgico
58
APOSTILAS OPO
O conceito de probabilidade EXEMPLO 2
O chefe de uma seo com 5 funcionrios deu a eles 1 ingresso da final de um campeonato para que fosse sorteado. Aps escreverem seus nomes em papis idnticos, colocaram tudo num saco para fazer o sorteio. Qual a chance que cada um tem de ser sorteado? Soluo: Os 5 funcionrios tm todos a mesma chance de serem sorteados. No caso de Paulo, por exemplo, as chances de ser sorteado so de 1 para 5, ou 1/5. Ento, podemos dizer que a chance, ou a probabilidade, de cada um deles ser sorteado de 1/5 , ou 0,2, ou ainda 20%. EXEMPLO 3 No lanamento de um dado, qual a probabilidade de o resultado ser um nmero par? Soluo: Para que o resultado seja par devemos conseguir:
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) =
18 3 = = 0,75 = 75% 54 4
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 =
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: n de resultados favorveis a E p (E) = 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
b) Como as 4 cartas com n 2 tambm so consideradas coringas, a probabilidade de tirar um coringa ser: n de coringas p(coringa) = EXEMPLO 7 Em anlise combinatoria, vimos que, com 6 homens e 3 mulheres, podemos formar C 5 9 = 126 grupos de 5 pessoas e n total de cartas =
6 = 54
0,11
11%
Raciocnio Lgico
59
APOSTILAS OPO
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) =
6 =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.
0 =0 6
Um pouco de histria
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
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
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
De um baralho de 52 cartas retirada uma carta ao acaa) Qual a probabilidade de a carta retirada ser um rei?
m 1 n
ou
0 p (E) 1
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? Exerccio 3 No lanamento de dois dados, um verde e outro vermelho, qual a probabilidade de que a soma dos pontos obtidos seja: a) 7 b) 1 c) maior que 12
EXEMPLO 8 Com os algarismos 1, 3 e 5 formamos todos os nmeros de 3 algarismos possveis. Dentre eles escolhemos um nmero, ao acaso. 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.
Raciocnio Lgico
60
APOSTILAS OPO
d) um nmero par Exerccio 4 Na Aula 48 vimos que na SENA existem 11.441.304.000 maneiras de escolher 6 nmeros de 01 a 50. Se voc apostar em 6 nmeros, qual a probabilidade de sua aposta ser a sorteada? Exerccio 5 O que acontece se voc apostar em 5 nmeros de 01 a 100? Qual a probabilidade de voc acertar a quina de nmeros sorteada? Exerccio 6 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)
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
4 1 = = 7,69% 52 13
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
2.
3. a) b) 0 c) 0
24 d) = 67% 36
4.
5 sabem 6 1 , sabem 6
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)
3!
EXEMPLO 2
Raciocnio Lgico
61
APOSTILAS OPO
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: 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) =
4 3 = P(B/A)= ; assim, 7 4
P(A e B) = P(A) P(B/A)=
4 3 3 x = 7 4 7 3 . 7
10 1 = 30 3 25 5 = 30 6
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
P (B) =
1 5 5 P (A e B) = P (A) P (B) = x = 3 6 18
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
9 . Depois de ser 10
aprovado na parte terica, h uma prova prtica de direo. Para os que j passaram no exame escrito, a probabilidade de passar nessa prova prtica
2 . 3
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
Qual a probabilidade de que, escolhido um candidato ao acaso, ele seja aprovado em ambas as provas escrita e prtica e tire a carteira de motorista? Soluo: Considere os eventos: A: aprovao na prova escrita. B: aprovao na prova prtica de direo. Os eventos A e B no so independentes, pois preciso ter aprovao na prova escrita e para fazer a prova prtica de direo. Como a ocorrncia de B est condicionada ocorrncia de A, criamos o evento: B/A: ter aprovao na prova prtica de direo, sabendo que o candidato foi aprovado na prova escrita. Para calcular P(A e B), usamos: P(A e B) = P(A) P(B/A) Calculando: P(A) =
iniciou a prova, e seja escolhido ao acaso, termine a primeira e a segunda etapas? Soluo: 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
9 10
Raciocnio Lgico
62
APOSTILAS OPO
P(B/A) =
2 3 9 2 3 x = 10 3 5
P(A e B) =
3 direo . 5
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
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
6 3 = . 10 5
Tambm podemos resolver este problema da seguinte maneira: probabilidade de ser escolhida uma falta do Leonardo =
3 . 10
probabilidade de ser escolhida uma falta do Andr Cruz =
3 . 10 3 3 6 3 + = = 10 10 10 5
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. Temos ento: P (A ou B) = P (A) + P (B) P (A e B) Calculando: P(A) =
Lembre-se de que qualquer uma das duas escolhas ter um resultado favorvel. 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
P(B) =
Raciocnio Lgico
63
APOSTILAS OPO
P(A e B) =
100 1 = 500 5
1 3 1 1 2 5+4 9 P(A ou B) = + - = + = = 2 5 5 2 5 10 10
A probabilidade de que o escolhido consuma um suco ou outro
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
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:
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
1 12
2. Eventos dependentes:
1 6
3.
4. a) P (A e B) =
1 e de aprovao na prova prtica (depois de ser aprova4 2 do na escrita) , calcule a probabilidade de que um pro3
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
b) P (A ou B) =
Raciocnio Lgico
64
APOSTILAS OPO
5. a)
40 2 = 140 7
b)
c)
d)
e)
f)
Fonte: http://www.bibvirt.futuro.usp.br
PROVA SIMULADA I
EXERCCIOS PROPOSIES E CONECTIVOS
Raciocnio Lgico
65
APOSTILAS OPO
Q: Joo foi aprovado em um concurso. Do ponto de vista lgico, uma proposio condicional correta em relao a P e Q : (A) Se no Q, ento P. (B) Se no P, ento no Q. (C) Se P, ento Q. (D) Se Q, ento P. (E) Se P, ento no Q. 10. (BACEN 2006 FCC) Sejam as proposies: p: atuao compradora de dlares por parte do Banco Central; q: fazer frente ao fluxo positivo. Se p implica em q, ento (A) a atuao compradora de dlares por parte do Banco Central condio necessria para fazer frente ao fluxo positivo. (B) fazer frente ao fluxo positivo condio suficiente para a atuao compradora de dlares por parte do Banco Central. (C) a atuao compradora de dlares por parte do Banco Central condio suficiente para fazer frente ao fluxo positivo. (D) fazer frente ao fluxo positivo condio necessria e suficiente para a atuao compradora de dlares por parte do Banco Central. (E) a atuao compradora de dlares por parte do Banco Central no condio suficiente e nem necessria para fazer frente ao fluxo positivo. 11. (TRT-SP Anal Jud 2008 FCC) So dadas as seguintes proposies: - p: Computadores so capazes de processar quaisquer tipos de dados. - q: possvel provar que + 1 = . Se p implica em q, ento o fato de (A) ser possvel provar que + 1 = uma condio necessria e suficiente para que os computadores sejam capazes de processar quaisquer tipos de dados. (B) computadores serem capazes de processar quaisquer tipos de dados no condio necessria e nem suficiente para que seja possvel provar que + 1 = . (C) ser possvel provar que + 1 = uma condio suficiente para que os computadores sejam capazes de processar quaisquer tipos de dados. (D) computadores serem capazes de processar quaisquer tipos de dados condio necessria para que seja possvel provar que + 1 = . (E) ser possvel provar que + 1 = condio necessria para que os computadores sejam capazes de processar quaisquer tipos de dados. 12. (MRE 2008 CESPE) Julgue o seguinte item: Item 1. Considerando que A e B simbolizem, respectivamente, as proposies A publicao usa e cita documentos do Itamaraty e O autor envia duas cpias de sua publicao de pesquisa para a Biblioteca do Itamaraty, ento a proposio B A 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.
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.
Raciocnio Lgico
66
APOSTILAS OPO
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
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. (D) Bencio foi o nico dos trs que foi reprovado no concurso. (E) Ariovaldo foi o nico dos trs que foi reprovado no concurso. NEGAO DE PROPOSIES 27. D a negao de cada uma das proposies abaixo. a) Todos os corvos no so negros. Algum corvo negro. b) Nenhum gato no sabe pular. Algum gato no sabe pular. c) Algum sapo prncipe. Nenhum sapo prncipe. d) Alguma planta no venenosa. Toda planta venenosa.
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. 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;
Raciocnio Lgico
67
APOSTILAS OPO
28. (TRT 9 Regio 2004 FCC) A correta negao da proposio "todos os cargos deste concurso so de analista judicirio : (A) alguns cargos deste concurso so de analista judicirio. (B) existem cargos deste concurso que no so de analista judicirio. (C) existem cargos deste concurso que so de analista judicirio. (D) nenhum dos cargos deste concurso no de analista judicirio. (E) os cargos deste concurso so ou de analista, ou no judicirio. 29. (Escriturrio Banco do Brasil 2011 FCC) Um jornal publicou a seguinte manchete: Toda Agncia do Banco do Brasil tem dficit de funcionrios. Diante de tal inverdade, o jornal se viu obrigado a retratar-se, publicando uma negao de tal manchete. Das sentenas seguintes, aquela que expressaria de maneira correta a negao da manchete publicada : (A) Qualquer Agncia do Banco do Brasil no tm dficit de funcionrios. (B) Nenhuma Agncia do Banco do Brasil tem dficit de funcionrios. (C) Alguma Agncia do Banco do Brasil no tem dficit de funcionrios. (D) Existem Agncias com deficit de funcionrios que no pertencem ao Banco do Brasil. (E) O quadro de funcionrios do Banco do Brasil est completo. 30. (Prominp 2009 Cesgranrio) A negao de Todos os filhos de Maria gostam de quiabo (A) nenhum dos filhos de Maria gosta de quiabo. (B) nenhum dos filhos de Maria desgosta de quiabo. (C) pelo menos um dos filhos de Maria gosta de quiabo. (D) pelo menos um dos filhos de Maria desgosta de quiabo. (E) alguns filhos de Maria no gostam de quiabo. 31. (Metr-SP 2010 FCC) A negao da proposio Existem Linhas do Metr de So Paulo que so ociosas. : (A) Nenhuma Linha do Metr de So Paulo ociosa. (B) Nenhuma Linha ociosa do Metr de So Paulo. (C) Nem toda Linha do Metr de So Paulo ociosa. (D) Algumas Linhas do Metr de So Paulo no so ociosas. (E) Toda Linha do Metr de So Paulo no ociosa. 32. (Oficial de Justia TJ-PE 2006 FCC) Considere a afirmao abaixo. Existem funcionrios pblicos que no so eficientes. Se essa afirmao FALSA, ento verdade que: (A) nenhum funcionrio pblico eficiente. (B) nenhuma pessoa eficiente funcionrio pblico. (C) todo funcionrio pblico eficiente. (D) nem todos os funcionrios pblicos so eficientes. (E) todas as pessoas eficientes so funcionrios pblicos. 33. (TRT 9 Regio 2004 FCC) Em uma declarao ao tribunal, o acusado de um crime diz: "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.
Raciocnio Lgico
68
APOSTILAS OPO
39. (Prominp 2008 Cesgranrio) Sejam p, q e r proposies simples e ~p, ~q e ~r as suas respectivas negaes. A negao de
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 (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:
48. (ICMS/SP 2006 FCC) Dentre as alternativas abaixo, assinale a correta. (A) As proposies ~(p q) e (~p ~q) no so logicamente equivalentes. (B) A negao da proposio Ele faz caminhada se, e somente se, o tempo est bom, a proposio Ele no faz caminhada se, e somente se, o tempo no est bom. (C) A proposio ~[ p ~(p q)] logicamente falsa. (D) A proposio Se est quente, ele usa camiseta, logicamente equivalente proposio No est quente e ele usa camiseta. (E) A proposio Se a Terra quadrada, ento a Lua triangular falsa. 49. (Especialista em Polticas Pblicas SP 2009 FCC) Um fornecedor do governo apresentou, no ms de abril, um con-
Raciocnio Lgico
69
APOSTILAS OPO
trato para realizao de um servio que seria pago somente em maio. O contrato trazia a seguinte clusula: Se o IPCA de abril for menor do que 2%, ento os valores constantes no contrato no sofrero qualquer correo. De acordo com essa clusula, correto concluir que, necessariamente, se (A) os valores constantes no contrato sofreram uma correo de 2%, ento o IPCA de abril foi, no mnimo, 2%. (B) os valores constantes no contrato sofreram uma correo de 1%, ento o IPCA de abril ficou entre 1% e 2%. (C) o IPCA de abril foi 3%, ento os valores do contrato sofreram algum tipo de correo. (D) o IPCA de abril foi 1%, ento os valores do contrato sofreram correo de, no mnimo, 1%. (E) os valores constantes no contrato no sofreram qualquer correo, ento o IPCA de abril foi, no mximo, 1% TAUTOLOGIA, CONTRADIO E CONTINGNCIA 50. (TRT9 2004 FCC) Considere a seguinte proposio: "na eleio para a prefeitura, o candidato A ser eleito ou no ser eleito. Do ponto de vista lgico, a afirmao da proposio caracteriza: (A) um silogismo. (D) uma contingncia. (B) uma tautologia. (E) uma contradio. (C) uma equivalncia. RESPOSTAS 01. A 11. 02. E 12. 03. C 13. 04. D 14. 05. A 15. 06. E 16. 07. CC 17. 08. B 18. 09. C 19. 10. C 20. E C C C B C A D B C 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. B C B C B D B C D 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. C C C C A C A A 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. A C E D E B B C A B
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.
QUESTES RESOLVIDAS
Questo 1: FUNIVERSA/2012 - Concurso PC-DF Perito Criminal Odontologia Pergunta: Cinco amigos encontraram-se em um bar e, depois de algumas horas de muita conversa, dividiram igualmente a conta, a qual fora de, exatos, R$ 200,00, j com a gorjeta includa. Como se encontravam ligeiramente alterados pelo lcool ingerido, ocorreu uma dificuldade no fechamento da conta. Depois que todos julgaram ter contribudo com sua parte na despesa, o total colocado sobre a mesa era de R$ 160,00, apenas, formados por uma nota de R$ 100,00, uma de R$ 20,00 e quatro de R$ 10,00. Seguiram-se, ento, as seguintes declaraes, todas verdadeiras: Antnio: Baslio pagou. Eu vi quando ele pagou. Danton: Carlos tambm pagou, mas do Baslio no sei dizer. Eduardo: S sei que algum pagou com quatro notas de R$ 10,00. Baslio: Aquela nota de R$ 100,00 ali foi o Antnio quem colocou, eu vi quando ele pegou seus R$ 60,00 de troco. Carlos: Sim, e nos R$ 60,00 que ele retirou, estava a nota de R$ 50,00
Raciocnio Lgico
70
APOSTILAS OPO
Questo 6: FCC/2012 - TCE SP Agente de Fiscalizao Financeira Administrao Pergunta: Se a tinta de boa qualidade ento a pintura melhora a aparncia do ambiente. Se o pintor um bom pintor at usando tinta ruim a aparncia do ambiente melhora. O ambiente foi pintado. A aparncia do ambiente melhorou. Ento, a partir dessas afirmaes, verdade que: a) O pintor era um bom pintor ou a tinta era de boa qualidade. b) O pintor era um bom pintor e a tinta era ruim. c) A tinta no era de boa qualidade. d) A tinta era de boa qualidade e o pintor no era bom pintor. e) Bons pintores no usam tinta ruim. Questo 7: FCC/2012 - Concurso TCE- AP Tcnico de Controle Externo Pergunta: O responsvel por um ambulatrio mdico afirmou: Todo paciente atendido com certeza, a menos que tenha chegado atrasado. De acordo com essa afirmao, concluise que, necessariamente, a) nenhum paciente ter chegado atrasado se todos tiverem sido atendidos. b) nenhum paciente ser atendido se todos tiverem chegado atrasados. c) se um paciente no for atendido, ento ele ter chegado atrasado. d) se um paciente chegar atrasado, ento ele no ser atendido. e) se um paciente for atendido, ento ele no ter chegado atrasado.
Respostas
Questo 1 O enunciado informa que todas as informaes dadas so verdadeiras, portanto: Baslio pagou; Carlos pagou; Antnio pagou com R$ 100,00 reais e retirou da mesa o troco de R$ 60,00 reais. Inclundo a nota de R$ 50,00 que havia sido dada por Eduardo. Eduardo pagou, portanto sobra danton. Questo 2 Afirmao: No vou morar em Parsgada. Para ser verdadeiro deve ter pelo menos uma proposio verdadeira. Caso (V) v Compro a Bicicleta (F) Viajo (V) v No caso (F) Morar em Parsgada (F) v No compro bicicleta (V) Concluso: -Viajo, Caso e No compro a bicicleta. Questo 3 Afirmao: No sonho acordado. Isso nos leva a pensar na frase: "Ou no toco muito bem ou sonho acordado". Porque se ele no sonha acordado tambm no toca muito bem. Se o instrumento soa bem, ento toco muito bem. Se afino as cordas, ento o instrumento soa bem. Ou seja, como j se sabe que ele no toca bem, consequentemente o instrumento no soa bem e as cordas no esto afinadas. Questo 4 A: o turista perdeu o voo B: a agncia de viagens se enganou C: o turista foi para o hotel D: o avio atrasou Afirmao: O avio no atrasou. Proposies: A (Falsa) v B (Verdadeira) A (Falsa) -->> ~B (Falsa) ~B (Falsa) -->> ~C (Falsa)
Okconcursos
PROVA SIMULADA II
1. Todos os marinheiros so republicanos. Assim sendo, (A) o conjunto dos marinheiros contm o conjunto dos republicanos. (B) o conjunto dos republicanos contm o conjunto dos marinheiros. (C) todos os republicanos so marinheiros. (D) algum marinheiro no republicano. (E) nenhum marinheiro republicano. 2. Assinale a alternativa que apresenta uma contradio.
Raciocnio Lgico
71
APOSTILAS OPO
(A) Todo espio no vegetariano e algum vegetariano espio. (B) Todo espio vegetariano e algum vegetariano no espio. (C) Nenhum espio vegetariano e algum es pio no vegetariano. (D) Algum espio vegetariano e algum es pio no vegetariano. (E) Todo vegetariano espio e algum espio no vegetariano. 3. Todos os que conhecem Joo e Maria admiram Maria. Alguns que conhecem Maria no a admiram. Logo, (A) todos os que conhecem Maria a admiram. (B) ningum admira Maria. (C) alguns que conhecem Maria no conhecem Joo. (D) quem conhece Joo admira Maria. (E) s quem conhece Joo e Maria conhece Maria. 4. Vlter tem inveja de quem mais rico do que ele. Geraldo no mais rico do que quem o inveja. Logo, (A) quem no mais rico do que Vlter mais pobre do que Vlter. (B) Geraldo mais rico do que Vlter. (C) Vlter no tem inveja de quem no mais rico do que ele. (D) Vlter inveja s quem mais rico do que ele. (E) Geraldo no mais rico do que Vlter. 5. Em uma avenida reta, a padaria fica entre o posto de gasolina e a banca de jornal, e o posto de gasolina fica entre a banca de jornal e a sapataria. Logo, (A) a sapataria fica entre a banca de jornal e a padaria. (B) a banca de jornal fica entre o posto de gasolina e a padaria. (C) o posto de gasolina fica entre a padaria e a banca de jornal. (D) a padaria fica entre a sapataria e o posto de gasolina. (E) o posto de gasolina fica entre a sapataria e a padaria. 6. Um tcnica de futebol, animado com as vitrias obtidas pela sua equipe nos ltimos quatro jogos, decide apostar que essa equipe tambm vencer o prximo jogo. Indique a Informao adicional que tornaria menos provvel a vitria esperada. (A) Sua equipe venceu os ltimos seis jogos, em vez de apenas quatro. (B) Choveu nos ltimos quatro jogos e h previso de que no chover no prximo jogo. (C) Cada um dos ltimos quatro jogos foi ganho por uma diferena de mais de um gol. (D) O artilheiro de sua equipe recuperou-se do estiramento muscular. (E) Dois dos ltimos quatro jogos foram realizados em seu campo e os outros dois, em campo adversrio. 7. Marta corre tanto quanto Rita e menos do que Juliana. Ftima corre tanto quanto Juliana. Logo, (A) Ftima corre menos do que Rita. (B) Ftima corre mais do que Marta. (C) Juliana corre menos do que Rita. (D) Marta corre mais do que Juliana.
13.
Raciocnio Lgico
72
APOSTILAS OPO
(D) no tenho dinheiro suficiente para comprar duas dzias de lrios. (E) tenho dinheiro suficiente para comprar uma dzia de lrios. 14. Se voc se esforar, ento ir vencer. Assim sendo, (A) seu esforo condio suficiente para vencer. (B) seu esforo condio necessria para vencer. (C) se voc no se esforar, ento no ir vencer. (D) voc vencer s se se esforar. (E) mesmo que se esforce, voc no vencer. 15. Se os tios de msicos sempre so msicos, ento (A) os sobrinhos de no msicos nunca so msicos. (B) os sobrinhos de no msicos sempre so msicos. (C) os sobrinhos de msicos sempre so msicos. (D) os sobrinhos de msicos nunca so msicos. (E) os sobrinhos de msicos quase sempre so msicos. 16. O paciente no pode estar bem e ainda ter febre. O paciente est bem. Logo, o paciente (A) TEM FEBRE E NO EST BEM. (B) TEM FEBRE OU NO EST BEM. (C) TEM FEBRE. (D) NO TEM FEBRE. (E) NO EST BEM.
INSTRUO: Utilize o texto a seguir para responder s questes de n 17 e 18. "O primeiro impacto da nova tecnologia de aprendizado ser sobre a educao universal. Atravs dos tempos, as escolas, em sua maioria, gastaram horas interminveis tentando ensinar coisas que eram melhor aprendidas do que ensinadas, isto , coisas que so aprendidas de forma comportamental e atravs de exerccios, repetio e feedback. Pertencem a esta categoria todas as matrias ensinadas no primeiro grau, mas tambm muitas daquelas ensinadas em estgios posteriores do processo educacional. Essas matrias - seja ler e escrever, aritmtica, ortografia, histria, biologia, ou mesmo matrias avanadas como neurocirurgia, diagnstico mdico e a maior parte da engenharia - so melhor aprendidas atravs de programas de computador. O professor motiva, dirige, incentiva. Na verdade, ele passa a ser um lder e um recurso. Na escola de amanh os estudantes sero seus prprios instrutores, com programas de computador como ferramentas. Na verdade, quanto mais jovens forem os estudantes, maior o apelo do computador para eles e maior o seu sucesso na sua orientao e instruo. Historicamente, a escola de primeiro grau tem sido totalmente intensiva de mo-de-obra. A escola de primeiro grau de amanh ser fortemente intensiva de capital. Contudo, apesar da tecnologia disponvel, a educao universal apresenta tremendos desafios. Os conceitos tradicionais de educao no so mais suficientes. Ler, escrever e aritmtica continuaro a ser necessrios como hoje, mas a educao precisar ir muito alm desses itens bsicos. Ela ir exigir familiaridade com nmeros e clculos; uma compreenso bsica de cincia e da dinmica da tecnologia; conhecimento de lnguas estrangeiras. Tambm ser necessrio aprender a ser eficaz como membro de uma organizao, como empregado." (Peter Drucker, A sociedade ps-capitalista).
Raciocnio Lgico
73
APOSTILAS OPO
caes sejam razoavelmente consistentes com as vantagens de escopo e perspectiva que so creditadas a estas posies. Esta autoridade , at um grau considervel, independente da habilidade pessoal do sujeito que ocupa a posio. E muitas vezes reconhecido que, embora este sujeito possa ter habilidade pessoal limitada, sua recomendao deve ser superior pela simples razo da vantagem de posio. Esta a autoridade de posio. Mas bvio que alguns homens tm habilidade superior. O seu conhecimento e a sua compreenso, independentemente da posio, geram respeito. Os homens atribuem autoridade ao que eles dizem, em uma organizao, apenas por esta razo. Esta a autoridade de liderana.' (Chester Barnard, The Functions of the Executive). 23. Para o autor, (A) autoridade de posio e autoridade de liderana so sinnimos. (B) autoridade de posio uma autoridade superior autoridade de liderana. (C) a autoridade de liderana se estabelece por caractersticas individuais de alguns homens. (D) a autoridade de posio se estabelece por habilidades pessoais superiores de alguns lderes. (E) tanto a autoridade de posio quanto a autoridade de liderana so ineficazes. 24. Durante o texto, o autor procura mostrar que as pessoas (A) no costumam respeitar a autoridade de posio. (B) tambm respeitam autoridade que no esteja ligada a posies hierrquicas superiores. (C) respeitam mais a autoridade de liderana do que de posio. (D) acham incompatveis os dois tipos de autoridade. (E) confundem autoridade de posio e liderana. 25. Utilizando-se de um conjunto de hipteses, um cientista deduz uma predio sobre a ocorrncia de um certo eclipse solar. Todavia, sua predio mostra-se falsa. O cientista deve logicamente concluir que (A) todas as hipteses desse conjunto so falsas. (B) a maioria das hipteses desse conjunto falsa. (C) pelo menos uma hiptese desse conjunto falsa. (D) pelo menos uma hiptese desse conjunto verdadeira. (E) a maioria das hipteses desse conjunto verdadeira. 26. Se Francisco desviou dinheiro da campanha assistencial, ento ele cometeu um grave delito. Mas Francisco no desviou dinheiro da campanha assistencial. Logo, (A) Francisco desviou dinheiro da campanha assistencial. (B) Francisco no cometeu um grave delito. (C) Francisco cometeu um grave delito. (D) algum desviou dinheiro da campanha assistencial. (E) algum no desviou dinheiro da campanha assistencial. 27. Se Rodrigo mentiu, ento ele culpado. Logo, (A) se Rodrigo no culpado, ento ele no mentiu. (B) Rodrigo culpado.
Raciocnio Lgico
74
APOSTILAS OPO
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 35- Trs rapazes e duas moas vo ao cinema e desejam sentar-se, os cinco, lado a lado, na mesma fila. O nmero de maneiras pelas quais eles podem distribuir-se nos assentos de modo que as duas moas fiquem juntas, uma ao lado da outra, igual a a) 2 b) 4 c) 24 d) 48 e) 120 36- De um grupo de 200 estudantes, 80 esto matriculados em Francs, 110 em Ingls e 40 no esto matriculados nem em Ingls nem em Francs. Seleciona-se, ao acaso, um dos 200 estudantes. A probabilidade de que o estudante selecionado esteja matriculado em pelo menos uma dessas disciplinas (isto , em Ingls ou em Francs) igual a a) 30/200 b) 130/200 c) 150/200 d) 160/200 e) 190/200 37- Uma herana constituda de barras de ouro foi totalmente dividida entre trs irms: Ana, Beatriz e Camile. Ana, por ser a mais velha, recebeu a metade das barras de ouro, e mais meia barra. Aps Ana ter recebido sua parte, Beatriz recebeu a metade do que sobrou, e mais meia barra. Coube a Camile o restante da herana, igual a uma barra e meia. Assim, o nmero de barras de ouro que Ana recebeu foi: a) 1 b) 2 c) 3 d) 4 e) 5 38- Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da verdade dos termos que a compem. Um exemplo de tautologia : a) se Joo alto, ento Joo alto ou Guilherme gordo b) se Joo alto, ento Joo alto e Guilherme gordo c) se Joo alto ou Guilherme gordo, ento Guilherme gordo d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo e) se Joo alto ou no alto, ento Guilherme gordo 39- Sabe-se que a ocorrncia de B condio necessria para a ocorrncia de C e condio suficiente para a ocorrncia de D. Sabe-se, tambm, que a ocorrncia de D condio necessria e suficiente para a ocorrncia de A. Assim, quando C ocorre, a) D ocorre e B no ocorre b) D no ocorre ou A no ocorre c) B e A ocorrem d) nem B nem D ocorrem e) B no ocorre ou A no ocorre 40- Ou A=B, ou B=C, mas no ambos. Se B=D, ento A=D. Ora, B=D. Logo:
Raciocnio Lgico
75
APOSTILAS OPO
Ora, Lus estuda Histria ou Helena estuda Filosofia. Logo, segue-se necessariamente que: a) Pedro estuda Matemtica ou Jorge estuda Medicina b) Pedro estuda Matemtica e Jorge estuda Medicina c) Se Lus no estuda Histria, ento Jorge no estuda Medicina d) Helena estuda Filosofia e Pedro estuda Matemtica e) Pedro estuda Matemtica ou Helena no estuda Filosofia 48- Se Pedro inocente, ento Lauro inocente. Se Roberto inocente, ento Snia inocente. Ora, Pedro culpado ou Snia culpada. Segue-se logicamente, portanto, que: a) Lauro culpado e Snia culpada b) Snia culpada e Roberto inocente c) Pedro culpado ou Roberto culpado d) Se Roberto culpado, ento Lauro culpado e) Roberto inocente se e somente se Lauro inocente 49- Maria tem trs carros: um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto, e o outro azul. Sabe-se que: 1) ou o Gol branco, ou o Fiesta branco, 2) ou o Gol preto, ou o Corsa azul, 3) ou o Fiesta azul, ou o Corsa azul, 4) ou o Corsa preto, ou o Fiesta preto. Portanto, as cores do Gol, do Corsa e do Fiesta so, respectivamente, a) branco, preto, azul b) preto, azul, branco c) azul, branco, preto d) preto, branco, azul e) branco, azul, preto 50- Um rei diz a um jovem sbio: "dizei-me uma frase e se ela for verdadeira prometo que vos darei ou um cavalo veloz, ou uma linda espada, ou a mo da princesa; se ela for falsa, no vos darei nada". O jovem sbio disse, ento: "Vossa Majestade no me dar nem o cavalo veloz, nem a linda espada". Para manter a promessa feita, o rei: a) deve dar o cavalo veloz e a linda espada b) deve dar a mo da princesa, mas no o cavalo veloz nem a linda espada c) deve dar a mo da princesa e o cavalo veloz ou a linda espada d) deve dar o cavalo veloz ou a linda espada, mas no a mo da princesa e) no deve dar nem o cavalo veloz, nem a linda espada, nem a mo da princesa 01. 02. 03. 04. 05. 06. 07. 08. 09. 10. B A C E E B B D C B 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. C C D A A D C A D D RESPOSTAS 21. B 31. 22. E 32. 23. C 33. 24. B 34. 25. C 35. 26. E 36. 27. A 37. 28. D 38. 29. B 39. 30. E 40. C B C E D D E A C A 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. B C D E A B A C E B
3. 4.
Escreva o nmero que falta. 212 179 146 113 Escreva o nmero que falta.
5.
14
14
6.
Escreva, dentro do parntese, o nmero que falta. 17 (112) 39 28 ( . . . ) 49 Escreva o nmero que falta. 7 13 24 45 Escreva o nmero que falta. 3 9 3 5 7 1 7 1 ? Escreva, dentro do parntese, o nmero que falta. 234 (333) 567 345 (. . .) 678 Escreva o nmero que falta. ?
7 8.
9.
10
11-
Escreva o nmero que falta. 4 5 7 11 Escreva o nmero que falta. 6 7 9 13 Escreva o nmero que falta. 4 8 6 6 2 4 8 6 ?
19 21
? ?
Raciocnio Lgico
76
APOSTILAS OPO
14. 15 Escreva o nmero que falta. 64 48 40 36 34 ?
Escreva, dentro do parntese, o nmero que falta. 718 (26) 582 474 (. . .) 226 Escreva o nmero que falta. 1 2 3
16.
17
Escreva o nmero que falta. 15 13 12 11 ? Escreva o nmero que falta. 9 4 1 6 6 2 1 9 ? Escreva o nmero que falta. 11 12 14 ? Escreva o nmero que falta. 8 5 2 4 2 0 9 6 ? Escreva o nmero que falta.
4 9 9 5 6 7 26 42 8 9 10 11 12 13 14
18.
19 20.
21
22
Escreva, dentro do parntese, o nmero que falta. 341 (250) 466 282 (. . .) 398 Escreva o nmero que falta.
15 16 17 18 19 20 21
23
24
22
Raciocnio Lgico
77
APOSTILAS OPO
23 24 21. (Os nmeros aumentam em intervalos de 2, 4, 6 e 8).
480. (O nmero inserto no parntese o dobro do produto dos nmeros de fora do mesmo). 25. 2. (A terceira coluna o dobro da diferena entre a primeira e a segunda).
* No ter relao no sentido de no conservar as mesmas relaes com as demais, por questo de detalhe, posio etc. 10 mais. Assinale a figura que no tem relao com as de-
5 mais.
11 mais.
Raciocnio Lgico
78
APOSTILAS OPO
12 mais.
18 mais.
13 mais.
14 mais.
20 mais.
21 mais.
15 mais.
16 mais.
22 mais.
17 mais.
Raciocnio Lgico
79
APOSTILAS OPO
23 mais. Assinale a figura que no tem relao com as de-
24 mais.
29 mais.
25 mais.
Assinale afigura que no tem relao com es de30 Escolha, dentre as figuras numeradas, a que corresponde incgnita.
26 mais.
RESPOSTAS - TESTE DE HABILIDADE VSUO - ESPACIAL 1 2 3 27 mais. Assinale a figura que no tem relao com as de4 5 4. (Todas as outras figuras podem inverterem-se sem qualquer diferena). 3. (Todas as outras figuras podem girar at se sobreporem). 4 . (Todas as outras figuras podem girar at se sobreporem). 1. (A figura principal gira 180 e o crculo pequeno passa para o outro lado). 1. (Todas as outras figuras podem girar at se sobreporem).
28 mais.
6. 4. (A figura gira 90 cada vez, em sentido contrario aos ponteiros do relgio, exceto a 4 que gira no sentido dos mencionados ponteiros). 7 8 4. (Todas as outras figuras podem girar at se sobreporem). 4. (A figura gira 90 cada vez em sentido contrario aos ponteiros do relgio, exceto o 4 que gira no mesmo sentido dos mencionados ponteiros).
Raciocnio Lgico
80
APOSTILAS OPO
9 4. (Todas as outras figuras podem girar at se sobreporem no plano do papel).
10 2. (Todas as outras figuras podem girar at se sobreporem). 11 3. (As outras trs figuras so esquemas de urna mo esquerda; a de n. 3 o esquema de urna mo direita). 12 3. (A figura gira 45 cada vez em sentido contrario aos ponteiros do relgio, porm o sombreado preto avana urna posio a mais, exceto em 3, que , portanto, a figura que no corresponde as demais). 13 5. (Todas as outras figuras podem girar at se sobreporem). 14 1. (Todas as outras figuras podem girar at se sobreporem). 15 4. (Todas as outras figuras podem girar at se sobreporem). 16 5. (O conjunto completo de 4 crculos gira num ngulo de 90 cada vez. Em 5 os crculos com + e o com x trocaram suas posies. Em todas as demais figuras o + est na mesma fileira que o crculo preto). 17 6. (Todas as outras figuras podem girar at se sobreporem). 18 3. (Todas as outras figuras podem girar at se sobreporem). 19 2. (Todas as outras figuras podem girar at se sobreporem). 20 2. (Todas as outras figuras podem girar at se sobreporem). 21 5. (1 e 3, e 2 e 4 so duplas que podem se sobreporem girando 45 . A figura 5 no pode sobrepor-se porque a cruz e o circulo interiores ficariam em posio diferente). 22 4. (Os setores preto, branco ou hachur giram em sentido contrario aos ponteiros do relgio; na figura 4 os setores branco e hachur esto em posio diferente). 23 1. (Todas as outras figuras podem girar at se sobreporem). 24 4. (Todas as outras figuras podem girar at se sobreporem). 25 4. (Todas as outras figuras podem girar at se sobreporem). 26 3. (1 e 4 formam urna dupla e o mesmo ocorre com 2 e 5. Em cada dupla os retngulos preto e hachur alternam sua posio; a figura 3 tem o sombreado em posio diferente). 27 5. (Todas as outras figuras podem girar at se sobreporem). 28 6. (As outras figuras podem girar at se sobreporem). 29 3. (Todas as outras figuras podem girar at se sobreporem). 30. (A figura principal gira no sentido dos ponteiros do rel-
___________________________________ ___________________________________ ___________________________________ ___________________________________ ___________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ ______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________
Raciocnio Lgico
81
APOSTILAS OPO
_______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________ _______________________________________________________
Raciocnio Lgico
82