NOES DE LGICA 1.

Proposio
uma sentena expressa por palavras ou smbolos ao qual atribumos valores lgicos: V (verdadeiro) e F (falso). Exemplos de sentenas: a) Salvador a capital da Bahia. (sentena declarativa) b) Joo no gosta de laranja. (sentena declarativa) c) 7 + 6 = 18. (sentena declarativa) d) O triplo de 3 9? (sentena interrogativa) e) Que dia frio! (sentena exclamativa) f) Feche a porta. (sentena imperativa) g) 5 + 9. (operao matemtica) Somente podemos atribuir valores lgicos s sentenas declarativas. 1.1 Princpios bsicos a) Princpio da identidade: uma proposio verdadeira verdadeira; uma proposio falsa falsa. b) Princpio da No-Contradio: nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. c) Princpio do Terceiro Excludo: uma proposio ou ser verdadeira, ou ser falsa, no h outra possibilidade. 1.2 Proposies abertas e proposies fechadas. P.F. = so aquelas que podemos garanti-las como verdadeiras ou falsas. Exemplos declarativos acima. P.A. = so aquelas que contm um elemento desconhecido, no podendo garanti-la como verdadeira ou falsa. 1.3 Proposies simples e proposies compostas. P.S. = so proposies nicas. P.C. = so aquelas formadas por duas ou mais proposies, ligadas entre si por conectivos operacionais, formando uma s sentena. 1.4 Representao literal das proposies. Representamos uma proposio simples por letra minscula. Ex: p, q, r... 1.5 Conectivos lgicos e operaes com proposies. Os Conectivos Lgicos so smbolos que comprovam a veracidade das informaes e unem as proposies uma a outra ou as transformam numa terceira proposio.

Smbolo ~ ou ^ v v

Denominao Negao Conjuno Disjuno Disjuno Exclusiva Condicional Bicondicional

Estrutura ~p p^q pvq pvq pq pq

2. Negao (~p).
Dizemos que uma proposio a negao de outra quando invertemos a afirmao que est sendo dada. Se uma proposio verdadeira, quando usamos a negao vira falsa. Se uma proposio falsa, quando usamos a negao vira verdadeira. Podemos negar uma proposio das seguintes formas: a) Antepondo-se no ao verbo. Ex: Pedro estuda matemtica. Pedro no estuda matemtica. b) Antepondo-se no verdade que ou falso que proposio. Ex: Alberto loiro. No verdade que Alberto loiro. c) Retirando-se o no frente do verbo. Joo no foi ao cinema. Joo foi ao cinema. d) Substituindo-se um termo da proposio por seu antnimo. Carla bonita. Carla feia. Obs. O carro branco. Negao: O carro no branco. Erro: O carro preto. e) Tabela-verdade. p
V F

~p
F V

f) Complemento (Diagrama de Venn-Euler). p ~p

1 2

V F

F V

3. Conjuno (p ^ q).
Proposies compostas em que est presente o conectivo e so ditas conjunes. Simbolicamente, esse conectivo pode ser representado por ^. Uma conjuno ser verdadeira

somente quando as duas proposies que a compem forem verdadeiras. Exemplo: p: Cuiab a capital de MT. q: lgebra estudada em matemtica. Observando a tabela-verdade a seguir, apresentamos os valores lgicos possveis da conjuno p ^ q. p
V V F F

Exemplo: p: q: Observando a tabela-verdade a seguir, apresentamos os valores lgicos possveis da disjuno p v q. p

V V F F

q
V F V F

p q
V V V F

q
V F V F

p q
V F F F

Propriedades da conjuno. Comutativa: p ^ q q ^ p Associativa: (p ^ q) ^ r p ^ (q ^ r) Negao da conjuno. Para negarmos uma proposio no formato de conjuno (p e q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos e por ou. Exemplo: negaremos Paulo engenheiro e Pedro dentista. Da forma explicada acima: 1) Nega-se a primeira parte: (~p): Paulo no engenheiro 2) Nega-se a segunda parte: (~q): Pedro no dentista 3) Troca-se e por ou, e o resultado final ser o seguinte: Joo no mdico ou Pedro no dentista. Concluso: ~(p q) ~p ~q c) Complemento (Diagrama de Venn-Euler). p q p q

a) b)

Propriedades da disjuno. Comutativa: p v q q v p Associativa: (p v q) v r p v (q v r) Negao da disjuno. Para negarmos uma proposio no formato de disjuno (p ou q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos ou por e. Exemplo: para negarmos Daniele italiana ou Paula brasileira. 1) Nega-se a primeira parte: (~p): Daniele no italiana 2) Nega-se a segunda parte: (~q): Paula no brasileira 3) Troca-se ou por e, e o resultado final ser o seguinte: Daniele no italiana e Paula no brasileira. Concluso: ~(p v q) ~p ~q. c) Complemento (Diagrama de Venn-Euler). p q p q

