p: 1 + 2 = 3

RACIOCNIO LGICO
Lgica
A lgica uma cincia de ndole matemtica e fortemente ligada Filosofia. J que o pensamento a manifestao do conhecimento, e que o conhecimento busca a verdade, preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lgica o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A aprendizagem da lgica no constitui um fim em si. Ela s tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros. Podemos, ento, dizer que a lgica trata dos argumentos, isto , das concluses a que chegamos atravs da apresentao de evidncias que a sustentam. O principal organizador da lgica clssica foi Aristteles, com sua obra chamada Organon. Ele divide a lgica em formal e material. Um sistema lgico um conjunto de axiomas e regras de inferncia que visam representar formalmente o raciocnio vlido . Diferentes sistemas de lgica formal foram construdos ao longo do tempo quer no mbito estrito da Lgica Terica, quer em aplicaes prticas na computao e em Inteligncia artificial. Tradicionalmente, lgica tambm a designao para o estudo de sistemas prescritivos de raciocnio, ou seja, sistemas que definem como se "deveria" realmente pensar para no errar, usando a razo, dedutivamente e indutivamente. A forma como as pessoas realmente raciocinam estudado noutras reas, como na psicologia cognitiva. A lgica filosfica lida com descries formais da linguagem natural. A maior parte dos filsofos assumem que a maior parte do raciocnio "normal" pode ser capturada pela lgica, desde que se seja capaz de encontrar o mtodo certo para traduzir a linguagem corrente para essa lgica. Abaixo esto discusses mais especficas sobre alguns sistemas lgicos. Veja tambm: lista de tpicos em lgica. Lgica Aristotlica D-se o nome de Lgica aristotlica ao sistema lgico desenvolvido por Aristteles a quem se deve o primeiro estudo formal do raciocnio. Dois dos princpios centrais da lgica aristotlica so a lei da no-contradio e a lei do terceiro excludo. A lei da no-contradio diz que nenhuma afirmao pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excludo diz que qualquer afirmao da forma *P ou no-P* verdadeira. Lgica formal A Lgica Formal, tambm chamada de Lgica Simblica, se preocupa basicamente com a estrutura do raciocnio. A Lgica Formal lida com a relao entre conceitos e fornece um meio de compor provas de declaraes. Na Lgica Formal os conceitos so rigorosamente definidos, e as sentenas so transformadas em notaes simblicas precisas, compactas e no ambguas. As letras minsculas p, q e r em fonte itlica, so convencionalmente usadas para denotar proposies:

Esta declarao define que p 1 + 2 = 3 e que isso verdadeiro. Duas proposies --ou mais proposies-- podem ser combinadas por meio dos chamados operadores lgicos binrios , formando conjunes, disjunes ou condicionais. Essas proposies combinadas so chamadas proposies compostas. Por exemplo: p: 1 + 1 = 2 e "Lgica o estudo do raciocnio." Neste caso, e uma conjuno. As duas proposies podem diferir totalmente uma da outra! Na matemtica e na cincia da computao, pode ser necessrio enunciar uma proposio dependendo de variveis: p: n um inteiro mpar. Essa proposio pode ser ou verdadeira ou falsa, a depender do valor assumido pela varivel n. Uma frmula com variveis livres chamada funo proposicional com domnio de discurso D. Para formar uma proposio , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial, respectivamente. Por exemplo: para todo n em D, P(n). Isto pode ser escrito como:

Quando existem algumas variveis livres, a situao padro na anlise matemtica desde Weierstrass, as quantificaes para todos ... ento existe ou ento existe ... isto para todos (e analogias mais complexas) podem ser expressadas. Lgica material Trata da aplicao das operaes do pensamento, segundo a matria ou natureza do objeto a conhecer. Neste caso, a lgica a prpria metodologia de cada cincia. , portanto, somente no campo da lgica material que se pode falar da verdade: o argumento vlido quando as premissas so verdadeiras e se relacionam adequadamente concluso. Lgica matemtica Lgica Matemtica o uso da lgica formal para estudar o raciocnio matemtico-- ou, como prope Alonzo Church (*Introduction to Mathematical Logic* (Princeton, New Jersey:Princeton University Press,1956; dcima edio, 1996),'lgica tratada pelo mtodo matemtico'. No incio do sculo XX, lgicos e filsofos tentaram provar que a matemtica, ou parte da matemtica, poderia ser reduzida lgica.(Gottlob Frege, p.ex., tentou reduzir a aritmtica lgica; Bertrand Russell e A. N. Whitehead, tentaram reduzir toda a matemtica ento conhecida lgica -- a chamada 'lgica de segunda ordem'.) Uma das suas doutrinas lgicosemnticas era que a descoberta da forma lgica de uma frase, na verdade, revela a forma adequada de diz-la, ou revela alguma essncia previamente escondida. H um certo consenso que a reduo falhou -- ou que precisaria de ajustes --, assim como h um certo consenso que a lgica -ou alguma lgica -- uma maneira precisa de representar o raciocnio matemtico. Cincia que tem por objeto o estudo dos mtodos e princpios que permitem distinguir raciocnios vlidos de outros no vlidos;

RACIOCNIO LGICO

Pgina 1

Lgica filosfica A lgica estuda e sistematiza a argumentao vlida. A lgica tornou-se uma disciplina praticamente autnoma em relao filosofia, graas ao seu elevado grau de preciso e tecnicismo. Hoje em dia, uma disciplina que recorre a mtodos matemticos, e os lgicos contemporneos tm em geral formao matemtica. Todavia, a lgica elementar que se costuma estudar nos cursos de filosofia to bsica como a aritmtica elementar e no tem elementos matemticos. A lgica elementar usada como instrumento pela filosofia, para garantir a validade da argumentao. Quando a filosofia tem a lgica como objecto de estudo, entramos na rea da filosofia da lgica, que estuda os fundamentos das teorias lgicas e os problemas no estritamente tcnicos levantados pelas diferentes lgicas. Hoje em dia h muitas lgicas alm da teoria clssica da deduo de Russell e Frege (como as lgicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc.), o que levanta novos problemas filosofia da lgica. A filosofia da lgica distingue-se da lgica filosfica, que no estuda problemas levantados por lgicas particulares, mas problemas filosficos gerais, que se situam na interseco da metafsica, da epistemologia e da lgica. So problemas centrais de grande abrangncia, correspondendo disciplina medieval conhecida por Lgica & Metafsica, e abrangendo uma parte dos temas presentes na prpria Metafsica, de Aristteles: a identidade de objectos, a natureza da necessidade, a natureza da verdade, o conhecimento a priori, etc. Precisamente por ser uma subdisciplina transdisciplinar, o domnio da lgica filosfica ainda mais difuso do que o das outras disciplinas. Para agravar as incompreenses, alguns filsofos chamam lgica filosfica filosofia da lgica (e vice-versa). Em qualquer caso, o importante no pensar que a lgica filosfica um gnero de lgica, a par da lgica clssica, mas mais filosfica; pelo contrrio, e algo paradoxalmente, a lgica filosfica, no uma lgica no sentido em que a lgica clssica uma lgica, isto , no sentido de uma articulao sistemtica das regras da argumentao vlida. A lgica informal estuda os aspectos da argumentao vlida que no dependem exclusivamente da forma lgica. O tema introdutrio mais comum no que respeita lgica a teoria clssica da deduo (lgica proposicional e de predicados, incluindo formalizaes elementares da linguagem natural); a lgica aristotlica por vezes ensinada, a nvel universitrio, como complemento histrico e no como alternativa lgica clssica. [Desidrio Murcho] "Lgica", depois ela foi substituda pela inveno da Lgica Matemtica. Relaciona-se com a elucidao de idias como referncia, previso, identidade, verdade, quantificao, existncia, e outras. A Lgica filosfica est muito mais preocupada com a conexo entre a Linguagem Natural e a Lgica. Lgica de predicados Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar vrias sentenas para tornar sua forma lgica clara, com a inteno de mostrar como as sentenas se relacionam em certos aspectos. Antes de Frege, a lgica formal no obteve sucesso alm do nvel da lgica de sentenas: ela podia representar a estrutura de sentenas compostas de outras sentenas, usando palavras como "e", "ou" e "no", mas no podia quebrar sentenas em partes menores. No era possvel mostrar como "Vacas so animais" leva a concluir que "Partes de vacas so partes de animais".

A lgica sentencial explica como funcionam palavras como "e", "mas", "ou", "no", "se-ento", "se e somente se", e "nem-ou". Frege expandiu a lgica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variveis e quantificadores para reorganizar sentenas.

"Todos os humanos so mortais" se torna "Todos os X so tais que, se x um humano ento x mortal." que pode ser escrito simbolicamente como:

"Alguns humanos so vegetarianos" se torna "Existe algum (ao menos um) x tal que x humano e x vegetariano" que pode ser escrito simbolicamente como:
. 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 inicio lgica formal contempornea. Frege adiciona lgica sentencial: (1) o vocabulrio de quantificadores (o A de ponta-cabea, e o E invertido) e variveis, (2) 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, e (3) 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. Lgica de vrios valores Sistemas que vo alm dessas duas distines (verdadeiro e falso) so conhecidos como lgicas noaristotlicas, ou lgica de vrios valores (ou ento lgicas polivaluadas, ou ainda polivalentes). No incio do sculo 20, Jan ukasiewicz investigou a extenso dos tradicionais valores verdadeiro/falso para incluir um terceiro valor, "possvel". Lgicas como a lgica difusa foram ento desenvolvidas com um nmero infinito de "graus de verdade", representados, por exemplo, por um nmero real entre 0 e 1. Probabilidade bayesiana pode ser interpretada como um sistema de lgica onde probabilidade o valor verdade subjetivo.

LGICA NA MATEMTICA
INTRODUO Neste roteiro, o principal objetivo ser a investigao da validade de ARGUMENTOS: conjunto de enunciados dos quais um a CONCLUSO e os demais PREMISSAS. Os argumentos esto tradicionalmente divididos em DEDUTIVOS e INDUTIVOS. ARGUMENTO DEDUTIVO: vlido quando suas premissas, se verdadeiras, a concluso tambm

RACIOCNIO LGICO

Pgina 2

verdadeira. Premissa : "Todo homem mortal." Premissa : "Joo homem." Concluso : "Joo mortal." Esses argumentos sero objeto de estudo neste roteiro. ARGUMENTO INDUTIVO: a verdade das premissas no basta para assegurar a verdade da concluso. Premissa : " comum aps a chuva ficar nublado." Premissa : "Est chovendo." Concluso: "Ficar nublado." No trataremos do estudo desses argumentos neste roteiro. As premissas e a concluso de um argumento, formuladas em uma linguagem estruturada, permitem que o argumento possa ter uma anlise lgica apropriada para a verificao de sua validade. Tais tcnicas de anlise sero tratadas no decorrer deste roteiro. UMA CLASSIFICAO DA LGICA LGICA INDUTIVA: til no estudo da teoria da probabilidade, no ser abordada neste roteiro.

foram apreciados e conhecidos no sculo XIX . PERODO BOOLEANO: (1840 a 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica que se seguiu. GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana. PERODO ATUAL: (1910- ........) Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuies. Surgem as Lgicas no-clssicas: N.C.A. DA COSTA (Universidade de So Paulo) com as lgicas paraconsistentes , L. A. ZADEH (Universidade de Berkeley-USA) com a lgica "fuzzy" e as contribuies dessas lgicas para a Informtica, no campo da Inteligncia Artificial com os Sistemas Especialistas.

LGICA DEDUTIVA: que pode ser dividida em: LGICA CLSSICA- Considerada como o ncleo da lgica dedutiva. o que chamamos hoje de CLCULO DE PREDICADOS DE 1a ORDEM com ou sem igualdade e de alguns de seus subsistemas. Trs Princpios (entre outros) regem a Lgica Clssica: da IDENTIDADE, da CONTRADIO e do TERCEIRO EXCLUDO os quais sero abordados mais adiante. LGICAS COMPLEMENTARES DA CLSSICA: Complementam de algum modo a lgica clssica estendendo o seu domnio. Exemplos: lgicas modal , dentica, epistmica , etc. LGICAS NO - CLSSICAS : Assim caracterizadas por derrogarem algum ou alguns dos princpios da lgica clssica. Exemplos: paracompletas e intuicionistas (derrogam o princpio do terceiro excludo); paraconsistentes (derrogam o princpio da contradio); no-alticas (derrogam o terceiro excludo e o da contradio); no-reflexivas (derrogam o princpio da identidade); probabilsticas, polivalentes, fuzzy-logic, etc... "ESBOO" DO DESENVOLVIMENTO DA LGICA PERODO ARISTOTLICO (390 a.C. a 1840 d.C.) A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja essncia era a teoria do silogismo (certa forma de argumento vlido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Cincia. Na Grcia, distinguiram-se duas grandes escolas de Lgica, a PERIPATTICA (que derivava de Aristteles) e a ESTICA fundada por Zeno (326-264a.C.). A escola ESTICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGRIA (fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O Desenvolvimento da Lgica), houve durante muitos anos uma certa rivalidade entre os Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da lgica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influncia nos 200 anos seguidos e s

Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas do conhecimento. CLCULO PROPOSICIONAL Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO PROPOSICIONAL ou CLCULO SENTENCIAL ou ainda CLCULO DAS SENTENAS. CONCEITO DE PROPOSIO PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. A lua quadrada. A neve branca. Matemtica uma cincia. No sero objeto de estudo as sentenas interrogativas ou exclamativas. OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas atmicas) . Exemplos: A lua quadrada: p A neve branca : q CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais combinaes usaremos os conectivos lgicos : :e, : ou , : se...ento , : se e somente se , : no Exemplos: A lua quadrada e a neve branca. : p q (p e q so chamados conjunctos)

RACIOCNIO LGICO

Pgina 3

A lua quadrada ou a neve branca. : p q ( p e q so chamados disjunctos) 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))) AS TABELAS VERDADE A lgica clssica governada por trs princpios (entre outros) que podem ser formulados como segue: Princpio da Identidade: Todo objeto idntico a si mesmo. Princpio da Contradio: Dadas duas proposies contraditrias (uma negao da outra), uma delas falsa. Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma delas verdadeira. Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente. Para determinar o valor (verdade ou falsidade) das proposies compostas (moleculares), conhecidos os valores das proposies simples (atmicas) que as compem usaremos tabelas-verdade : 1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa (verdadeira). p ~p V F F V 2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjunctos so verdadeiros. p q p q V V F F V F V F V F F F