a) b)

1 2 1 2 3 4 V V V F F F V F V F F F 3 4

V V F F

V F V F

V V V F

5. Disjuno exclusiva (p v q).

Comparemos as duas sentenas abaixo: Eu te darei uma bola ou te darei uma bicicleta ou te darei uma bola ou te darei uma bicicleta A diferena sutil, mas importante. Reparemos que na primeira sentena v-se facilmente que se a primeira parte for verdade (eu te darei uma bola), isso no impedir que a segunda parte (te darei uma bicicleta) tambm o seja. J na segunda proposio, se for verdade que te darei uma bola,

4. Disjuno (p v q).
Recebe o nome de disjuno toda proposio composta em que as partes estejam unidas pelo conectivo ou. Simbolicamente, representaremos esse conectivo por v. Uma disjuno ser falsa quando as duas partes que a compem forem ambas falsas. Nos demais casos, a disjuno ser verdadeira.

ento teremos que no ser dada a bicicleta. E viceversa, ou seja, se for verdade que te darei uma bicicleta, ento teremos que no ser dada a bola. Ou seja, a segunda estrutura apresenta duas situaes mutuamente excludentes, de sorte que apenas uma delas pode ser verdadeira, e a restante ser necessariamente falsa. Ambas nunca podero ser, ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao mesmo tempo, falsas. Na segunda sentena acima, este tipo de construo uma disjuno exclusiva, pela presena dos dois conectivos ou, que determina que uma sentena necessariamente verdadeira, e a outra, necessariamente falsa. Da, o nome completo desta proposio composta disjuno exclusiva. Simbolicamente, representaremos esse conectivo por v. Exemplo: p: Paula foi ao cinema assistir Avatar. q: Paula foi ao cinema assistir Batman. Observando a tabela-verdade a seguir, apresentamos os valores lgicos possveis da disjuno exclusiva p v q. p
V V F F

para passar de ano, Sara passa de ano somente se passar em Matemtica. Qual a nica maneira de essa proposio estar incorreta? S h um jeito de essa frase ser falsa: se a primeira parte for verdadeira, e a segunda for falsa. Lembre-se: uma condio suficiente gera um resultado necessrio. Na proposio Se p, ento q, a proposio p denominada de antecedente, enquanto a proposio q dita conseqente. Sendo assim, temos a seguinte tabela-verdade: p
V V F F

q
V F V F

p q
V F V V

q
V F V F

pvq
F V V F

a) b)

Propriedades da disjuno exclusiva. Comutativa: p v q q v p Associativa: (p v q) v r p v (q v r) Negao da disjuno exclusiva. Estudaremos posteriormente. c) Complemento (Diagrama de Venn-Euler). p q pv q

a) Negao da implicao. Esta negativa a mais cobrada em prova! Negamos a implicao da seguinte forma: 1) Mantm-se a primeira parte; e 2) Nega-se a segunda. Por exemplo, como seria a negativa de Se chover, ento levarei o guarda-chuva? 1) Mantendo a primeira parte: Chove e 2) Negando a segunda parte: eu no levo o guardachuva. Resultado final: Chove e eu no levo o guardachuva. Concluso: ~(p q) p ~q b) Equivalncia da implicao. p q ~p v q ~q ~p c) Complemento (Diagrama de Venn-Euler). p q p q

1 2 3 4

V V F F

V F V F

F V V F 1 2 3 4 V V V F F F V F V F V V

6. Implicao ou condicional (p q).

Para um melhor entendimento, tomemos de exemplo a seguinte proposio: Se Sara passou de ano, ento Sara passou em Matemtica. A mesma proposio pode apresentar formas de dizer diferentes: Sara passar de ano e condio suficiente para passar em Matemtica, Sara passar em Matemtica e condio necessria

d) Condio suficiente. Condio necessria. Na proposio Se p, ento q, a proposio p denominada de antecedente, enquanto a proposio q dita conseqente.

p q: p suficiente para q (basta p acontecer para que q acontea). ~q ~p: q necessrio para p (se q no acontecer, p no acontece). Conclumos que as expresses: p suficiente para q, q necessrio para pe p somente se qsignificam: p q, que equivalente a ~q ~p.

e) Condio necessria e suficiente. A expresso p condio necessria e suficiente para q significa exatamente a dupla implicao (bicondicional), porm, tambm dita como p se e somente se q.

8. Tautologia e contradio.
Tautologia ou Frmula Logicamente Vlida: Frmula que possui apenas valor V em sua tabela verdade. Exemplo: (p v ~p) p p p p

7. Bicondicional (p q).
A estrutura dita bicondicional apresenta o conectivo se e somente se, separando as duas sentenas simples. A bicondicional uma conjuno entre duas condicionais, ento a bicondicional ser falsa somente quando os valores lgicos das duas proposies que a compem forem diferentes. Em suma: haver duas situaes em que a bicondicional ser verdadeira: quando antecedente e conseqente forem ambos verdadeiros, ou quando forem ambos falsos. Nos demais casos, a bicondicional ser falsa. Sabendo que a frase p se e somente se q representada por pq, ento nossa tabela verdade ser a seguinte: p
V V F F

1 2

V F F V

V V

Contradio ou Frmula Logicamente Falsa: Frmula que possui apenas valor F em sua tabela verdade. Exemplo: (p ^ ~p). p p p p

q
V F V F

pq
V F F V 1 2 V F F V F F

a) Negao da bicondicional. Se observarmos a tabela verdade da disjuno exclusiva, concluiremos que ela a negao da bicondicional, sendo assim: ~(p q) p v q Outras negaes: ~(p q) [(p ^ ~q) v (q ^ ~p)] b) Equivalncias da bicondicional. p q (p q ) ^ (q p) p q [(~p v q) ^ (p v ~q)] (p ^ q) v (~q ^ ~p) p q ~(p v q) c) Complemento (Diagrama de Venn-Euler). p q pq

Contingncia: Frmula que possui valores V e F em sua tabela verdade. Exemplo: (p q). p q p q

1 2 3 4

V V V F F F V F

V F V V

1 2 3 4

V V V F F F V F

V F F V

9. Argumento.
Argumento um conjunto de proposies com uma estrutura lgica de maneira tal que algumas delas acarretam ou tem como conseqncia outra proposio q. Isto , o conjunto de proposies p1, p2, p3, . . . , pn que tm como conseqncia outra proposio q. Chamaremos as proposies p1, p2, p3, . . . , pn de premissas do argumento, e a proposio q de concluso do argumento. No lugar dos termos premissa e concluso podem ser tambm usados os correspondentes hiptese e tese, respectivamente. Conforme estudamos anteriormente uma proposio verdadeira ou falsa. No caso de um argumento diremos que ele vlido ou invlido. Argumento vlido Dizemos que um argumento vlido (ou ainda legtimo ou bem construdo), quando a sua concluso uma conseqncia obrigatria do seu conjunto de premissas. Isto significa que, num argumento vlido, jamais poderemos ter uma concluso falsa quando as premissas forem verdadeiras. Temos que entender que o que vale a construo, e no o seu contedo! Se a construo est perfeita, ento o argumento vlido, independentemente do contedo das premissas ou da concluso! Abaixo, trs mtodos para averiguao da validade de um argumento: 1 Mtodo Utilizando diagramas de conjuntos: Esta forma indicada quando nas premissas do argumento aparecem as palavras todo, algum e nenhum, ou os seus sinnimos: cada, existe um etc. Consiste na representao das premissas por diagramas de conjuntos, e posterior verificao da verdade da concluso. J fizemos acima alguns exerccios com uso deste mtodo! 2 Mtodo Utilizando a tabela-verdade: Esta forma mais indicada quando no se puder resolver pelo primeiro mtodo, o que ocorre quando nas premissas no aparecem as palavras todo, algum e nenhum, mas sim, os conectivos ou , e, e . Baseia-se na construo da tabela-verdade, destacando-se uma coluna para cada premissa e outra para a concluso. Aps a construo da tabela-verdade, verificam-se quais so as suas linhas em que os valores lgicos das premissas tm

valor V. Se em todas essas linhas (com premissas verdadeiras), os valores lgicos da coluna da concluso forem tambm Verdadeiros, ento o argumento vlido! Porm, se ao menos uma daquelas linhas (que contm premissas verdadeiras) houver na coluna da concluso um valor F, ento o argumento invlido. Este mtodo tem a desvantagem de ser mais trabalhoso, principalmente quando envolve vrias proposies simples. 3 Mtodo Utilizando as operaes lgicas com os conectivos e considerando as premissas verdadeiras. Por este mtodo, fcil e rapidamente demonstraremos a validade de um argumento. Porm, s devemos utiliz-lo na impossibilidade do primeiro mtodo. Iniciaremos aqui considerando as premissas como verdades. Da, por meio das operaes lgicas com os conectivos, descobriremos o valor lgico da concluso, que dever resultar tambm em verdade, para que o argumento seja considerado vlido. 4 Mtodo Utilizando as operaes lgicas com os conectivos, considerando premissas verdadeiras e concluso falsa. indicado este caminho quando notarmos que a aplicao do terceiro mtodo (supra) no possibilitar a descoberta do valor lgico da concluso de maneira direta, mas somente por meio de anlises mais complicadas. Argumento invlido Dizemos que um argumento invlido tambm denominado ilegtimo, mal construdo, falacioso ou sofisma quando a verdade das premissas no suficiente para garantir a verdade da concluso.