4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso. p q p q V V V V F F F V V F F V 5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos p q pq V V F F V F V F V F F V frmula : ((p q)

Exemplo: Construir a tabela verdade da ~p) (q p) p q ((p q) ~p) (q p) V V V F F V F V F F F V V V V F F F V V

V V F F

V F F F

NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples (atmica) tem dois valores V ou F, que se excluem. Para n atmicas distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2 n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.

Exemplo: a tabela - verdade da frmula ((p q) r) ter 8 linhas como segue : p q r ((p q) r ) V V V V F F F F V V F F V V F F V F V F V F V F V V F F F F F F V F V V V V V V

NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na linguagem habitual: inclusivo (disjuno) ("vel") e exclusivo ( "aut") onde p q significa ((p q) (p q)). p q ((p q) (p q)) V V F F V F V F V V V F F F V V V F V V F FV F

3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjunctos so falsos. p q p q V V F V F V V V V

CONSTRUO DE TABELAS-VERDADE

RACIOCNIO LGICO

Pgina 4

1. TABELA-VERDADE DE UMA PROPOSIO COMPOSTA Dadas vrias proposies simples p, q, r,..., podemos combin-las pelos conectivos lgicos: , , V , , e construir proposies compostas, tais como: P (p, q) = p V (p q) Q (p, q) = (p q) q R (p, q, r) = ( p q V r ) ( q V ( p r ) ) Ento, com o emprego das tabelas-verdade das operaes lgicas fundamentais: p, p q, p V q, p q, p q possvel construir a tabela-verdade correspondente a qualquer proposio composta dada, tabela-verdade esta que mostrar exatamente os casos em que a proposio composta ser verdadeira(V) ou falsa(F), admitindo-se, como sabido, que o seu valor lgico s depende dos valores lgicos das proposies simples componentes. 2. NMERO DE LINHAS DE UMA TABELA-VERDADE O nmero de linhas da tabela-verdade de uma proposio composta depende do nmero de proposies simples que a integram, sendo dado pelo seguinte teorema: A tabela-verdade de uma proposio composta com n proposies simples componentes contm 2n linhas. Dem. Com efeito, toda proposio simples tem dois valores lgicos: V e F, que se excluem. Portanto, para uma proposio composta P(p1, p2, ... pn) com n proposies simples componentes p1, p2, ... pn h tantas possibilidades de atribuio dos valores lgicos V e F a tais componentes quantos so os arranjos com repetio n a n dos dois elementos V e F, isto , A2, n = 2n, segundo ensina a Anlise Combinatria. 3. CONSTRUO DA TABELA-VERDADE DE UMA PROPOSIO COMPOSTA Para a construo prtica da tabela-verdade de uma proposio composta comea-se por contar o nmero de proposies simples que a integram. Se h n proposies simples componentes: p1, p2, ... pn ento a tabela-verdade contm 2n linhas. Posto isto, 1 proposio simples p1 atribuem-se 2n/2 = 2n - 1 valores V seguidos de 2n 2 valores F; 2 proposio simples p2 atribuem-se 2n/4 = 2n - 2 valores V, seguidos de 2n - 2 valores F, seguidos de 2n - 2 valores V,seguidos, finalmente, de 2n - 2 valores F; e assim por diante. De modo genrico, a k-sima proposio simples pk(k n) atribuem-se alternadamente 2n/ 2k = 2n - k valores V seguidos de igual nmero de valores F. No caso, p. ex., de uma proposio composta com cinco (5) proposies simples componentes, a tabela-verdade contm 25 = 32 linhas, e os grupos de valores V e F se alternam de 16 em 16 para a 1 proposio simples p1, de 8 em 8 para a 2 proposio simples p2, de 4 em 4 para a 3 proposio simples p3, de 2 em 2 para a 4 proposio simples p4, e, enfim, de 1 em 1 para a 5 proposio simples p5. 4. EXEMPLIFICAAO (1) Construir a tabela-verdade da proposio: P ( p, q) = (p q) 1 Resoluo - Forma-se, em primeiro lugar, o par de colunas correspondentes s duas proposies simples componentes p e q. Em seguida, forma-se a coluna para q. Depois, forma-se a coluna para p q. Afinal, forma-se a coluna relativa aos valores lgicos da proposio composta dada. p q q p q (p

V V F F

V F V F

F V F V

F V F F

q) V F V V