10.Proposies categricas
Hoje, vamos tecer mais detalhes sobre o uso de diagramas de crculos (ou diagramas lgicos), e tambm sobre questes de lgica que envolvem as palavras todo, algum e nenhum. So ditas proposies categricas as seguintes: Todo A B Nenhum A B Algum A B e Algum A no B As proposies sero classificadas em: Universais Particulares As proposies universais so aquelas em que o predicado refere-se totalidade do conjunto. Exemplo: Todos os homens so mentirosos universal e simbolizamos por todo S P. Nesta definio inclumos o caso em que o

sujeito unitrio. Exemplo: O co mamfero. As proposies particulares so aquelas em que o predicado refere-se apenas a uma parte do conjunto. Exemplo: Alguns homens so mentirosos particular e simbolizamos por algum S P. As proposies tambm se classificam em: Afirmativas Negativas No caso de negativa podemos ter: 1. Nenhum homem mentiroso universal negativa e simbolizamos por nenhum S P. 2. Alguns homens no so mentirosos particular negativa e simbolizamos por algum S no P. No caso de afirmativa consideramos o item anterior. Chamaremos ento de proposio categrica na forma tpica as proposies dos tipos: Todo S P, algum S P, algum S no P e nenhum S P.
AFIRMATIVA TODO S P (A) PARTICULAR ALGUM S P (I) UNIVERSAL NEGATIVA NENHUM S P (E) ALGUM S NO P (O)

mulheres. Premissa maior: todas as mulheres so bonitas. 11.1 Algumas regras para a validade de um silogismo: a) Todo silogismo deve conter somente trs termos; b) O termo mdio deve ser universal pelo menos uma vez; c) O termo mdio no pode constar na concluso; d) Nenhum silogismo categrico de forma tpica que tenha duas premissas negativas vlido. e) De duas premissas particulares no poder haver concluso; f) Se h uma premissa particular, a concluso ser particular; g) Se h uma premissa particular negativa a concluso ser particular negativa. 11.2 Diagramas de Venn-Euler Para analisar os argumentos, poderemos usar o diagrama de Euler. 1. "Todo S P" afirma que todos os elementos de S so elementos de P, ou seja, que S um subconjunto de P isto , (S P).

Ento teremos a tabela:

11. Silogismo Categrico De Forma Tpica.

Chamaremos de silogismo categrico de forma tpica (ou silogismo) ao argumento formado por duas premissas e uma concluso, de modo que todas as premissas envolvidas so categricas de forma tpica (A, E, I, O). Teremos tambm trs termos: Termo menor sujeito da concluso. Termo maior predicado da concluso. Termo mdio o termo que aparece uma vez em cada premissa e no aparece na concluso. Chamaremos de premissa maior a que contm o termo maior, e premissa menor a que contm o termo menor. Exemplo: Todas as mulheres so bonitas. Todas as princesas so mulheres. ____________________________________ Todas as princesas so bonitas. Termo menor: as princesas Termo maior: bonitas Termo mdio: mulheres Premissa menor: todas as princesas so 2. "Nenhum S P" afirma que os conjuntos S e P no tm elementos em comum, isto , que S P = ou ainda que S P.

3. "Algum S P" afirma que os conjuntos S e P tm pelo menos um elemento em comum, isto , S P

4. "Algum S no P" afirma que S tem pelo menos um elemento que no est em P, ou ainda, que S P .

c) Carlos e Joo so mais moos do que Pedro. d) Carlos mais velho do que Pedro, e Joo mais moo do que Pedro. e) Carlos no mais velho do que Pedro, e Maria e Julia no tem a mesma idade. Soluo Se Carlos no mais velho do que Maria, ento Joo no mais moo que Pedro Se Joo no mais moo que Pedro, ento Maria e Julia no tem a mesma idade Se Maria e Julia no tem a mesma idade, ento Carlos no mais velho que Pedro Logo, a nica opo correta : e) Carlos no mais velho do que Pedro, e Maria e Julia no tem a mesma idade. 03. (ESAF) Jos quer ir ao cinema assistir ao filme Fogo Contra Fogo, mas no tem certeza se o mesmo est sendo exibido. Seus amigos, Maria, Luis e Julio tm opinies discordantes sobre se o filme est ou no em cartaz. Se Maria estiver certa, ento Julio est enganado. Se Julio estiver enganado, ento Luis est enganado. Se Luis estiver enganado, ento o filme no est sendo exibido. Ora, ou o filme Fogo contra Fogo est sendo exibido, ou Jos no ira ao cinema. Verificou-se que Maria est certa. Logo, a) O filme Fogo contra Fogo est sendo exibido. b) Luis e Julio no esto enganados. c) Julio est enganado, mas Luis no. d) Luis est enganado, mas Julio no. e) Jos no ir ao cinema. Soluo Se Maria est certa, ento Julio est enganado Se Julio est enganado, ento Luis est enganado Se Luis estiver enganado, ento O Filme no est sendo exibido. Ora, ou o filme est sendo exibido ou Jos no ir ao cinema. Logo, conclumos que: Jos no ir ao cinema. Resposta E 04. (AFTN/96) Trs amigas, Tnia, Janete e Anglica, esto sentadas lado a lado em um teatro. Tnia sempre fala a verdade; Janete s vezes fala a verdade; e Anglica nunca fala a verdade. A que est sentada esquerda diz: Tnia quem est sentada no meio. A que est sentada no meio diz: Eu sou Janete. Finalmente, a que est sentada direita diz: Anglica quem est sentada no meio. A que est sentada esquerda, a que est sentada no meio e a que est sentada direita so, respectivamente: a) Janete, Tnia e Anglica b) Janete, Anglica e Tnia

Exerccios resolvidos. 01. (ESAF) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao cinema, ento Carla fica em casa. Se Carla fica em casa, ento Raul briga com Carla. Ora, Raul no briga com Carla. Logo. a) Carla no fica em casa e Beto no briga com Glria. b) Carla fica em casa e Glria vai ao cinema. c) Carla no fica em casa e Glria vai ao cinema. d) Glria vai ao cinema e Beto briga com Glria. e) Glria no vai ao cinema e Beto briga com Glria. Soluo Lembramos que a Contra-positiva de p q equivalente a ~q ~p Da teremos, Se Raul no briga com Carla, ento Carla no fica em casa. Se Carla no fica em casa, ento Glria no vai ao cinema Se Glria no vai ao cinema, ento Beto no briga com Glria Logo a nica opo correta : a. Carla no fica em casa e Beto no briga com Glria. 02. (ESAF) Se Carlos mais velho do que Pedro, ento Maria e Julia tem a mesma idade. Se Maria e Julia tem a mesma idade, ento Joo mais moo do que Pedro. Se Joo mais moo do que Pedro, ento Carlos mais velho do que Maria. Ora, Carlos no mais velho do que Maria. Ento: a) Carlos no mais velho do que Leila, e Joo mais moo do que Pedro. b) Carlos mais velho que Pedro, e Maria e Julia tem a mesma idade.

c) Anglica, Janete e Tnia d) Anglica, Tnia e Janete e) Tnia, Anglica e Janete Soluo Observe que s precisamos saber que a Tnia diz a verdade, as outras informaes sobre Janete e Anglica no influenciam na soluo. Ento vamos raciocinar: Tnia no pode estar na esquerda e nem no meio, pois seno estaria mentindo. Logo Tnia est na direita e conseqentemente, a Anglica est no meio, conforme a declarao de Tnia. Para acabar, evidente que Janete est na esquerda. Resposta B 05. (AFTN/96) Se Nestor disse a verdade, Jlia e Raul mentiram. Se Raul mentiu, Lauro falou a verdade. Se Lauro falou a verdade, h um leo feroz nesta sala. Ora, no h um leo feroz nesta sala. Logo, a) Nestor e Jlia disseram a verdade b) Nestor e Lauro mentiram c) Raul e Lauro mentiram d) Raul mentiu ou Lauro disse a verdade e) Raul e Jlia mentiram. Soluo No h leo feroz nesta sala Lauro mentiu Raul falou a verdade Nestor mentiu Logo Nestor e Lauro mentiram. Resposta B 06. (AFC/96) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao cinema, ento Carla fica em casa. Se Carla fica em casa, ento Raul briga com Carla. Ora, Raul no briga com Carla. Logo, a) Carla no fica em casa e Beto no briga com Glria. b) Carla fica em casa e Glria vai ao cinema. c) Carla no fica em casa e Glria vai ao cinema. d) Glria vai ao cinema e Beto briga com Glria. e) Glria no vai ao cinema e Beto briga com Glria. Soluo Se Raul no briga com Carla Carla no fica em casa Glria no vai ao cinema Beto no briga com Glria Resposta A 07. (AFC/96) Trs irms Ana Maria e Cludia foram a uma festa com vestidos de cores diferentes. Uma vestiu azul, a outra branca, e a terceira preta. Chegando festa, o anfitrio perguntou quem era cada uma delas. A de azul