2. Resoluo Formam-se primeiro as colunas correspondentes s duas proposies simples p e q. Em seguida, direita, traa-se uma coluna para cada uma dessas proposies e para cada um dos conectivos que figuram na proposio composta dada. p q (p q) V F V V F V F F Depois, numa certa ordem, completam-se colunas, escrevendo cm cada uma delas os valores convenientes, no modo abaixo indicado: p q (p V V V V F F V F F V V V F V V F F F F F V F F V 4 1 3 2 essas lgicos q) F F V F 1

Os valores lgicos da proposio composta dada encontram-se na coluna completada em ltimo lugar (coluna 4). Portanto, os valores lgicos da proposio composta dada correspondentes a todas as possveis atribuies dos valores lgicos V e F s proposies simples componentes p e q (VV, VF, FV e FF) so V, F, V e V, isto , simbolicamente: P(VV)=V, P(VF)=F, P(FV)=V, P(FF)=V ou seja, abreviadamente: P(VV, VF, FV, FF) = VFVV Observe-se que a proposio P(p, q) associa a cada um dos elementos do conjunto U { VV, VF, FV, FF } um nico elemento do conjunto {V, F} isto , P(p, q) outra coisa no que uma funo de U em {V, F} P(p,q) : U {V,F} cuja representao grfica por um diagrama sagital a seguinte:

3 Resoluo Resulta de suprimir na tabela-verdade anterior as duas primeiras colunas da esquerda relativas s proposies simples componentes p e q que d a seguinte tabela-verdade simplificada para a proposio composta dada: V F V V 4 (p V V F F 1 F V F F 3 F V F V 2 q) V F V F 1