respondeu: Ana a que est de branco. A de branco falou: Eu sou Maria. E a de preto disse: Cludia quem est de branco. Como o anfitrio sabia que Ana sempre diz a verdade, ele foi capaz de identificar corretamente quem era cada pessoa. As cores dos vestidos de Ana, Maria e Cludia eram, respectivamente, a) preto, branco, azul; b) preto, azul, branco c) azul, preto, branco d) azul, branco, preto e) branco, azul, preto. Soluo Basta observar que Ana fala a verdade, logo ela no poderia estar de Azul e nem de branco, pois seno estaria mentindo. Logo Ana est de preto e como ela mesma afirmou Cludia est de branco. Conseqentemente Maria est de Azul Resposta B 08. Sejam as declaraes: Se o governo bom ento no h desemprego. Se no h desemprego ento no h inflao. Ora, se h inflao podemos concluir que: a) A inflao no afeta o desemprego. b) Pode haver inflao independente do governo. c) O governo bom e h desemprego. d) O governo bom e no h desemprego. e) O governo no bom e h desemprego. Soluo: Opo correta: E Se h inflao ento h desemprego. Se h desemprego ento o governo no bom. Logo, o governo no bom e h desemprego. 09. Sejam as declaraes: Se ele me ama ento ele casa comigo. Se ele casa comigo ento no vou trabalhar. Ora, se vou ter que trabalhar, podemos concluir que: a) Ele pobre, mas me ama. b) Ele rico, mas po duro. c) Ele no me ama e eu gosto de trabalhar. d) Ele no casa comigo e no vou trabalhar. e) Ele no me ama e no casa comigo. Soluo: Opo correta: E Vou trabalhar, ento, ele no casou comigo. Ele no casou comigo, ento, no me ama. Logo, ele no me ama e no casa comigo. 10. Na deduo: A inflao no um aumento de preos, nem este culpa dos empresrios. Logo o empresrio no responsvel pela inflao, pode-se afirmar que: a) A concluso est correta.

b) Deve-se concluir que a culpa do governo. c) As premissas so falsas. d) A concluso falsa. e) Nada se pode concluir. Soluo: O correto a alternativa e, pois de duas premissas negativas nada se pode concluir, quer sejam falsas ou verdadeiras. Exerccios propostos. 01. (ESAF) Considere a sentena: Paulo passar no exame, pois aluno estudioso, e alunos estudiosos passam no exame. A concluso do argumento expresso por esta sentena : a) Paulo estudioso. b) Existem alunos estudiosos. c) Paulo passar no exame. d) Alunos estudiosos passam no exame. e) Paulo estudioso ou existem alunos estudiosos. 02. (ESAF) Uma sentena lgica equivalente a Se Pedro economista, ento Luisa solteira. : a) Pedro economista ou Luisa solteira. b) Pedro economista ou Luisa no solteira. c) Se Luisa solteira, Pedro economista. d) Se Pedro no economista, ento Luisa no solteira. e) Se Luisa no solteira, ento Pedro no economista. 03. (ESAF) Das premissas: A: Nenhum heri covarde. B: Alguns soldados so covardes.Pode-se corretamente concluir que: a) alguns heris so soldados. b) alguns soldados no so heris. c) nenhum heri soldado. d) alguns soldados no so heris. e) nenhum soldado heri. 04. (ESAF) Se Carlos mais alto do que Paulo, logo Ana mais alta que Maria. Se Ana mais alta que Maria, Joo mais alto do que Carlos. Ora, Carlos mais alto do que Paulo. Logo: a) Ana mais alta do que Maria, e Joo mais alto do que Carlos. b) Carlos mais alto do que Maria, e Paulo mais alto do que Joo. c) Joo mais alto do que Paulo, e Paulo mais alto do que Carlos. d) Ana no mais alta do que Maria, ou Paulo mais alto do que Carlos. e) Carlos mais alto do que Joo, ou Paulo mais alto do que Carlos.

05. (ESAF) Se Ana no advogada, ento Sandra secretria. Se Ana advogada, ento Paula no professora. Ora Paula professora. Portanto: a) Ana advogada. b) Sandra secretria. c) Ana advogada, ou Paula no professora. d) Ana advogada e Paula professora. e) Ana no advogada e Sandra secretria. 06. (ESAF) Se no verdade que Alguma professora universitria no d aulas interessantes, ento verdade que: a) todas as professoras universitrias do aulas interessantes. b) nenhuma professora universitria d aulas interessantes. c) nenhuma aula interessante dada por alguma professora universitria. d) nem todas as professoras universitrias do aulas interessantes. e) todas as aulas interessantes so dadas por professoras universitrias. 07. (ESAF) Considere a seguinte sentena: A nenhum homem consentido ser juiz em cauda prpria, porque seu interesse certamente influir em seu julgamento, e, no improvavelmente, corromper a sua integridade. A concluso do argumento expresso por esta sentena : a) os interesses corrompem a integridade. b) os interesses influenciam nos julgamentos. c) os interesses influenciam nos julgamentos e provavelmente corrompem a integridade. d) a nenhum homem consentido ser juiz em causa prpria. e) julgar em causa prpria provavelmente corrompe a integridade de quem julga. 08. (FGV) O Ministro da economia de um certo pas afirmou, em entrevista a um jornal: SE UM PAS TEM CRDITO, ENTO ELE NO PEDE MORATRIA. No dia seguinte, o referido jornal publicou: MINISTRO AFIRMA: SE UM PAS NO TEM CRDITO, ENTO ELE PEDE MORATRIA. Compare a declarao do Ministro com o que foi publicado no jornal, assinalando a alternativa correta: a) As duas afirmaes so logicamente equivalentes. b) Se um pas tem crdito e pede moratria, isto contradiz a declarao do Ministro na entrevista. c) Se um pas tem crdito e no pede moratria, isto contradiz o que foi publicado no jornal. d) Se um pas no tem crdito e pede moratria, isto contradiz a declarao do Ministro na entrevista.