RACIOCNIO LGICO

Pgina 5

(2)

Construir a tabela-verdade da proposio: P (p, q) = ( p q) V (q p) (p q) F V V V (q p) F V V F ( p q) V (q p) F V V V

F F F F

V V F F

V F V F

1 Resoluo: q p qp q V F V F V F F F V F F V

F F F F 1

F V F V 3

F V F V 2

V F V F 1

V V V F 4

V V F F 1

F V F F 3

F V F V 2

V F V F 1

V V F F

Portanto, simbolicamente: P(VVV) = F, P(VVF) = V, P(VFV) = F, P(VFF) = F P(FVV) = V, P(FVF) V, P(FFV) = V, P(FFF) = F ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = FVFFVVVF Observe-se que a proposio P(p, q, r) outra coisa no que uma funo de U = {VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF} em {V, F} , cuja representao grfica por um diagrama sagital a seguinte:

2 Resoluo: p q V V F V F V F V V F F V 3

(p V V F F 1

V F F F 2

q) V F V F 1

V F V V V 4

F V V F 3

(q V F V F 1

V F F V 2

p) V V F F 1

Portanto, simbolicamente: P(VV)=F, P(VF)=V, P(FV)=V, P(FF)=V ou seja, abreviadamente: P(VV, VF, FV, FF) = FVVV Observe-se que P(p, a) outra coisa no que uma funo de U = { VV, VF, FV, FF} em (V, F} , cuja representao grfica por um diagrama sagital a seguinte:

3 Resoluo:
p V V V V F F F F 1 V V V V V F V F V 3 F V F V F V F V 2 r V F V F V F V F 1 F V F F V V V F 4 q V V F F V V F F 1 F V F F F V F F 3 F V F V F V F V 2 r V F V F V F V F 1

(4) 3 Resoluo: (p F V V V V F V F 3 1 (3) V F F F 2 q) V F V F 1 V F V V V 4 F V V F 3 (q V F V F 1 V F F V 2 p) V V F F 1

Construir a tabela-verdade da proposio: P(p, q, r) = (p q) (q r) (p r) Resoluo:

p V V V V F F F F q V V F F V V F F r V F V F V F V F ( p V V V V F F F F 1 q ) V V V V F F F F V V V V V F V F 2 1 V F F F V F V V 3 ( q V V F F V V F F 1 r) ( p V V V V F F V V V V V V V F V V V V V F F F V F V V V F V F V F 2 1 4 1 r) V F V F V V V V 2 V F V F V F V F 1

Construir a tabela-verdade da proposio: P(p, q, r) = p V r q r 1 Resoluo:

p V V V V F F F F q V V F F V V F F r V F V F V F V F r F V F V F V F V pV r V V V V F V F V q r F V F F F V F F p V r q r F V F F V V V F

Portanto, simbolicamente: P(VVV) = V, P(VVF) = V, P(VFV) = V, P(VFF) = V P(FVV) = V, P(FVF) V, P(FFV) = V, P(FFF) = V ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = VVVVVVVV Observe-se que a ltima coluna (coluna 4) da tabelaverdade da proposio P(p, q, r) s encerra a letra V(verdade), isto , o valor lgico desta proposio sempre V quaisquer que sejam os valores lgicos das proposies componentes p, q e r. (5) Construir a tabela-verdade da proposio:

2 Resoluo:
p V V V V q V V F F r V F V F p V V V V V V V V V F V F V r V F V F F V F F q V V F F F F V V F F F V r V F V F

RACIOCNIO LGICO

Pgina 6

P(p, q, r) =(p ( ~ q V r )) ~ (q V (p ~ r)) Resoluo:

(p ( ~ V V F V F F V V V V V V F V F F V F F V V F V V 1 4 2 q V V V F F V V F F 1 V F V V V F V V 3 r )) V F V F V F V F 1 F F V F F F F V 6 ~ (q F F V F F F F V 5 V V F F V V F F 1 V V V F V V V V F 4 (p V V V V F F F F 1 F V F V V F V F 3 ~ F V F V F V F V 2 r)) V F V F V F V F 1

ou F) da proposio:: (p q) ( q p). Resoluo Como q verdadeira (V), ento q falsa (F). Logo, a condicional q p verdadeira(V), pois, o seu antecedente falso(F). Por conseqncia, a condicional dada verdadeira(V), pois, o seu consequente verdadeiro(V). (6) Sabendo que as proposies x = 0, e x = y so verdadeiras e que a proposio y = z falsa, determinar o valor lgico (V ou F) da proposio: x 0 V x y y z Resoluo - Temos, sucessivamente: V V V F = F V F V = F V = V

Note-se que uma tabela-verdade simplificada da proposio P(p, q, r), pois, no encerra as colunas relativas s proposies componentes p, q e r. Portanto, simbolicamente: P(VVV) = F, P(VVF) = F, P(VFV) = V, P(VFF) = F P(FVV) = F, P(FVF)= F, P(PFV) = F, P(FFF) = V ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = FFVFFFFV 5. VALOR LGICO DE UMA PROPOSIO COMPOSTA Dada uma proposio composta P(p, q, r,.. .), pode-se sempre determinar o seu valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos respectivos das proposies componentes p, q, r . Exemplos: (1) Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor lgico (V ou F) da proposio: P(p, q) = (p V q) p q Resoluo Temos, sucessivamente: V(P) = (V V F) V F = V F V = F F = Sejam as proposies p:

PROVA I
1. Se 3 gatos matam 3 ratos em 3 minutos, quanto tempo levam 100 gatos para matar 100 ratos Resposta: "X" gatos matam "X" ratos sempre em 3 MINUTOS. Um milho mataria um milho em 3 minutos, por exemplo. 2. Se um tijolo pesa um quilo mais meio tijolo, quanto pesa um tijolo e meio ? Resposta: 2,25 quilos

3.

Trs garotos querem atravessar um rio. O barco que possuem tem capacidade mxima de 150 quilos. Eles pesam 50, 75 e 120 quilos. Como podem atravessar, sem afundar o barco ? Resposta: Primeiro vo os dois mais leves. L chegando, o barco volta com um deles. Ento sobe o mais pesado e vai para o outro lado. O que estava l volta, ento, para buscar o que havia ficado.

4.

=3 e q: sen

=0.

Certas bactrias se multiplicam to rapidamente que seu nmero dobra a cada minuto. Em um pedao da casca, elas se multiplicam de tal maneira que em 57 minutos j encheram-na totalmente. Em quantos minutos encheriam a metade da casca ? Resposta: 56 minutos

Determinar o valor lgico (V ou F) da proposio: P(p, q) = (p q) (p p q) Resoluo As proposies componentes p e q so ambas falsas, isto , V(p) = F e V(q) = F. Portanto: V(P) = (FF) (F F F) = V (F F) = V V = V (3) Sabendo que V(p) = V, V(q) = F e V(r) E, determinar o valor lgico (V ou F) da proposio: =P(p, q, r) = (q (r p)) V (( q p) r) Resoluo - Temos, sucessivamente: V(P) = ( F ( F V)) V (( F V ) F) = = ( F ( F F)) V ((V V ) F) = = ( F V)) V (( V F ) = F V F = F (4) Sabendo que V(r) V, determinar o valor lgico (V ou F) da proposio: p q V r. Resoluo Como r verdadeira (V), a disjuno q V r verdadeira(V). Logo, a condicional dada verdadeira(V), pois, o seu consequente verdadeiro (V). (5) Sabendo que V(q) = V, determinar o valor lgico (V

5.

Carla, Selma e Mara, esto sentadas lado a lado em um teatro. Carla fala sempre a verdade; Selma s vezes fala a verdade; e Mara nunca fala a verdade. A que est sentada esquerda diz:"Carla quem est sentada no meio." A que est sentada no meio diz:"Eu sou a Selma". Finalmente, a que est sentada a direita diz:"A Mara quem est sentada no meio.". Qual a posio de cada uma delas ? (Bernard Freire, Rio de Janeiro - RJ) Resposta: Selma est sentada esquerda, Mara ao meio e Carla direita.

6.

Uma garrafa e uma rolha custam 11,00 quando vendidas juntas. Se vendidas separadamente, a garrafa custa 10,00 mais que a rolha. Quanto custa a rolha ? Resposta: 0,50

7.

Joo devia na padaria R$15,00. No dia do vencimento, Joo pagou integralmente sua dvida

RACIOCNIO LGICO

Pgina 7

com duas cdulas e no entanto uma das cdulas no era de cinco reais. Explique se tal situao possvel, sabendo-se que Joo no recebeu troco e nem o dono da padaria ficou devendo a Joo. Resposta: Sim. Uma no era de cinco mais a outra era. 8. Os carros de Artur, Bernardo e Csar, no necessariamente nessa ordem, um Palio, um Gol e um Vectra. Um dos carros, cinza, um verde, e o outro azul. O carro de Artur cinza; o carro de Csar o Vectra; o carro de Bernardo no verde e no o Palio. Quais as cores do Palio, do Gol e do Vectra? Resposta: cinza, verde e azul

que ganharia a me. Assim sendo, a me recebeu 2/7, o filho 4/7 e a filha 1/7." 13. Trs ladres esperavam suas execues. Mas no dia, da execuo, o rei resolveu dar uma chance a eles. Mandou cham-los e ordenou que os trs entrassem em um quarto escuro, onde sabiam que havia trs chapus pretos e dois brancos, e que colocassem um chapu na cabea e sassem em fila, de modo que cada um s pudesse ver o chapu de quem estivesse na sua frente. O rei perguntou ao ltimo da fila:"Qual a cor do seu chapu?" "No sei." - disse o ltimo. O rei perguntou ao do meio: "Qual a cor do seu chapu?" "No sei." - disse o do meio. O rei fez a mesma pergunta ao primeiro da fila:"Qual a cor do seu chapu?" " preto" - disse o primeiro da fila. Vendo que a concluso dos trs foram logicamente corretas, o rei resolveu libert-los. Como o ladro da frente chegou a essa concluso, sabendo-se que os trs podiam ouvir as perguntas do rei e as respostas uns dos outros ?. Resposta: Como ltimo ladro no soube responder,ento no haviam dois chapus brancos sua frente, caso contrrio teria descoberto que o dele era preto, pois s haviam dois chapus brancos. Como o segundo tambm no soube responder, no havia um chapu branco sua frente, caso contrrio, teria descoberto que o seu era preto. Deste modo, o primeiro chegou a concluso que o seu chapu no podia ser branco, dando ao rei a resposta lgica " preto." 14. Dois rabes viajavam para Meca e pararam por um momento no caminho para comer. Um rabe possua 5 pedaos de po e o outro 3 pedaos. Antes que comeassem a refeio, apareceu um viajante. Este pediu-lhes comida e disse que pagaria por aquilo que tivesse comido. Assim os trs homens dividiram a comida entre si. Quando a refeio terminou, o viajante deu-lhes 8 moedas de igual valor. Como deveria ser dividido este dinheiro Resposta: Se oito pes foram divididos igualmente ,cada um comeu 8/3 de po, ou seja: 2 pes e 2/3 de po. O que possua 3 pes, havendo comido 8/3, dividiu apenas 1/3 dos seus pes. O que possua 5 pes, havendo comido tambm 8/3, deixou 7/3 de pes para dividir, sete vezes mais que o outro. Sendo assim o que tinha 5 pes deveria receber 7 moedas e o o que tinha trs apenas uma moeda.

9.

Num poro esto uma balana eletrnica e dez sacos com moedas de ouro. Cada saco possui 10 moedas, sendo que um desses sacos, possui moedas falsas. Se as verdadeiras pesam 10g e as falsas pesam 9g, como possvel descobrir o saco de moedas falsas fazendo-se apenas uma pesagem? (Diogo Cantarini, Juiz de Fora - MG) Resposta: Tira-se uma moeda do primeiro saco, duas do segundo, trs do terceiro, e assim por diante, at o dcimo saco, do qual se retirariam dez moedas. Sendo assim, teria-se 55 moedas ao todo para serem pesadas de uma s vez. Se todas fossem verdadeiras, ao pes-las, a balana indicaria 550g. Caso haja uma moeda falsa, a balana marcar 549g, indicando que o primeiro saco o que possui moedas falsas. Havendo duas, marcar 548g, indicando o segundo saco; havendo trs, marcar 547g, indicando o terceiro, e assim por diante. Fcil no?

10.

Certa noite Pedrinho resolveu ir ao cinema, mas descobriu que no tinha meias limpas para calar. Foi ento ao quarto do pai, que estava na escurido. Ele sabia que l existiam 10 pares de meias brancas e 10 pares de meias pretas, todos misturados. Quantas meias ele teve de retirar da gaveta para estar certo que possua um par igual? Resposta: 3 meias

11.

Um homem tem dois relgios. Um deles no anda e o outro atrasa uma hora por dia. Qual deles mostrar mais freqentemente a hora certa ? Resposta: O que no anda mostra a hora certa duas vezes ao dia. O que atrasa s mostra a hora certa de doze em doze dias, aps haver atrasado doze horas

PROVA 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.

12.

Um homem estava morrendo, mas sua mulher estava para ter criana. Ele chamou o advogado para preparar o testamento. No testamento, deixou 2/3 dos seus bens para o filho( se fosse homem) e 1/3 para sua mulher. Se a criana fosse mulher receberia apenas 1/3 e a esposa 2/3. Aps sua morte, a mulher deu luz a gmeos, um menino e uma menina. Como pode o juiz dividir o dinheiro, de acordo com os desejos do morto ? Resposta: Era clara a inteno do morto de dar ao filho 2 vezes mais que a me, e filha metade do

RACIOCNIO LGICO

Pgina 8

2.

Assinale a alternativa contradio.

que

apresenta

uma

(E) Dois dos ltimos quatro jogos foram realizados em seu campo e os outros dois, em campo adversrio.

(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.

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. (E) Juliana corre menos do que Marta.

8.

H 4 caminhos para se ir de X a Y e 6 caminhos para se ir de Y a Z. O nmero de caminhos de X a Z que passam por Y (A) 10. (B) 12. (C) 18. (D) 24. (E) 32.

9.

4.

Valter 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 Valter mais pobre do que Valter. (B) Geraldo mais rico do que Valter. (C) Valter no tem inveja de quem no mais rico do que ele. (D) Valter inveja s quem mais rico do que ele. (E) Geraldo no mais rico do que Valter.

Todas as plantas verdes tm clorofila. Algumas plantas que tem clorofila so comestveis. Logo, (A) algumas plantas verdes so comestveis. (B) algumas plantas verdes no so comestveis. (C) algumas plantas comestveis tm clorofila. (D) todas as plantas que tm clorofila so comestveis. (E) todas as plantas vendes so comestveis.

10.

A proposio ' necessrio que todo acontecimento tenha causa' equivalente a (A) possvel que algum acontecimento no tenha causa. (B) No possvel que algum acontecimento no tenha causa. (C) necessrio que algum acontecimento no tenha causa. (D) No necessrio que todo acontecimento tenha causa. (E) impossvel que algum acontecimento tenha causa.

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.

11.

Continuando a seqncia 47, 42, 37, 33, 29, 26, ... , temos (A) 21. (B) 22. (C) 23. (D) 24. (E) 25.

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.

12.

... pensador crtico precisa ter uma tolerncia e at predileo por estados cognitivos de conflito, em que o problema ainda no totalmente compreendido. Se ele ficar aflito quando no sabe 'a resposta correta', essa ansiedade pode impedir a explorao mais completa do problema.' (David Canaher, Senso Crtico). O autor quer dizer que o pensador crtico (A) precisa tolerar respostas corretas. (B) nunca sabe a resposta correta. (C) precisa gostar dos estados em que no sabe a resposta correta.

RACIOCNIO LGICO

Pgina 9

(D) que no fica aflito explora com mais dificuldades os problemas. (E) no deve tolerar estados cognitivos de conflito. 13. As rosas so mais baratas do que os lrios. No tenho dinheiro suficiente para comprar duas dzias de rosas. Logo, (A) tenho dinheiro suficiente para comprar uma dzia de rosas. (B) no tenho dinheiro suficiente para comprar uma dzia de rosas. (C) no tenho dinheiro. suficiente para comprar meia dzia de lrios. (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). 17. Para Peter Drucker, o ensino de matrias como aritmtica, ortografia, histria e biologia (A) deve ocorrer apenas no primeiro grau. (B) deve ser diferente do ensino de matrias como neurocirurgia e diagnstico mdico. (C) ser afetado pelo desenvolvimento da informtica. (D) no dever se modificar, nas prximas dcadas. (E) deve se dar atravs de meras repeties e exerccios. 18. Para o autor, neste novo cenrio, o computador (A) ter maior eficcia educacional quanto mais jovem for o estudante. (B) tende a substituir totalmente o professor em sala de aula. (C) ser a ferramenta de aprendizado para os professores. (D) tende a ser mais utilizado por mdicos. (E) ser uma ferramenta acessria na educao. 19. Assinale a alternativa em que se chega a uma concluso por um processo de deduo. (A) Vejo um cisne branco, outro cisne branco, outro cisne branco ... ento todos os cisnes so brancos. (B) Vi um cisne, ento ele branco. (C) Vi dois cisnes brancos, ento outros cisnes devem ser brancos. (D) Todos os cisnes so brancos, ento este cisne branco. (E) Todos os cisnes so brancos, ento este cisne pode ser branco. 20. Ctia mais gorda do que Bruna. Vera menos gorda do que Bruna. Logo, (A) Vera mais gorda do que Bruna. (B) Ctia menos gorda do que Bruna. (C) Bruna mais gorda do que Ctia. (D) Vera menos gorda do que Ctia. (E) Bruna menos gorda do que Vera. 21. Todo cavalo um animal. Logo, (A) toda cabea de animal cabea de cavalo. (B) toda cabea de cavalo cabea de animal. (C) todo animal cavalo. (D) nem todo cavalo animal. (E) nenhum animal cavalo.

RACIOCNIO LGICO

Pgina 10

22.

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.

(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. (C) se Rodrigo no mentiu. ento ele no culpado. (D) Rodrigo mentiu. (E) se Rodrigo culpado, ento ele mentiu. 28. Continuando a seqncia de letras F, N, G, M, H . . ..., ..., temos, respectivamente, (A) O, P. (B) I, O. (C) E, P. (D) L, I. (E) D, L. 29. Continuando a seqncia 4, 10, 28, 82, ..., temos (A) 236. (B) 244. (C) 246. (D) 254. (E) 256. 30. Assinale a alternativa em que ocorre uma concluso verdadeira (que corresponde realidade) e o argumento invlido (do ponto de vista lgico). (A) Scrates homem, e todo homem mortal, portanto Scrates mortal. (B) Toda pedra um homem, pois alguma pedra um ser, e todo ser homem. (C) Todo cachorro mia, e nenhum gato mia, portanto cachorros no so gatos. (D) Todo pensamento um raciocnio, portanto, todo pensamento um movimento, visto que todos os raciocnios so movimentos. (E) Toda cadeira um objeto, e todo objeto tem cinco ps, portanto algumas cadeiras tem quatro ps. 31. Cinco ciclistas apostaram uma corrida. "A" chegou depois de "B". "C" e "E" chegaram ao mesmo tempo. "D" chegou antes de "B". quem ganhou, chegou sozinho. Quem ganhou a corrida foi (A) A. (B) B.

INSTRUO: Utilize o texto a seguir para responder s questes de n 23 e 24. Os homens atribuem autoridade a comunicaes de posies superiores, com a condio de que estas comunicaes 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.

RACIOCNIO LGICO

Pgina 11

(C) C. (D) D. (E) E. Gabarito: 1-B; 2-A; 3-C; 4-E; 5-E; 6-B; 7-B; 8-D; 9-C; 10-B; 11-C; 12-C; 13-D; 14-A; 15-A; 16-D; 17-C; 18-A; 19-D; 20-D; 21-B; 22-E; 23-C; 24-B; 25-C; 26-E; 27A; 28-D; 29-B; 30-E; 31-D.

RACIOCNIO LGICO

Pgina 12