09. (FGV) O argumento que se segue foi extrado do livro As aventuras de Huckleberry Finn, de Mark Twain. Nele, o personagem Huck Finn afirma: Jim disse que as abelhas no picariam idiotas; mas eu no acreditei nisso, porque eu mesmo j tentei muitas vezes e elas no me picaram. Analisando o argumento, podemos dizer que: a) Uma premissa implcita que Huck Finn idiota. b) Uma premissa implcita que Huck Finn no idiota. c) A concluso do argumento que Jim idiota. d) A concluso do argumento que Huck Finn inteligente. 10. (FGV) Um eminente antroplogo, afirmou que TODOS OS AFANEUS SO ZARAGS, e que TODOS OS ZARAGS SO CHUMPITAZES. Com base nestas afirmaes, podemos concluir que: a) possvel existir um Afaneu que no seja Zarag. b) possvel existir um Afaneu que no seja Chumpitaz. c) possvel existir um Zarag que no seja Afaneu. d) Nada se pode concluir sem saber o que significa Afaneu, Zarag e Chumpitaz. 11. (FGV) Considere os dois seguintes argumentos: ARGUMENTO 1. Alguns automveis so verdes e algumas coisas verdes so comestveis. Logo, alguns automveis verdes so comestveis. ARGUMENTO 2. Alguns brasileiros so ricos e alguns ricos so desonestos. Logo, alguns brasileiros so desonestos. Compare os 2 argumentos e assinale a alternativa correta. a) Apenas o argumento 2 vlido. b) Apenas o argumento 1 vlido. c) Os dois argumentos no so vlidos. d) Os dois argumentos so vlidos. 12. (FGV) Considere as seguintes proposies: I. O ministro est numa enrascada: se correr, o bicho pega; se ficar, o bicho come. II. Ser ou no ser, eis a questo. III. O Tejo mais belo que o rio que corre pela minha aldeia; mas o Tejo no mais belo que o rio que corre pela minha aldeia. correto ento afirmar-se que: a) Em I est presente uma tautologia. b) Em II est presente uma contradio.

c) Em III est presente um dilema. d) NDA 13. (FGV) Considere a seguinte frase de Albert Einstein: Tudo deveria ser feito do modo mais simples possvel, mas no mais simples que isso. De acordo com essa proposio: a) sempre possvel fazer algo de modo mais simples do que j feito. b) Existe um modo mais simples possvel de se fazer cada coisa; no se deveria tentar simplificar alm disso. c) As noes de simples e complicado so absolutamente relativas. d) NDA. 14. (FGV) A cincia provou que, se os pais tm olhos azuis, seus filhos tambm tero olhos azuis. Joo tem olhos azuis. Da se conclu que. a) Os pais de Joo tm olhos azuis. b) Os pais de Joo no tm olhos azuis. c) Um dos pais de Joo tem olhos azuis. d) NDA. 15. (FGV) Algum afirmou certa feita que Toda pessoa que diz que no bebe no est sendo honesta. Pode-se concluir dessa premissa que: a) Uma pessoa que diz que bebe est sendo honesta. b) Uma pessoa est sendo honesta se diz que bebe. c) No existem pessoas honestas que dizem que no bebem. d) NDA 16. (FGV) Quando se afirma que p q (P implica Q) ento: a) Q condio suficiente para P. b) P condio necessria para Q. c) Q no condio necessria para P d) P condio suficiente para Q. e) P no condio suficiente nem necessria para Q. Teste seus conhecimentos! 1. Dizer que no verdade que Celina bonita ou Cristina no loira, logicamente equivalente a dizer que verdade que: a) Celina no bonita ou Cristina no loira b) Celina no bonita e Cristina loira c) Celina bonita ou Cristina loira d) Celina bonita e Cristina loira e) Celina no bonita e Cristina no loira

2. Ou Y = X, ou X = Z, mas no ambos. Se X = W, ento Y = W. Ora X = W. Logo: a) X Z b) X Y c) Z = Y d) Z = X e) W Y 3. Se Maria no anda sozinha, ento Pedro sabe costurar. Se Maria anda sozinha, ento ou Joana estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginstica. Mas Teresa faz ginstica se e somente se no for verdade que Ferdinando no tem uma cmera. Ora, Ferdinando no tem uma cmera e Joana no estuda. Logo: a) Maria no anda sozinha e Manoel trabalha b) Joana no estuda e Manoel trabalha c) Ferdinando no tem uma cmera e Teresa faz ginstica d) Pedro no sabe costurar ou Maria anda sozinha e) Pedro sabe costurar e Manoel no trabalha. 4. Ou cozinhar fcil, ou Beth no gosta de cozinhar. Por outro lado, se estudar no difcil, ento cozinhar difcil. Da segue-se que, se Beth gosta de cozinhar, ento: a) Se estudar difcil, ento cozinhar difcil b) cozinhar fcil e estudar difcil c) cozinhar fcil e estudar fcil d) cozinhar difcil e estudar difcil e) cozinhar difcil ou estudar fcil 5. Toda vaca preta, e todo cavalo no preto, portanto: a) Algum animal preto cavalo. b) Nenhum animal preto cavalo. c) Nenhum animal preto vaca. d) Todo animal preto no vaca. e) Nenhuma vaca preta. 6. Ingls no difcil de se entender, ou Alemo difcil de se entender. Ingls fcil de se entender, ou Alemo difcil de se entender, o Italiano razovel de se entender. Italiano razovel de se entender, ou Alemo no difcil de se entender. Italiano no razovel de se entender, ou Ingls fcil de se entender. Logo, a) Italiano razovel de se entender, Ingls fcil de entender, Alemo no difcil de se entender. b) Italiano no razovel de se entender, Ingls fcil de se entender, Alemo no difcil de se entender. c) Italiano razovel de se entender, Ingls fcil de se entender, Alemo difcil de se entender.

d) Italiano no razovel de se entender, Ingls no fcil de se entender, Alemo no difcil de se entender. e) Italiano no razovel de se entender, Ingls fcil de se entender, Alemo difcil de se entender. 7. Para que a afirmativa "todo sorvete gostoso" seja falsa, basta que: a) Todo sorvete seja gostoso. b) Todo sorvete no seja gostoso. c) Nenhum sorvete seja gostoso. d) Algum sorvete no seja gostoso. e) Algum sorvete seja gostoso. 8. Slvia, Adriana e Raquel so trs amigas. Uma delas casada, outra divorciada e outra solteira, no necessariamente nessa ordem. Apenas uma das afirmaes abaixo verdadeira: Slvia divorciada. Raquel solteira. Adriana no casada. Assim, possvel que Slvia, Adriana e Raquel sejam, respectivamente: a) solteira, casada, divorciada. b) divorciada, casada, solteira. c) solteira, divorciada, casada. d) casada, divorciada, solteira. e) divorciada, solteira, casada. 9. Trs amigos, Paulo, Jos e Ricardo, trocam afirmaes. "Jos mdico" - diz Paulo; "O Ricardo mdico" - Jos diz; "Paulo e Jos so mdicos" - diz Ricardo; Com base nestas trs informaes, pode-se afirmar que: a) apenas Paulo mdico. b) apenas Ricardo mdico. c) apenas Jos mdico. d) Paulo e Ricardo so mdicos. e) Paulo e Jos so mdicos. 10. Uma discusso envolveu trs irmos. Cada um dos trs acusou um dos outros dois. Apenas um deles um culpado. O primeiro irmo foi o nico que disse a verdade. Se cada um deles (por acaso mudasse sua acusao) tivesse acusado algum diferente, mas no a si mesmo, o segundo irmo teria sido o nico a dizer a verdade. Conclui-se que: a) O primeiro irmo inocente e o segundo culpado. b) O primeiro irmo inocente e o terceiro culpado. c) O segundo irmo inocente e o primeiro culpado. d) O terceiro irmo inocente e o primeiro culpado. e) O terceiro irmo inocente e o segundo culpado.

Gabarito 1. B 2. A 3. E 4. B 5. B 6. C 7. D 8. D 9. C 10. B Bibliografia. Raciocnio Lgico, Voc Consegue Aprender; Rocha, Enrique. 2 edio. Fundamentos de Matemtica Elementar; Iezzi, Gelson. 2 edio. Cursos on-line Raciocnio Lgico Prof. Sergio Carvalho. Sites: 1.http://www.sandiego.edu/LogicSlave/fmslog.html 2.http://nlvm.usu.edu/en/nav/frames_asid_153_g_2 _t_1.html?open=instructions&from=topic_t_1.html 3.http://www.cfh.ufsc.br/~dkrause/pg/cursos/lparac. htm 4. http://www.javafile.com