Baixe o app para aproveitar ainda mais
Prévia do material em texto
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 1 www.pontodosconcursos.com.br Aula 4 Proposições . ................................................................................................................................ 2 Proposições simples e compostas. .............................................................................................. 6 Modificador. ................................................................................................................................. 7 p ∧ . . ...................................................................................... 7 Conjunção q p ∨ . ........................................................... 8 Disjunção Inclusiva q Condicional qp→ . .................................................................................................................... 9 Bicondicional p q↔ . . ............................................................................................................. 10 Condição suficiente e condição necessária. .............................................................................. 26 Equivalências lógicas . ................................................................................................................ 28 Negação das Proposições Usuais . ............................................................................................. 33 Sentenças abertas, quantificadores . ......................................................................................... 35 Diagramas de Euler‐Venn. ......................................................................................................... 42 Relação das questões comentadas nesta aula. ......................................................................... 51 Gabaritos . .................................................................................................................................. 62 MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 2 www.pontodosconcursos.com.br Olá pessoal! Esta é a nossa última aula do curso para o TRF 1ª Região. Nesta semana eu disponibilizei a resolução da prova de Técnico Judiciário do TRT 24ª Região na parte aberta do Ponto. O link com a resolução da prova é o que segue: http://www.pontodosconcursos.com.br/admin/imagens/upload/6449_D.pdf Tentem resolver esta prova, pois ela servirá como uma espécie de simulado para vocês. A lógica estudada nesta aula é chamada Lógica Formal ou Lógica Aristotélica. Cabe à Lógica Formal ignorar o conteúdo das proposições para concentrar-se apenas em sua forma. Para o bom entendimento de grande parte desta aula, precisamos entender os conceitos que se relacionam com proposições. Proposições O conceito de proposição é fundamental para o estudo de toda a lógica formal. Chama-se proposição, ou sentença, toda oração declarativa que pode ser classificada em verdadeira ou falsa, mas não as duas. Letras são usualmente utilizadas para denotar proposições. As letras convencionais para esse propósito são p, q, r, s... O valor lógico de uma proposição verdadeira é representado por V; e o de uma proposição falsa, por F. Por sinal, esses são os únicos valores lógicos que existem na Lógica Aristotélica. São exemplos de proposições: p : Todo recifense é pernambucano. q : O Brasil está situado na Europa. s : Existe vida fora da Terra. A proposição p é verdadeira (V); a proposição q é falsa (F); e a proposição s não sabemos o seu valor lógico, mas ela, apesar de ainda não sabermos classificá-la, possui um valor lógico V ou F, sendo, portanto, uma proposição. Ou seja, nós não sabemos se existe ou não vida fora da Terra, MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 3 www.pontodosconcursos.com.br mas com certeza: existe ou não existe. Nós, humanos, é que somos ignorantes e ainda não sabemos. Posso afirmar apenas uma coisa: “Existe vida fora da Terra” é uma proposição verdadeira ou falsa – não há outra possibilidade. Considere as frases: 1. Qual seu nome? 2. Leia isto atenciosamente. 3. X + 1 = 2 4. Eu sou mentiroso. As frases acima não são consideradas proposições lógicas. As frases 1 e 2 não são declarativas, são interrogativa e imperativa, respectivamente. Imagine que a frase 3 seja uma proposição. Qual o seu valor lógico? Depende!! Depende de que? Do valor de X. Se X for igual a 1, então ela é verdadeira, caso contrário será falsa!! Portanto, não é verdadeira nem falsa, pois não foi dado um valor para x (por isso, é chamada de sentença aberta ou função proposicional). A frase 4 não pode ser classificada em V ou F, pois teríamos um paradoxo. Suponha que tenhamos imposto que seu valor lógico seja V. Seria um absurdo, pois um mentiroso não declara verdade. Suponha agora que o seu valor lógico seja F. Se é falso dizer que ele é um mentiroso, concluímos que ele é veraz. Absurdo novamente, pois a proposição é falsa. A frase 4 não pode ser verdadeira nem falsa, portanto não é uma proposição lógica. 01. (ICMS-SP/2006/FCC) Das cinco frases abaixo, quatro delas têm uma mesma característica lógica em comum, enquanto uma delas não tem essa característica. I. Que belo dia! II. Um excelente livro de raciocínio lógico. III. O jogo terminou empatado? IV. Existe vida em outros planetas do universo. V. Escreva uma poesia. A frase que não possui essa característica comum é a a) I. b) II. c) III. d) IV. e) V. Resolução MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 4 www.pontodosconcursos.com.br A frase I é exclamativa, portanto não é uma proposição lógica. A frase II não possui verbo, não sendo assim uma proposição. A frase III é interrogativa e a frase V é imperativa. Não são, portanto, proposições. Portanto a característica comum entre as frases I, II, III e V é que elas não são proposições. A única proposição é a frase IV, pois é uma oração declarativa, que podemos classificar em V ou F, apesar de não sabermos o seu valor lógico. Letra D 02. (PM-BA 2009/FCC) Define-se sentença como qualquer oração que tem sujeito (o termo a respeito do qual se declara alguma coisa) e predicado (o que se declara sobre o sujeito). Na relação que segue há expressões e sentenças: 1. Tomara que chova! 2. Que horas são? 3. Três vezes dois são cinco. 4. Quarenta e dois detentos. 5. Policiais são confiáveis. 6. Exercícios físicos são saudáveis. De acordo com a definição dada, é correto afirmar que, dos itens da relação acima, são sentenças APENAS os de números (A) 1, 3 e 5. (B) 2, 3 e 5. (C) 3, 5 e 6. (D) 4 e 6. (E) 5 e 6. Resolução A FCC conceitua sentença como proposição. A frase 1 é exclamativa, a frase 2 é interrogativa, a frase 4 não possui predicado e, portanto, não são sentenças. As sentenças (proposições lógicas) são as frases 3, 5 e 6. Letra C 03. (SEFAZ/SP 2006/FCC) Das cinco frases abaixo, quatro delas têm uma mesma característica lógica em comum, enquanto uma delas não tem essa característica. I – Que belo dia! II – Um excelente livro de raciocínio lógico. III – O jogo terminou empatado? IV – Existe vida em outros planetas do universo. V – Escreva uma poesia. A frase que não possui esta característica comum é a: a) I b) II c) III MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 5 www.pontodosconcursos.com.br d) IV e) V Resolução. A frase I é uma exclamação. Não é proposição. A frase II contém uma opinião sobre o livro, não sendo possível julgar em verdadeiro ou falso. Não é proposição. A frase III é uma pergunta, que também não é proposição. A frase IV pode ser julgada em verdadeiro ou falso. É uma proposição. A frase V é uma ordem. Não é proposição. Só a frase IV é proposição. Letra D Um importante tipo de sentença que não é proposiçãoé a chamada sentença aberta ou função proposicional. Exemplo: 05 =−x Não podemos julgar esta frase em verdadeiro ou falso, simplesmente porque não é possível descobrir o valor de x. Se x valer 5, de fato, 05 =−x . Caso contrário, se x for diferente de 5, a igualdade acima está errada. “x” é uma variável, pode assumir inúmeros valores. Quando a sentença possui uma variável, nós dizemos que ela é uma sentença aberta. Ela tem um termo que varia, o que impede julgá-la em verdadeiro ou falso. Logo, não é proposição. Basicamente é isto: sempre que a frase não puder ser julgada em verdadeiro ou falso, não é uma proposição. 04. (ICMS-SP/2006/FCC) Considere as seguintes frases: I. Ele foi o melhor jogador do mundo em 2005. II. 5 x y+ é um número inteiro. III. João da Silva foi o secretário da Fazenda do Estado de São Paulo em 2000. É verdade que APENAS: MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 6 www.pontodosconcursos.com.br a) I e II são sentenças abertas. b) I e III são sentenças abertas. c) II e III são sentenças abertas. d) I é uma sentença aberta. e) II é uma sentença aberta. Resolução A frase I é uma sentença aberta, pois “Ele” pode, nesta questão, estar se referindo a um homem qualquer. Não podemos classificá-la em V ou F, pois não sabemos sobre quem estamos falando. A frase I seria uma proposição se, por exemplo, o locutor apontasse para uma pessoa e falasse “Ele foi o melhor jogador do mundo em 2005”. A frase II é, sem dúvida, uma sentença aberta, pois há duas variáveis e infinitos valores que podem tornar a frase verdadeira ou falsa. Já a frase III não é uma sentença aberta, pois facilmente podemos verificar o sujeito e classificá-la em V ou F. Letra A Proposições simples e compostas Estudaremos métodos de produzir novas proposições a partir de proposições simples. Uma proposição é simples quando declara algo sem o uso de conectivos. Quando “ligamos” duas ou mais proposições simples, obtemos as denominadas proposições compostas. Os “entes” lógicos que ligam as proposições são denominados conectivos lógicos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r : O retângulo é um polígono regular. (F) A partir de proposições simples dadas podemos construir novas proposições compostas mediante o emprego de operadores lógicos chamados conectivos, como “e” (símbolo �), “ou” (símbolo v), os condicionais “se... então” (símbolo ՜), “se e somente se” (símbolo ՞) e o modificador “não” (o símbolo pode ser ou ¬). Exemplos: p : A Lua é um satélite da Terra, e Recife é a capital de Pernambuco. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 7 www.pontodosconcursos.com.br q : Carlos é solteiro ou Pedro é estudante. r : Se um quadrilátero tem todos os lados congruentes, então é um losango. s : Um quadrilátero é um quadrado se e somente se for retângulo e losango. O que precisamos saber para resolver questões envolvendo proposições compostas? i) A regra que rege cada um dos conectivos lógicos. ii) Argumentar. Vamos começar com as regras de cada conectivo e do modificador. Modificador Dada uma proposição p qualquer, uma outra proposição chamada negação de p pode ser formada escrevendo-se “É falso que...” antes de p ou, se possível, inserindo a palavra “não”. Simbolicamente, a negação de p é designada por p~ ou p¬ . Exemplo: p : Paris está na França. p~ : É falso que Paris está na França. p~ : Paris não está na França. p~ : Não é verdade que Paris está na França. p ∧Conjunção q Duas proposições quaisquer podem ser combinadas pela palavra “e” para formar uma proposição composta, que é chamada de conjunção das proposições originais. Simbolicamente representamos a conjunção de duas proposições p e q por qp ∧ . p p~ V F F V MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 8 www.pontodosconcursos.com.br A conjunção qp ∧ é verdadeira se p e q são ambas verdadeiras; se ao menos uma delas for falsa então qp ∧ é falsa. Exemplo: p : João é gordo e Mário é alto. Suponha que a proposição João é gordo seja verdadeira e que Mário não seja alto. Dessa forma, A conjunção “João é gordo e Mário é alto” é falsa, pois a proposição “Mário é alto” é falsa. A composta só seria verdadeira se ambas as proposições “João é gordo” e “Mário é alto” fossem verdadeiras. p ∨Disjunção Inclusiva q Duas proposições quaisquer podem ser combinadas pela palavra “ou” para formar uma proposição composta que é chamada de disjunção inclusiva das proposições originais. Simbolicamente, a disjunção das proposições p e q é designada por qp ∨ . A disjunção inclusiva qp ∨ é verdadeira se ao menos uma das proposições p ou q é verdadeira; qp ∨ é falsa se e somente se ambas p e q são falsas. Exemplo: p : Vou à festa ou não me chamo Fulano. Considere que Fulano afirmou: Vou à festa ou não me chamo Fulano. Fulano foi à festa. Portanto, a proposição “Vou à festa” é verdadeira. A proposição “não me chamo Fulano” é falsa, pois quem a disse foi Fulano. Temos o seguinte esquema: MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 9 www.pontodosconcursos.com.br A disjunção “Vou à festa ou não me chamo Fulano” só seria falsa se ambas as proposições “Vou à festa” e “Não me chamo Fulano” fossem falsas. Como a proposição “Vou à festa” é verdadeira, temos que a composta é verdadeira. Assim, Condicional qp→ Quando duas proposições são conectadas com a palavra “se” antes da primeira e a inserção da palavra “então” entre elas a proposição resultante é composta e é também chamada de implicação. Simbolicamente, qp→ . Em uma proposição condicional, o componente que se encontra entre o “se” e o “então” é chamado de antecedente e o componente que se encontra após a palavra “então” é chamado consequente. Por exemplo, na proposição “Se vou à praia, então tomo banho de mar”, “vou à praia” é o antecedente e “tomo banho de mar” é o consequente. O condicional qp→ é falso somente quando p é verdadeira e q é falsa; caso contrário, qp→ é verdadeiro. Coloquemos um exemplo para resumi-lo. Se Guilherme é recifense, então Guilherme é pernambucano. Guilherme é recifense Guilherme é pernambucano 1º caso verdadeira verdadeira 2º caso verdadeira falsa 3º caso falsa verdadeira 4º caso falsa falsa Analisemos cada um deles. 1º caso Æ antecedente e consequente verdadeiros. Aqui, se efetivamente Guilherme for recifense e também for pernambucano, não há dúvida, a proposição condicional é considerada verdadeira. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 10 www.pontodosconcursos.com.br 2º caso Æ antecedente verdadeiro e consequente falso. Nessa situação, temos Guilherme como uma pessoa que nasceu no Recife e não nasceu em Pernambuco. A condicional é considerada falsa. 3º caso Æ antecedente falso e consequente verdadeiro. Guilherme não nasceu no Recife, mas nasceu em Pernambuco. Isso é totalmente permitido, visto que Guilherme poderia ter nascido em Petrolina, por exemplo. A proposição condicional é verdadeira. 4º casoÆ antecedente e consequente falsos. Guilherme não nasceu no Recife nem em Pernambuco. Situação totalmente aceitável, visto que Guilherme poderia ter nascido em qualquer outro lugar do mundo. ↔Bicondicional p q Conectando duas proposições p, q através do conectivo bicondicional, obtemos uma nova proposição p q↔ , que se lê “p se e somente se q”. O bicondicional equipara-se à conjunção de dois condicionais qp→ e q p→ . Por exemplo, a proposição composta “Hoje é Natal se, e somente se hoje é 25 de dezembro” significa que “Se hoje é Natal, então hoje é 25 de dezembro” e “Se hoje é 25 de dezembro, então hoje é Natal”.O bicondicional p q↔ é verdadeiro quando p e q são ambos verdadeiros ou ambos falsos, e falso, quando p e q têm valores lógicos diferentes. No nosso exemplo acima, Podemos resumir tudo o que foi dito com a seguinte tabela-verdade. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 11 www.pontodosconcursos.com.br Ou ainda, para facilitar o processo mnemônico, podemos memorizar as regras que tornam as compostas verdadeiras. Conjunção qp ∧ As duas proposições p, q devem ser verdadeiras Disjunção qp ∨ Ao menos uma das proposições p, q deve ser verdadeira. Não pode ocorrer o caso de as duas serem falsas. Condicional qp→ Não pode acontecer o caso de o antecedente ser verdadeiro e o consequente ser falso. Ou seja, não pode acontecer V(p)=V e V(q)=F. Em uma linguagem informal, dizemos que não pode acontecer VF, nesta ordem. Bicondicional p q ↔ Os valores lógicos das duas proposições devem ser iguais. Ou as duas são verdadeiras, ou as duas são falsas. Falei anteriormente que para resolver questões envolvendo proposições deveríamos saber: i) A regra que rege cada um dos conectivos lógicos. ii) Argumentar. Deixe-me resolver algumas questões sobre os conectivos e em seguida ensinarei e resolverei questões sobre argumentos. (TCU/2004/Cespe) Considere que as letras P, Q e R representam proposições, e os símbolos ¬ , ∧ e Æ são operadores lógicos que constroem novas proposições e significam “não”, “e” e “então”, respectivamente. Na lógica proposicional que trata da expressão do raciocínio por meio de proposições que são avaliadas (valoradas) como verdadeiras (V) ou falsas (F), mas nunca p q qp ∧ qp ∨ qp→ p q↔ V V V V V V V F F V F F F V F V V F F F F F V V MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 12 www.pontodosconcursos.com.br ambos, esses operadores estão definidos, para cada valoração atribuída às letras proposicionais, na tabela abaixo: P Q ¬P P ∧ Q P Æ Q V V F V V V F F F F F V V F V F F V F V Suponha que P representa a proposição Hoje choveu, Q represente a proposição José foi à praia e R represente a proposição Maria foi ao comércio. Com base nessas informações e no texto, julgue os itens a seguir: 05. A sentença “Hoje não choveu então Maria não foi ao comércio e José não foi à praia” pode ser corretamente representada por ¬P Æ (¬R ∧ ¬Q) 06. A sentença “Hoje choveu e José não foi à praia” pode ser corretamente representada por P ∧ ¬Q 07. Se a proposição “Hoje não choveu” for valorada como F e a proposição José foi à praia for valorada como V, então a sentença representada por ¬P Æ Q é falsa. 08. O número de valorações possíveis para (Q ∧ ¬R) Æ P é inferior a 9. Resolução 05. A proposição “Hoje não choveu” é a negação da proposição P e deve ser representada por ¬P. A sentença “Maria não foi ao comércio” é a negação de R e, portanto, é representada por ¬R. Analogamente, a proposição “José não foi à praia” é representada por ¬Q. Concluímos que a composta “Hoje não choveu então Maria não foi ao comércio e José não foi à praia” é representada por ¬P Æ (¬R ∧ ¬Q) e o item está certo. 06. Usando o raciocínio do item 1, temos que o item 05 também é certo. 07. P: Hoje choveu. ¬P: Hoje não choveu. Q: José foi a praia. O antecedente (¬P) da condicional ¬P Æ Q foi valorado como F. Sabemos que quando o antecedente de uma condicional é falso, a composta condicional é verdadeira. Segue-se que o item está errado. Vale a pena lembrar que uma composta condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso, em qualquer outro caso, a condicional é verdadeira. 08. Vale a pena lembrar que o número de linhas de uma tabela-verdade (valorações) composta de n proposições simples é igual a 2n. Como n=3, temos que o número de valorações possíveis para a proposição composta (Q ∧ ¬R) Æ P é igual a 23=8. O item está certo. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 13 www.pontodosconcursos.com.br 09. (Gestor Fazendário-MG/2005/Esaf) Considere a afirmação P: P: “A ou B” Onde A e B, por sua vez, são as seguintes afirmações: A: “Carlos é dentista”. B: “Se Enio é economista, então Juca é arquiteto”. Ora, sabe-se que a afirmação P é falsa. Logo: a) Carlos não é dentista; Enio não é economista; Juca não é arquiteto. b) Carlos não é dentista; Enio é economista; Juca não é arquiteto. c) Carlos não é dentista; Enio é economista; Juca é arquiteto. d) Carlos é dentista; Enio não é economista; Juca não é arquiteto. e) Carlos é dentista; Enio é economista; Juca não é arquiteto. Resolução A proposição P é a disjunção das proposições A, B (conectivo ou). O texto nos informou que P é falsa, e sabemos que a disjunção A ou B só é falsa quando ambas, A e B são falsas. A proposição A é falsa e daí concluímos que Carlos não é dentista. A condicional B é falsa. Uma proposição condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso; donde Enio é economista (antecedente verdadeiro) e Juca não é arquiteto (consequente falso). Lembre-se sempre: uma proposição composta pelo conectivo “se...,então...” só é falsa quando ocorre VF. E como o enunciado nos disse que B é falsa, então ocorreu VF. B: “Se Enio é economista, então Juca é arquiteto”. O antecedente é verdadeiro, logo Enio é economista. O consequente é falso, logo Juca não é arquiteto. Letra B 10. (TRF-1ª Região/2006/FCC) Se todos os nossos atos têm causa, então não há atos livres. Se não há atos livres, então todos os nossos atos têm causa. Logo: a) alguns atos não têm causa se não há atos livres. b) todos os nossos atos têm causa se e somente se há atos livres. c) todos os nossos atos têm causa se e somente se não há atos livres. d) todos os nossos atos não têm causa se e somente se não há atos livres. e) alguns atos são livres se e somente se todos os nossos atos têm causa. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 14 www.pontodosconcursos.com.br Resolução Vimos que o bicondicional qp ↔ (se e somente se) equipara-se à conjunção de dois condicionais qp → e q p→ . Letra C 11. (ALESP 2010/FCC) Paloma fez as seguintes declarações: − “Sou inteligente e não trabalho.” − “Se não tiro férias, então trabalho.” Supondo que as duas declarações sejam verdadeiras, é FALSO concluir que Paloma (A) é inteligente. (B) tira férias. (C) trabalha. (D) não trabalha e tira férias. (E) trabalha ou é inteligente. Resolução O enunciado já informou que as duas proposições são verdadeiras. “Sou inteligente e não trabalho.” Esta é uma proposição composta pelo conectivo “e”. Lembra quando uma frase composta pelo “e” é verdadeira? Quando as duas proposições componentes são verdadeiras. Desta maneira, concluímos que “Sou inteligente” é verdade e “Não trabalho” também é verdade. Se “não trabalho” é verdade, então “trabalho” é falso. Letra C Vamos analisar a segunda proposição. “Se não tiro férias, então trabalho.” Já sabemos que a proposição “não trabalho” é verdade. Portanto, a sua negação é falsa. “Se não tiro férias, então trabalho.” F MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 15 www.pontodosconcursos.com.br Ora, para que uma proposição composta pelo conectivo “se..., então...” seja verdadeira, não pode acontecer de o antecedente ser verdadeiro e o consequente ser falso. Em suma, não pode acontecer VF nesta ordem. Como o consequente é falso, o antecedente não pode ser verdadeiro, portanto deve ser falso. Conclui-se que a proposição “não tiro férias” é falsa. Isto quer dizer que “tiro férias” é verdade. 12. (Petrobras/2007/Cespe) Julgue o item que se segue. Considere as proposições abaixo: p: 4 é um número par; q: A Petrobras é a maior exportadora de café do Brasil.Nesse caso, é possível concluir que a proposição p ∨ q é verdadeira. Resolução Temos que a proposição p é verdadeira, enquanto que a proposição q é falsa. A disjunção p ∨ q só é falsa se ambas p, q são falsas. Se ao menos uma delas for verdadeira, a composta também será verdadeira. Portanto, a proposição p ∨ q é verdadeira e o item está certo. 13. (SADPE/2008/FGV) Considere as situações abaixo: I. Em uma estrada com duas pistas, vê-se a placa: Como você está dirigindo um automóvel, você conclui que deve trafegar pela pista da esquerda. II. Você mora no Recife e telefona para sua mãe em Brasília. Entre outras coisas, você diz que “Se domingo próximo fizer sol, eu irei à praia”. No final do domingo, sua mãe viu pela televisão que choveu no Recife todo o dia. Então, ela concluiu que você não foi à praia. III. Imagine o seguinte diálogo entre dois políticos que discutem calorosamente certo assunto: - A: Aqui na Câmara tá cheio de ladrão. p q p ∨ q V F V “Se não tiro férias, então trabalho.” FF MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 16 www.pontodosconcursos.com.br - B: Ocorre que eu não sou ladrão. - A: Você é safado, tá me chamando de ladrão. Em cada situação há, no final, uma conclusão. Examinando a lógica na argumentação: a) são verdadeiras as conclusões das situações I e II, apenas. b) são verdadeiras as conclusões das situações II e III, apenas. c) são verdadeiras as conclusões das situações I e III, apenas. d) as três conclusões são verdadeiras. e) as três conclusões são falsas. Resolução I. Caminhões Æ Pista da Direita F Vimos anteriormente que “se não ocorre p a condicional qp→ é verdadeira qualquer que seja o valor verdade de q.” Ou seja, se o antecedente for falso, nada podemos concluir a respeito do consequente. A condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso (não pode acontecer VF). Portanto, se você está dirigindo um automóvel, poderás dirigir na pista da direita ou da esquerda. O item é FALSO. Da mesma forma, se houver um veículo na pista da direita (o consequente é verdadeiro), não podemos concluir que o veículo é um caminhão. II. Domingo próximo fizer sol Æ eu irei à praia. F A situação é idêntica ao item anterior. Se o antecedente é falso, nada podemos concluir sobre o consequente. O item é FALSO. Destacamos novamente que se o consequente for verdadeiro, nada pode afirmar sobre o antecedente, ou seja, se o indivíduo foi à praia, não podemos concluir se no domingo fez sol ou não. III. O terceiro item obviamente é FALSO, pois nem o político A chamou o político B de ladrão, nem o político B chamou o político A de ladrão. O político A apenas afirmou que “na Câmara tá cheio de ladrão” e o político B afirmou que ele próprio não era um dos ladrões. Letra E Vamos aplicar esses conhecimentos sobre conectivos e proposições em questões envolvendo argumentos. E o que é um argumento? MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 17 www.pontodosconcursos.com.br “A expressão concreta do raciocínio lógico é o argumento. Um argumento se sustenta ou cai à medida que o raciocínio que incorpora é bom ou ruim. Cada argumento é composto de dois elementos básicos, dois diferentes tipos de proposições: uma proposição ‘premissa’ e uma proposição ‘conclusão’. Uma premissa é uma proposição que sustenta. É o ponto inicial de um argumento que contém a verdade conhecida, da qual parte o processo inferencial. Uma conclusão é uma proposição sustentada, a proposição aceita como verdade na base da premissa.” (D.Q. McInerny) Argumento é toda afirmação de que uma sequência finita de proposições, chamadas premissas, nPPPP ,...,,, 321 tem como consequência uma proposição final Q, chamada conclusão do argumento. Diz-se que um argumento é válido se e somente se a conclusão for verdadeira, todas as vezes que as premissas forem verdadeiras. Desse modo, a verdade das premissas é incompatível com a falsidade da conclusão. A validade de um argumento depende tão somente da relação existente entre as premissas e a conclusão. Um argumento não válido é chamado de sofisma ou falácia. Um argumento composto de duas premissas e uma conclusão é chamado de silogismo. Vejamos um exemplo para sedimentar a teoria. Jair está machucado ou não quer jogar. Mas Jair quer jogar, logo: a) Jair não está machucado nem quer jogar. b) Jair não quer jogar nem quer jogar. c) Jair não está machucado e quer jogar. d) Jair está machucado e não quer jogar. e) Jair está machucado e quer jogar. O enunciado nada fala sobre a verdade das proposições expostas. Perguntamo-nos: Quem é Jair? Quem está nos falando que Jair está machucado? Isto é verdade? Como podemos inferir uma conclusão se não tenho certeza sobre o valor lógico das premissas? Em suma, como testar a validade de um argumento? Existe um teste semântico, isto é, um teste que se baseia nos valores de verdade das suas premissas e conclusão. Um argumento é válido se, e só se, não for possível ter conclusão falsa e premissas verdadeiras. Portanto, para termos um argumento válido devemos supor que as premissas são verdadeiras. Se (e este é um grande se) as premissas forem verdadeiras, então a conclusão também será. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 18 www.pontodosconcursos.com.br Ora, se admitimos a proposição “Jair quer jogar” como verdadeira, devemos assumir a proposição “Jair não quer jogar” como falsa. Temos então o seguinte esquema: Perguntamo-nos: Quando é que uma disjunção (proposição composta pelo conectivo “ou”) qp ∨ é verdadeira? Se ao menos uma das proposições p ou q é verdadeira; qp ∨ é falsa se e somente se ambas p e q são falsas. No nosso caso, temos uma disjunção que é verdadeira, e uma das proposições que a compõe é falsa. Concluímos que a outra proposição “Jair está machucado” é verdadeira. Letra E Jair está machucado e quer jogar. Temos então o seguinte argumento VÁLIDO. Jair está machucado ou não quer jogar. Mas Jair quer jogar, logo: Jair está machucado e quer jogar. Não estamos afirmando que premissas do enunciado são verdadeiras nem que a conclusão também o seja. Dizemos apenas que, SE as premissas forem verdadeiras, então a conclusão também será verdadeira. Proposições são verdadeiras ou falsas. Argumentos são válidos ou inválidos. A validade de um argumento depende da conexão das premissas com a conclusão, não do valor lógico das premissas que formam o argumento. Então, como determinar a validade de um argumento? Admita que as premissas sejam verdadeiras, mesmo que não sejam. Há a possibilidade de, considerando-se as premissas verdadeiras, a conclusão ser falsa? Se isso pode acontecer (premissas verdadeiras e conclusão falsa) então o argumento é inválido, um sofisma, uma falácia. Se não, então o argumento é válido. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 19 www.pontodosconcursos.com.br Utilizaremos agora as ferramentas que temos a disposição (proposições, conectivos e argumentação) para resolver algumas questões de concursos. 14. (Aneel/2004/Esaf) Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim: a) estudo e fumo. b) não fumo e surfo. c) não velejo e não fumo. d) estudo e não fumo. e) fumo e surfo. O que esta questão está nos pedindo? Que escolhamos uma conclusão adequada para que o argumento seja válido. Devemos então, de acordo com a teoria exposta, assumir que as premissas são verdadeiras. Temos o seguinte esquema: A proposição “Não velejo” é verdadeira. Como a proposição “Velejo” é a sua negação, temos que seu valor lógico é falso. A proposição acima é uma disjunção e, para que seja verdadeira, ao menos uma das proposições que a compõedeve ser verdadeira. Como a proposição “Velejo” é falsa, concluímos que “Não estudo” é verdadeira. “Estudo”, que é a negação de “Não estudo”, é, portanto, falsa. Analogamente, a proposição “Surfo” é verdadeira e a sua negação “Não surfo” é falsa. Da mesma maneira, temos que a proposição “Fumo” é verdadeira. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 20 www.pontodosconcursos.com.br Conclusão: Surfo, não estudo, fumo, não velejo. Letra E Observação: Daqui em diante, por motivos tipográficos, também para evitar uma “poluição visual”, não colocaremos mais as chaves nas proposições compostas que assumiremos como verdadeiras. Estará implícito, levando em consideração a teoria exposta. Simplesmente aplicaremos as regras dos conectivos para que as compostas sejam verdadeiras. Por exemplo: Em resumo, as seguintes regras tornam as proposições compostas verdadeiras. Conjunção qp ∧ As duas proposições p, q devem ser verdadeiras Disjunção qp ∨ Ao menos uma das proposições p, q deve ser verdadeira. Não pode ocorrer o caso de as duas serem falsas. Condicional qp→ Não pode acontecer o caso de o antecedente ser verdadeiro e o consequente ser falso. Ou seja, não pode acontecer V(p)=V e V(q)=F. Em uma linguagem informal, dizemos que não pode acontecer VF, nesta ordem. Bicondicional p q↔ Os valores lógicos das duas proposições devem ser iguais. Ou as duas são verdadeiras, ou as duas são falsas. 15. (CGU/2003-2004/Esaf) Ana é prima de Bia, ou Carlos é filho de Pedro. Se Jorge é irmão de Maria, então Breno não é neto de Beto. Se Carlos é filho de Pedro, então Breno é neto de Beto. Ora, Jorge é irmão de Maria. Logo: a) Carlos é filho de Pedro ou Breno é neto de Beto. b) Breno é neto de Beto e Ana é prima de Bia. c) Ana não é prima de Bia e Carlos é filho de Pedro. d) Jorge é irmão de Maria e Breno é neto de Beto. e) Ana é prima de Bia e Carlos não é filho de Pedro. Resolução MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 21 www.pontodosconcursos.com.br Relembrando o que falamos a respeito de argumentação. Em um argumento válido, é impossível ao assumirmos que as premissas sejam verdadeiras que a conclusão seja falsa. Dessa forma, admitiremos que TODAS as proposições, simples e compostas, são verdadeiras. Para tal, deveremos aplicar as regras de cada um dos conectivos. Assim, supomos que a proposição “Jorge é irmão de Maria” é verdadeira. Ora, uma proposição condicional não pode ter o antecedente verdadeiro e o consequente falso. De fato, na proposição condicional “Se Jorge é irmão de Maria, então Breno não é neto de Beto”, o antecedente é verdadeiro. Para não ocorrer VF, o consequente não pode ser falso, deve ser verdadeiro. Assim, “Breno não é neto de Beto” é verdade. A sua negação é falsa. Novamente, na condicional “Se Carlos é filho de Pedro, então Breno é neto de Beto”, o consequente é falso. Para não ocorrer VF, o antecedente não pode ser verdadeiro, deve ser falso. Consequentemente “Carlos é filho de Pedro” é falso. Para que uma disjunção seja verdadeira, ao menos uma das proposições que a compõe deve ser verdade. Na composta “Ana é prima de Bia ou Carlos é filho de Pedro”, tem-se que “Carlos é filho de Pedro” é falsa. Dessa forma, “Ana é prima de Bia” deve ser verdade. Temos então que Ana é prima de Bia e Carlos não é filho de Pedro. Letra E As questões que seguem apresentam uma peculiaridade em relação às questões anteriormente resolvidas. Até agora, as questões apresentavam uma proposição simples, que servia de passo inicial para a nossa estratégia de argumentação. As próximas questões não apresentam proposições simples. A solução geral é a seguinte: escolha uma proposição qualquer e dê o seu palpite: escolha V ou F. Se o seu palpite der certo, ótimo! Caso contrário, troque-o. Se você escolheu V, troque por F e vice-versa. 16. (CGU/2003-2004/Esaf) Homero não é honesto, ou Júlio é justo. Homero é honesto, ou Júlio é justo, ou Beto é bondoso. Beto é bondoso, ou Júlio não é justo. Beto não é bondoso, ou Homero é honesto. Logo, a) Beto é bondoso, Homero é honesto, Júlio não é justo. b) Beto não é bondoso, Homero é honesto, Júlio não é justo. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 22 www.pontodosconcursos.com.br c) Beto é bondoso, Homero é honesto, Júlio é justo. d) Beto não é bondoso, Homero não é honesto, Júlio não é justo. e) Beto não é bondoso, Homero é honesto, Júlio é justo. Resolução Esta questão não apresenta a proposição simples que usualmente aparece em questões de argumentação. Adotaremos então a estratégia descrita acima. Escolheremos uma proposição qualquer e arbitrariamente daremos um valor lógico a ela. Por exemplo, escolheremos a primeira “Homero não é honesto” e diremos que ela é verdadeira. Não há razão específica para termos feito essa escolha. Como estamos assumindo que “Homero não é honesto” é uma proposição verdadeira, a sua negação “Homero é honesto” é falsa. Para que a disjunção “Beto não é bondoso,ou Homero é honesto” seja verdadeira, a proposição “Beto não é bondoso” deve ser verdadeira e, consequentemente, a sua negação “Beto é bondoso” é falsa. Analogamente, “Júlio não é justo” é verdade, e sua negação “Júlio é justo” é falsa. Dessa forma, “Homero é honesto, ou Júlio é justo, ou Beto é bondoso” é uma proposição composta falsa, pois é uma disjunção em que todas as proposições que a compõem são falsas. Ora, mas, para testarmos a validade de um argumento, temos que ter TODAS as premissas verdadeiras. Temos então que trocar a nossa escolha inicial. Admitiremos então que a proposição “Homero não é honesto” seja falsa. Construiremos então o seguinte esquema: Letra C MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 23 www.pontodosconcursos.com.br 17. (Técnico/MPU/Administrativa/2004/Esaf) Ricardo, Rogério e Renato são irmãos. Um deles é médico, outro é professor e o outro é músico. Sabe-se que: 1) ou Ricardo é médico, ou Renato é médico;, 2) ou Ricardo é professor, ou Rogério é músico; 3) ou Renato é músico, ou Rogério é músico; 4) ou Rogério é professor, ou Renato é professor. Portanto, as profissões de Ricardo, Rogério e Renato são respectivamente: a) professor, médico, músico. b) médico, professor, músico. c) professor, músico, médico. d) músico, médico, professor. e) médico, músico, professor. Resolução Utilizando a mesma estratégia da questão anterior, escolhemos uma proposição qualquer e arbitrariamente damos um valor lógico a ela. Escolhemos (ao acaso) a proposição “Ricardo é médico” e diremos que ela é verdadeira. Como cada um deles possui uma única profissão, a proposição “Ricardo é professor” é falsa. Assim, para que a disjunção seja verdadeira, “Rogério é músico” tem que ser uma proposição verdadeira (uma disjunção é verdadeira quando pelo menos uma das proposições que a compõe é verdadeira). Sendo “Rogério é músico” uma verdade, “Rogério é professor” é falsa. Portanto, “Renato é professor” é verdade. Não tivemos proposições compostas falsas, nenhuma contradição. O nosso palpite foi correto, por acaso. Letra E 18. (Ipea 2004/FCC) Quando não vejo Lúcia, não passeio ou fico deprimido. Quando chove, não passeio e fico deprimido. Quando não faz calor e passeio, não vejo Lúcia. Quando não chove e estou deprimido, não passeio. Hoje, passeio. Portanto, hoje: a) vejo , e não estou deprimido e não chove, e faz calor. b) não vejo , e estou deprimido, e chove, e faz calor. c) não vejo , e estou deprimido, e não chove, e não faz calor. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 24 www.pontodosconcursos.com.br d) vejo , e não estou deprimido, e chove, e faz calor. e) vejo , e estou deprimido, e não chove, e faz calor. Resolução “Passeio” é verdade; “não passeio” é falso. Preenchemos as chaves do esquemaacima onde aparecem essas proposições. Olhemos para a quarta premissa: o consequente é falso, e, assim, o antecedente também o é. Observe que o consequente da segunda premissa é uma conjunção e uma das proposições que compõe essa conjunção (não passeio) é falsa. Ora, sabemos que uma conjunção só é verdadeira quando ambas as proposições simples componentes são verdadeiras. Como esse fato não ocorre, a conjunção “não passeio e fico deprimido” é falsa. Consequentemente o antecedente “chove” é falso e a sua negação “não chove” é verdade. Coloquemos nossa atenção agora na quarta premissa. O consequente “não passeio” é falso e assim temos que o antecedente (que é a conjunção “Não chove e estou deprimido”) também é falso.Temos então uma conjunção falsa em que uma das proposições que a constitui (“não chove”) é verdadeira. Para que a conjunção seja falsa, a outra componente “estou deprimido” deve ser falsa. Vamos para a primeira premissa. O consequente da condicional “Quando não vejo Lúcia, não passeio ou fico deprimido” é uma disjunção que é falsa, pois ambas as proposições componentes (“não passeio”, “fico deprimido”) são falsas. Dessa forma, o antecedente “não vejo Lúcia” deve ser falsa (para que a proposição condicional seja verdadeira não deve ocorrer VF). Finalmente indo para a terceira premissa, o consequente “não vejo Lúcia” é falso, logo o antecedente “Não faz calor e passeio” também é falso. Temos então uma conjunção falsa e uma das proposições que a constitui (“passeio”) é verdadeira. A outra, “não faz calor” deve então ser falsa e, consequentemente, a sua negação “faz calor” é verdadeira. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 25 www.pontodosconcursos.com.br Letra A 19. (AFRE-MG/2005/Esaf) O reino está sendo atormentado por um terrível dragão. O mago diz ao rei: “O dragão desaparecerá amanhã se e somente se Aladim beijou a princesa ontem”. O rei, tentando compreender melhor as palavras do mago, faz as seguintes perguntas ao lógico da corte: 1) Se a afirmação do mago é falsa e se o dragão desaparecer amanhã, posso concluir corretamente que Aladim beijou a princesa ontem? 2) Se a afirmação do mago é verdadeira e se o dragão desaparecer amanhã, posso concluir corretamente que Aladim beijou a princesa ontem? 3) Se a afirmação do mago é falsa e se Aladim não beijou a princesa ontem, posso concluir corretamente que o dragão desaparecerá amanhã? O lógico da corte, então, diz acertadamente que as respostas logicamente corretas para as três perguntas são respectivamente: a) não, sim, não. b) não, não, sim. c) sim, sim, sim. d) não, sim, sim. e) sim, não, sim. Resolução O dragão desaparecerá amanhã↔Aladim beijou a princesa ontem. Na primeira pergunta, o rei supõe que a afirmação do mago é falsa. Uma proposição bicondicional só é falsa quando os valores lógicos das proposições componentes são diferentes. Como ele também supõe que o dragão desaparecerá amanhã, conclui-se que Aladim não beijou a princesa ontem. Portanto, a resposta para a primeira pergunta é não. Na segunda pergunta, o rei supõe que a afirmação do mago é verdadeira. Ora, uma proposição bicondicional só é verdadeira quando os valores lógicos das duas proposições são iguais. Ou as duas são verdadeiras, ou as duas são falsas. O rei supõe também que o dragão desaparecerá amanhã. Portanto, Aladim beijou a princesa ontem e a reposta para a segunda pergunta é sim. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 26 www.pontodosconcursos.com.br Na terceira pergunta, a suposição do rei é que a afirmação do mago é falsa (os valores lógicos das proposições componentes da bicondicional devem ser diferentes) e que Aladim não beijou a princesa ontem. Portanto, o dragão desaparecerá amanhã e a resposta para a terceira pergunta é sim. Letra D Condição suficiente e condição necessária Diz-se que p é condição suficiente de (ou para) q sempre que p q→ . Em outras palavras, uma condição suficiente aparece como antecedente de uma proposição condicional. Usando a mesma expressão, q se diz condição necessária de (ou para) p. Em outras palavras, uma condição necessária aparece como consequente de uma condicional. Por exemplo, a proposição “Se João é pernambucano, então João é brasileiro” pode ser lida das seguintes maneiras: João ser pernambucano é condição suficiente para João ser brasileiro. João ser brasileiro é condição necessária para João ser pernambucano. Diz-se que p é condição necessária e suficiente de (ou para) q, ou que q é condição necessária e suficiente de (ou para) p sempre que p q↔ . Por exemplo, a proposição “Uma pessoa é recifense se, e somente se, nasceu no Recife” pode ser lida das seguintes maneiras: Ser recifense é condição necessária e suficiente para ter nascido no Recife. Ter nascido no Recife é condição necessária e suficiente para ser recifense. Em resumo: p q → p é condição suficiente para q q é condição necessária para p p q↔ p é condição necessária e suficiente para q q é condição necessária e suficiente para p MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 27 www.pontodosconcursos.com.br 20. (MEC/2008/FGV) Com relação à naturalidade dos cidadãos brasileiros, assinale a alternativa logicamente correta: a) Ser brasileiro é condição necessária e suficiente para ser paulista. b) Ser brasileiro é condição suficiente, mas não necessária para ser paranaense. c) Ser carioca é condição necessária e suficiente para ser brasileiro. d) Ser baiano é condição suficiente, mas não necessária para ser brasileiro. e) Ser maranhense é condição necessária, mas não suficiente para ser brasileiro. Resolução a) Brasileiro ↔ paulista. Falso, pois pode ocorrer o caso de uma pessoa ser brasileira e não ser paulista. Contradição, pois os valores lógicos das proposições componentes de uma bicondicional devem ser iguais. Uma proposição bicondicional equipara-se a dois condicionais: Se uma pessoa é brasileira, então ela é paulista e, se uma pessoa é paulista, então ela é brasileira. b) Brasileiro →paranaense. Falso, pois pode ocorrer o caso de uma pessoa ser brasileira e não ser paranaense. Como vimos, não pode ocorrer VF em uma condicional. c) Carioca ↔ brasileiro. Falso, pela mesma razão da alternativa A. d) Baiano → brasileiro. Verdadeiro, pois é impossível que uma pessoa seja baiana e não seja brasileira. Neste caso é impossível ocorrer VF. É impossível que o antecedente seja verdadeiro e o consequente falso. e) Brasileiro →maranhense. Falso, pela mesma razão da alternativa B. Letra D 21. (Bacen/2006/FCC) Sejam as proposições: p: atuação compradora de dólares por parte do Banco Central. q: fazer frente ao fluxo positivo. Se p implica q, então: a) Fazer frente ao fluxo positivo é condição necessária e suficiente para a atuação compradora de dólares por parte do Banco Central. b) A atuação compradora de dólares por parte do Banco Central não é condição suficiente e nem necessária para fazer frente ao fluxo positivo. c) A atuação compradora de dólares por parte do Banco Central é condição necessária para fazer frente ao fluxo positivo. d) Fazer frente ao fluxo positivo é condição suficiente para a atuação compradora de dólares por parte do Banco Central. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 28 www.pontodosconcursos.com.br e) A atuação compradora de dólares por parte do Banco Central é condição suficiente para fazer frente ao fluxo positivo. Resolução Dizer que p implica q, significa dizer que Se p, então q. Ou seja, temos uma proposição do tipo ՜ ݍ. Sabemos que: p é condição suficiente para q. q é condição necessária para p. Portanto: A atuação compradora de dólares por parte do Banco Central é condição suficiente para fazer frente ao fluxo positivo. Fazer frenteao fluxo positivo é condição necessária para A atuação compradora de dólares por parte do Banco Central. Letra E Equivalências lógicas Duas proposições são logicamente equivalentes se e somente se p q↔ é uma tautologia. E o que é tautologia? É uma proposição que é sempre verdadeira, independentemente dos valores lógicos das proposições componentes. Numa linguagem coloquial, podemos dizer que duas proposições são equivalentes quando dizem “a mesma coisa, de formas diferentes”. Quando p é equivalente a q escrevemos p q⇔ . Voltemos ao conceito de equivalência. Dissemos que Duas proposições são logicamente equivalentes se e somente se p q↔ é uma tautologia. E tautologia é a proposição que é sempre verdadeira. E quando é que uma proposição bicondicional (se e somente se) é sempre verdadeira? Quando os valores de p e q são sempre iguais: ou ambas são verdadeiras, ou ambas são falsas. Vamos mostrar, por exemplo, que a proposição p q↔ equivalente a ( ) ( )p q q p→ ∧ → . Ou seja, que [ ]( ) ( ) ( )p q p q q p↔ ⇔ → ∧ → . Construímos a tabela-verdade e verificamos se os valores lógicos das duas proposições são sempre iguais. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 29 www.pontodosconcursos.com.br p q p q → q p → ( ) ( )p q q p→ ∧ → p q↔ V V V V V V V F F V F F F V V F F F F F V V V V Assim, acabamos de mostrar que uma proposição bicondicional equivale à conjunção de dois condicionais. Há algumas equivalências notáveis que são muito cobradas em concursos. Vamos enunciar as equivalências, demonstrá-las e aplicá-las. Teorema: As proposições p q → , ~ ~q p → e ~ p q∨ são logicamente equivalentes. Demonstração: p q ~ q ~ p p q → ~ ~q p → ~ p q ∨ V V F F V V V V F V F F F F F V F V V V V F F V V V V V Como os valores lógicos das três proposições são iguais, elas são ditas logicamente equivalentes. Em uma linguagem informal, poderíamos construir o seguinte algoritmo para construir essas proposições equivalentes notáveis, dada a proposição condicional p q→ . ~ ~q p → Negue o antecedente e o consequente, troque a ordem e mantenha o conectivo “se...,então” ~ p q ∨ Negue apenas o antecedente e troque o conectivo por “ou”. Por exemplo, dada a proposição “Se bebo, então não dirijo”, temos que as seguintes proposições são equivalentes a ela: i) Se dirijo, então não bebo. ii) Não bebo ou não dirijo. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 30 www.pontodosconcursos.com.br 22. (Agente Penitenciário SJDH-BA 2010/FCC) Uma afirmação equivalente à afirmação “Se bebo, então não dirijo” é (A) Se não bebo, então não dirijo. (B) Se não dirijo, então não bebo. (C) Se não dirijo, então bebo. (D) Se não bebo, então dirijo. (E) Se dirijo, então não bebo. Resolução Como foi dito anteriormente, há duas proposições equivalentes (notáveis): i) Se dirijo, então não bebo. ii) Não bebo ou não dirijo. Letra E 23. (Polícia Civil 2007/Ipad) A sentença “Penso, logo existo” é logicamente equivalente a: a) Penso e existo. b) Nem penso, nem existo. c) Não penso ou existo. d) Penso ou não existo. e) Existo, logo penso Resolução Dada a proposição “penso Æ existo”, temos, trivialmente, duas proposições equivalentes a ela: i) Se não existo, então não penso. (Nega o antecedente e o consequente, troca a ordem e mantém o conectivo.) ii) Não penso ou existo. (Nega o antecedente e troca o conectivo por “ou”). Letra C 24. (MPOG/2006/Esaf) Dizer que “André é artista ou Bernardo não é engenheiro” é logicamente equivalente a dizer que: a) André é artista se e somente se Bernardo não é engenheiro. b) Se André é artista, então Bernardo não é engenheiro. c) Se André não é artista, então Bernardo é engenheiro. d) Se Bernardo é engenheiro, então André é artista. e) André não é artista e Bernardo é engenheiro. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 31 www.pontodosconcursos.com.br Resolução Dada uma proposição p q→ podemos construir uma proposição logicamente equivalente negando o antecedente e trocando o conectivo por “ou” obtendo a proposição ~ p q∨ . Podemos seguir o caminho contrário; dada uma proposição com o conectivo “ou”, construímos uma equivalente negando a primeira proposição e trocando o conectivo por “se..., então”. Assim, a proposição “André é artista ou Bernardo não é engenheiro” é equivalente a “Se André não é artista, então Bernardo não é engenheiro”, que, por sua vez, é equivalente a “Se Bernardo é engenheiro, então André é artista”. Letra D 25. (Aneel/2006/Esaf) Se Elaine não ensaia, Elisa não estuda. Logo: a) Elaine ensaiar é condição necessária para Elisa não estudar. b) Elaine ensaiar é condição suficiente para Elisa estudar. c) Elaine não ensaiar é condição necessária para Elisa não estudar. d) Elaine não ensaiar é condição suficiente para Elisa estudar. e) Elaine ensaiar é condição necessária para Elisa estudar. Resolução Temos que: i) Elaine não ensaiar é condição suficiente para Elisa não estudar. ii) Elisa não estudar é condição necessária para Elaine não ensaiar. Como não há alternativas com essas proposições, procederemos da seguinte maneira. Construiremos uma proposição equivalente à proposição dada e em seguida escreveremos na linguagem de condição suficiente e condição necessária. A proposição “Se Elaine não ensaia, Elisa não estuda” é equivalente a “Se Elisa estuda, então Elaine ensaia”. Temos que: i) Elisa estudar é condição suficiente para Elaine ensaiar. ii) Elaine ensaiar é condição necessária para Elisa estudar. Letra E 26. (TCE/MG/2007/FCC) São dadas as seguintes proposições: (1) Se Jaime trabalha no Tribunal de Contas, então ele é eficiente. (2) Se Jaime não trabalha no Tribunal de Contas, então ele não é eficiente. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 32 www.pontodosconcursos.com.br (3) Não é verdade que, Jaime trabalha no Tribunal de Contas e não é eficiente. (4) Jaime é eficiente ou não trabalha no Tribunal de Contas. É correto afirmar que são logicamente equivalentes apenas as proposições de números a) 2 e 4 b) 2 e 3 c) 2, 3 e 4 d) 1, 2 e 3 e) 1, 3 e 4 Resolução Chamando de p : “Jaime trabalha no Tribunal de Contas” e de q : “Jaime é eficiente”, as proposições (1), (2), (3) e (4) podem, simbolicamente, ser reescritas das seguintes maneiras: (1) p q→ (2) ~ ~p q → (3) ~ ( ~ )p q∧ (4) ~q p ∨ Vamos então construir a tabela-verdade e verificar quais são equivalentes. p q ~ p ~ q ~p q ∧ (1): p q → (2):~ ~p q → (3):~ ( ~ )p q∧ (4): ~q p ∨ V V F F F V V V V V F F V V F V F F F V V F F V F V V F F V V F V V V V Observe que as proposições (1), (3) e (4) possuem as mesmas valorações e, portanto, são equivalentes. Letra E 27. (Administrador DNOCS 2010/FCC) Considere a seguinte proposição: “Se uma pessoa não faz cursos de aperfeiçoamento na sua área de trabalho, então ela não melhora o seu desempenho profissional.” Uma proposição logicamente equivalente à proposição dada é: (A) É falso que, uma pessoa não melhora o seu desempenho profissional ou faz cursos de aperfeiçoamento na sua área de trabalho. (B) Não é verdade que, uma pessoa não faz cursos de aperfeiçoamento profissional e não melhora o seu desempenho profissional. (C) Se uma pessoa não melhora seu desempenho profissional, então ela não faz cursos de aperfeiçoamento na sua área de trabalho. (D) Uma pessoa melhora o seu desempenho profissional ou não faz cursos de aperfeiçoamento na sua área de trabalho. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 33 www.pontodosconcursos.com.br (E) Uma pessoa não melhora seu desempenho profissional ou faz cursos de aperfeiçoamento na sua área de trabalho. ResoluçãoTemos, trivialmente, duas proposições equivalentes a ela: i) Se a pessoa melhora o seu desempenho profissional, então ela faz cursos de aperfeiçoamento na sua área de trabalho. (Nega o antecedente e o consequente, troca a ordem e mantém o conectivo.) ii) Uma pessoa faz cursos de aperfeiçoamentos na sua área de trabalho ou ela não melhora o seu desempenho profissional. (Nega o antecedente e troca o conectivo por “ou”). O que a FCC fez foi trocar a ordem das proposições no caso ii. Isto é perfeitamente permitido, já que a o conectivo “ou” permite a troca da ordem das frases sem alterar o seu sentido. Letra E Negação das Proposições Usuais Dada uma proposição p qualquer, uma outra proposição, chamada negação de p, pode ser formada escrevendo-se “É falso que ...” antes de p ou, se possível, inserindo a palavra “não”. Simbolicamente, a negação de p é designada por p~ ou p¬ . Para que p~ seja uma proposição, devemos ser capazes de classificá-la em verdadeira (V) ou falsa (F). Para isso vamos postular (decretar) o seguinte critério de classificação: A proposição p~ tem sempre o valor lógico oposto de p , isto é, p~ é verdadeira quando p é falsa e p~ é falsa quando p é verdadeira. Exemplo: p : Paris está na França. p~ : É falso que Paris está na França. p p~ V F F V MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 34 www.pontodosconcursos.com.br p~ : Paris não está na França. p ~ : Não é verdade que Paris está na França. Para evitar dúvidas, enunciaremos as “fórmulas” de negação das proposições compostas e, em seguida, aplicaremos nas diversas questões de concurso. Negação das proposições usuais Afirmação Negação p ~ p p q∧ ~ ~p q ∨ p q ∨ ~ ~p q∧ p q → ~p q∧ p q↔ ( ~ ) ( ~ )p q q p∧ ∨ ∧ ՞ ~ݍ ~ ՞ ݍ p v q Como você pode observar, existem várias maneiras de negar uma proposição composta pelo “se e somente se”. Sinceramente, não acho que você deva perder tempo com essa negação. Poderíamos montar esta tabela em uma linguagem informal para um melhor entendimento do leitor iniciante. Afirmação Negação p q ∧ Negue as duas proposições e troque o conectivo “e” pelo conectivo “ou” p q ∨ Negue as duas proposições e troque o conectivo “ou” pelo conectivo “e” p q → Afirme o antecedente, troque o conectivo condicional pelo conectivo “e” e negue o consequente. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 35 www.pontodosconcursos.com.br As fórmulas de negação do conectivo “e” e do conectivo “ou” são comumente denominadas “Leis de De Morgan”. Vejamos alguns exemplos. Exemplo 1: Conjunção qpqp ~~)(~ ∨⇔∧ Afirmação: Vou ao cinema e vou ao teatro. Negação: Não vou ao cinema ou não vou ao teatro. Exemplo 2: Disjunção qpqp ~~)(~ ∧⇔∨ Afirmação: Eu te ensino Lógica ou meu nome não é Guilherme. Negação: Não te ensino Lógica e meu nome é Guilherme. Exemplo 3: Condicional ~ ( ) ~p q p q→ ⇔ ∧ Afirmação: Se for beber, então não dirija. Negação: Bebo e dirijo. Sentenças abertas, quantificadores Observe as seguintes expressões: a)2 6 0x + = b) 3 0x − > Elas contêm variáveis e seus valores lógicos (verdadeira ou falsa) dependem do valor atribuído à variável. a) 2 6 0x + = é verdadeira se trocarmos x por 3− e é falsa para qualquer outro valor atribuído a x b) 3 0x − > é verdadeira, por exemplo, para 8x = e falsa, por exemplo, para 1x = . Expressões que contêm variáveis são chamadas de sentenças abertas ou funções proposicionais. Como já comentamos no início da aula, tais expressões não são proposições, pois seus valores lógicos dependem dos valores atribuídos às variáveis. Entretanto, temos duas maneiras de MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 36 www.pontodosconcursos.com.br transformar funções proposicionais em proposições: atribuir valor às variáveis ou utilizar quantificadores. Quantificadores são palavras ou expressões que indicam que houve quantificação. São exemplos de quantificadores as expressões: existe, algum, todo, cada, pelo menos um, nenhum. Note que os dicionários, de modo geral, não registram “quantificador”. Esse termo, no entanto, é de uso comum na Lógica. Uma proposição é dita categórica quando é caracterizada por um quantificador seguido por uma classe ou de atributos,um elo e outra classe de atributos. Vejamos exemplos de proposições quantificadas. Observe que a proposição universal negativa “Nenhum recifense é pernambucano” equivale a dizer que “Todo recifense não é pernambucano”. Dessa forma, a expressão “nenhum” pode ser substituída pela expressão “todo... não ...”. O quantificador universal é indicado pelo símbolo ∀ , que se lê: “todo”, “qualquer que seja”, “para todo”. O quantificador existencial é indicado pelo símbolo ∃ , que se lê: “algum”, “existe”, “existe pelo menos um”, ”pelo menos um”, “existe um”. Note que uma função proposicional (ou sentença aberta) quantificada é uma proposição. Então, como proposições, podem ser negadas. Negação de proposições quantificadas Em resumo, temos o seguinte quadro para negação de proposições quantificadas. Proposição universal afirmativa Todo recifense é pernambucano. Proposição universal negativa Nenhum recifense é pernambucano. Proposição particular afirmativa Algum recifense é pernambucano. Proposição particular negativa Algum recifense não é pernambucano. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 37 www.pontodosconcursos.com.br Afirmação Negação Particular afirmativa (“algum...”) Universal negativa (“nenhum...” ou “todo... não ...”) Universal negativa (“nenhum...” ou “todo... não...”) Particular afirmativa (“algum...”) Universal afirmativa (“todo...”) Particular negativa (“algum... não”) Particular negativa (“algum... não”) Universal afirmativa (“todo...”) Vejamos alguns exemplos: p : Algum político é honesto. p : Existe político honesto. ~ p : Nenhum político é honesto. ~ p : Todo político não é honesto. q : Nenhum brasileiro é europeu. q : Todo brasileiro não é europeu. ~ q : Algum brasileiro é europeu. ~ q : Existe brasileiro que é europeu. r : Todo concurseiro é persistente. ~ r : Algum concurseiro não é persistente. ~ r : Existe concurseiro que não é persistente. t : Algum recifense não é pernambucano. t : Existe recifense que não é pernambucano. ~ t : Todo recifense é pernambucano. Observação: Como saberemos se uma questão qualquer se refere à negação? De três maneiras: i) A questão explicitamente pede a negação de uma proposição dada. ii) A questão fornece uma proposição verdadeira e pede uma falsa. iii) A questão fornece uma proposição falsa e pede uma verdadeira. 28. (AFC/2002/Esaf) Dizer que não é verdade que Pedro é pobre e Alberto é alto é logicamente equivalente a dizer que é verdade que: a) Pedro não é pobre ou Alberto não é alto. b) Pedro não é pobre e Alberto não é alto. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 38 www.pontodosconcursos.com.br c) Pedro é pobre ou Alberto não é alto. d) se Pedro não é pobre, então Alberto é alto. e) se Pedro não é pobre, então Alberto não é alto. Resolução Comentamos que quando uma questão nos fornece uma proposição falsa e nos pede uma verdadeira, deveremos assinalar a negação da proposição dada. Assim, quando a questão fala que “não é verdade que Pedro é pobre e Alberto é alto”, temos que a proposição “Pedro é pobre e Alberto é alto” é falsa. Para assinalarmos uma proposição verdadeira, deveremos negar a proposição dada. Lembremos: para negar uma proposição composta pelo conectivo “e”, negamos as duas proposições constituintes e trocamos o conectivo “e” pelo conectivo “ou” (Lei deDe Morgan). Dessa forma, a negação de “Pedro é pobre e Alberto é alto” é “Pedro não é pobre ou Alberto não é alto”. Letra A Afirmação Pedro é pobre e Alberto é alto Negação Pedro não é pobre ou Alberto não é alto 29. (Fiscal Trabalho/1998/Esaf) A negação da afirmação condicional "se estiver chovendo, eu levo o guarda-chuva" é: a) se não estiver chovendo, eu levo o guarda-chuva. b) não está chovendo e eu levo o guarda-chuva. c) não está chovendo e eu não levo o guarda-chuva. d) se estiver chovendo, eu não levo o guarda-chuva. e) está chovendo e eu não levo o guarda-chuva. Resolução Para negar uma proposição condicional: afirme o antecedente, troque o conectivo condicional pelo conectivo “e” e negue o consequente. Assim, a negação de “se estiver chovendo, eu levo o guarda-chuva" é “está chovendo e eu não levo o guarda-chuva. Letra E Afirmação Se estiver chovendo então eu levo o guarda-chuva Negação Está chovendo e eu não levo o guarda-chuva 30. (TRT/9ª Região/2004/FCC) A correta negação da proposição "todos os cargos deste concurso são de analista judiciário. é: MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 39 www.pontodosconcursos.com.br a) alguns cargos deste concurso são de analista judiciário. b) existem cargos deste concurso que não são de analista judiciário. c) existem cargos deste concurso que são de analista judiciário. d) nenhum dos cargos deste concurso não é de analista judiciário. e) os cargos deste concurso são ou de analista, ou no judiciário. Resolução A negação de uma proposição universal afirmativa (“todo...”) é a particular negativa (“algum... não”). Lembrando que o quantificador existencial “algum” equivale à expressão “existe”. Dessa forma, a correta negação da proposição dada é “existem cargos deste concurso que não são de analista judiciário”. Para negar uma proposição com a expressão “todo...”, troca-se o quantificador por “algum/existe” e modifica-se o verbo, nega-se o verbo. Letra B Afirmação Todos Os cargos deste concurso são de analista judiciário. Negação Existem Cargos deste concurso que não são de analista judiciário. 31. (TJ/PE/2007/FCC) Considere a afirmação abaixo. Existem funcionários públicos que não são eficientes. Se essa afirmação é FALSA, então é verdade que: a) nenhum funcionário público é eficiente. b) nenhuma pessoa eficiente é funcionário público. c) todo funcionário público é eficiente. d) nem todos os funcionários públicos são eficientes. e) todas as pessoas eficientes são funcionários públicos. Resolução Como vimos, quando o enunciado nos fornece uma proposição falsa e nos pede uma proposição verdadeira, devemos obter a sua negação. Assim, a negação de uma proposição particular negativa (”algum... não”) é a proposição universal afirmativa (todo...). Temos então que a negação de “Existem funcionários públicos que não são eficientes” é “todo funcionário público é eficiente”. Em outras palavras, para negar uma proposição com a expressão “existe/algum”, trocamos o quantificador por “todo” e modificamos o verbo, negamos o verbo. Como a negação de “não ser eficiente” é “ser eficiente”, temos o resultado acima. Letra C Afirmação Existem funcionários públicos que não são eficientes. Negação Todo funcionário público é eficiente. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 40 www.pontodosconcursos.com.br 32. (Bacen) Assinale a frase que contradiz a seguinte sentença: “Nenhum pescador é mentiroso”. a) Algum pescador é mentiroso. b) Nenhum pescador é mentiroso. c) Todo pescador não é mentiroso. d) Algum mentiroso não é pescador. e) Algum pescador não é mentiroso. Resolução A negação de uma proposição universal negativa é a proposição particular afirmativa. Em outras palavras, para negar uma proposição com a expressão “nenhum”, troque o quantificador por “algum” e mantenha o verbo. Assim, a negação de “nenhum pescador é mentiroso” é “algum pescador é mentiroso”. Observe que a proposição “nenhum pescador é mentiroso” equivale a “todo pescador não é mentiroso”; vimos na questão 3 que, para negar uma proposição com a expressão “todo”, trocamos o quantificador por “algum/existe” e modificamos o verbo. Letra A Afirmação Nenhum Pescador é mentiroso. Negação Algum Pescador é mentiroso. Afirmação Todo Pescador não é mentiroso. Negação Algum Pescador é mentiroso. 33. (Agente de Estação – Metro – SP 2010/FCC) Considere as proposições simples: p: Maly é usuária do Metrô e q: Maly gosta de dirigir automóvel A negação da proposição composta p ∧ ~ q é: (A) Maly não é usuária do Metrô ou gosta de dirigir automóvel. (B) Maly não é usuária do Metrô e não gosta de dirigir automóvel. (C) Não é verdade que Maly não é usuária do Metrô e não gosta de dirigir automóvel. (D) Não é verdade que, se Maly não é usuária do Metrô, então ela gosta de dirigir automóvel. (E) Se Maly não é usuária do Metrô, então ela não gosta de dirigir automóvel. Resolução MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 41 www.pontodosconcursos.com.br Lembre-se que o símbolo ר representa o conectivo “e”. Para negar uma proposição composta pelo “e”, negue as duas proposições e troque o conectivo “e” pelo conectivo “ou”. Desta forma, a negação de p ר ~ q é ~ p ש q. ~p : Maly não é usuária do Metrô. q: Maly gosta de dirigir automóvel. ~ p ש q: Maly não é usuária do Metrô ou Maly gosta de dirigir automóvel. Letra A 34. (METRO-SP 2009/FCC)São dadas as seguintes proposições simples: p : Beatriz é morena; q : Beatriz é inteligente; r : Pessoas inteligentes estudam. Se a implicação ሺ ר ~ݎሻ ՜ ~ݍ é FALSA, então é verdade que (A) Beatriz é uma morena inteligente e pessoas inteligentes estudam. (B) Pessoas inteligentes não estudam e Beatriz é uma morena não inteligente. (C) Beatriz é uma morena inteligente e pessoas inteligentes não estudam. (D) Pessoas inteligentes não estudam mas Beatriz é inteligente e não morena. (E) Beatriz não é morena e nem inteligente, mas estuda. Resolução O enunciado fornece uma proposição falsa e pede uma verdadeira. Devemos negar a proposição dada. E como negamos uma proposição composta pelo “se..., então...”? Afirme o antecedente, troque o conectivo condicional pelo conectivo “e” e negue o consequente. Na proposição ሺ ר ~ݎሻ ՜ ~ݍ o antecedente é ሺ ר ~ݎሻ e o consequente é ~ݍ. Afirmamos o antecedente ሺ ר ~ݎሻ. Colocamos o conectivo “e”. ሺ ר ~ݎሻ ר Negamos o consequente ~ݍ. Ora, a negação de ~ݍ é a proposição ݍ. ሺ ר ~ݎሻ ר ݍ : Beatriz é morena; ~ݎ: Pessoas inteligentes não estudam. q: Beatriz é inteligente; ሺ ר ~ݎሻ ר ݍ: Beatriz é morena e pessoas inteligentes não estudam e Beatriz é inteligente. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 42 www.pontodosconcursos.com.br (C) Beatriz é uma morena inteligente e pessoas inteligentes não estudam. Diagramas de EulerVenn O estudo das proposições categóricas pode ser feito utilizando os diagramas de Euler-Venn. É habitual representar um conjunto por uma linha fechada e não entrelaçada. A Relembremos o significado, na linguagem de conjuntos, de cada uma das proposições categóricas. Todo A é B ↔ Todo elemento de A também é elemento de B. Nenhum A é B ↔ A e B são conjuntos disjuntos, ou seja, não possuem elementos comuns. Algum A é B ↔ Os conjuntos A e B possuem pelo menos 1 elemento em comum. Algum A não é B ↔ O conjunto A tem pelo menos 1 elemento que não é elemento de B. Vejamos como representar cada uma das proposições categóricas utilizando os diagramas de Euler-Venn. Todo A é B A proposição categórica “Todo A é B” é equivalente a: A é subconjunto de B. A é parte de B. A está contido em B. B contém A. MATEMÁTICA E RACIOCÍNIOLÓGICO PARA TRF DA 1ª REGIÃO 43 www.pontodosconcursos.com.br B é universo de A. B é superconjunto de A. Se sabemos que a proposição “Todo A é B” é verdadeira, qual será o valor lógico das demais proposições categóricas? “Algum A é B” é necessariamente verdadeira. “Nenhum A é B” é necessariamente falsa. “Algum A não é B” é necessariamente falsa. Algum A é B A proposição categórica “Algum A é B” equivale a “Algum B é A”. Se “algum A é B” é uma proposição verdadeira, qual será o valor lógico das demais proposições categóricas? “Nenhum A é B” é necessariamente falsa. “Todo A é B” e “Algum A não é B” são indeterminadas. Observe que quando afirmamos que “Algum A é B” estamos dizendo que existe pelo menos um elemento de A que também é elemento de B. Nenhum A é B A proposição categórica “Nenhum A é B” equivale a: Nenhum B é A. Todo A não é B. Todo B não é A. A e B são conjuntos disjuntos. Se “nenhum A é B” é uma proposição verdadeira, qual será o valor lógico das demais proposições categóricas? “Todo A é B” é necessariamente falsa. “Algum A não é B” é necessariamente verdadeira. “Algum A é B” é necessariamente falsa. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 44 www.pontodosconcursos.com.br Algum A não é B Observe que “Algum A não é B” não equivale a “Algum B não é A”. Por exemplo, dizer que “Algum brasileiro não é pernambucano” não equivale a dizer que “Algum pernambucano não é brasileiro”. Se “algum A não é B” é uma proposição verdadeira, qual será o valor lógico das demais proposições categóricas? “Nenhum A é B” é indeterminada, pois poderia haver elementos na interseção dos conjuntos A e B. “Algum A é B” é indeterminada, pois pode haver ou não elementos na interseção dos conjuntos A e B. “Todo A é B” é necessariamente falsa. 35. (TRF 2004/FCC) Considerando “todo livro é instrutivo” como uma proposição verdadeira, é correto inferir que: a) “Nenhum livro é instrutivo” é uma proposição necessariamente verdadeira. b) “Algum livro é instrutivo” é uma proposição necessariamente verdadeira. c) “Algum livro não é instrutivo” é uma proposição verdadeira ou falsa. d) “Algum livro é instrutivo” é uma proposição verdadeira ou falsa. e) “Algum livro não é instrutivo” é uma proposição necessariamente verdadeira. Resolução Diante do diagrama e da teoria exposta, concluímos facilmente que a resposta correta é a letra B. Se todo livro é instrutivo, podemos afirmar que algum livro é instrutivo. 36. (IPEA 2004/FCC) Considerando “toda prova de Lógica é difícil” uma proposição verdadeira, é correto inferir que: a) “nenhuma prova de Lógica é difícil” é uma proposição necessariamente verdadeira. b) “alguma prova de Lógica é difícil” é uma proposição necessariamente verdadeira. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 45 www.pontodosconcursos.com.br c) “alguma prova de Lógica é difícil” é uma proposição verdadeira ou falsa. d) “alguma prova de Lógica não é difícil” é uma proposição necessariamente verdadeira. e) “alguma prova de Lógica não é difícil” é uma proposição verdadeira ou falsa. Resolução Questão idêntica à anterior. Ora, se todas as provas de lógica são difíceis, podemos garantir que alguma prova de lógica é difícil. Letra B 37. (TRT/2006/FCC) As afirmações seguintes são resultados de uma pesquisa feita entre os funcionários de certa empresa. “Todo indivíduo que fuma tem bronquite”. “Todo indivíduo que tem bronquite costuma faltar ao trabalho”. Relativamente a esses resultados, é correto concluir que: a) existem funcionários fumantes que não faltam ao trabalho. b) todo funcionário que tem bronquite é fumante. c) todo funcionário fumante costuma faltar ao trabalho. d) é possível que exista algum funcionário que tenha bronquite e não falte habitualmente ao trabalho. e) é possível que exista algum funcionário que seja fumante e não tenha bronquite. Resolução Pelo diagrama exposto, percebemos que todo funcionário fumante costuma faltar ao trabalho. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 46 www.pontodosconcursos.com.br Letra C 38. (TRT-PR 2004/FCC) Sabe-se que existem pessoas desonestas e que existem corruptos. Admitindo-se verdadeira a frase "Todos os corruptos são desonestos", é correto concluir que: a) quem não é corrupto é honesto. b) existem corruptos honestos. c) alguns honestos podem ser corruptos. d) existem mais corruptos do que desonestos. e) existem desonestos que são corruptos. Resolução Vamos analisar cada uma das alternativas de per si. a) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e que são desonestas. b) Esta alternativa é falsa, pois todo corrupto é desonesto. c) Esta alternativa é falsa, pois todo corrupto é desonesto. d) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e que são desonestas. e) Esta alternativa é verdadeira, pois todos os corruptos são desonestos e, portanto, existem desonestos corruptos. Letra E 39. (TCE-PB 2006/FCC) Sobre as consultas feitas a três livros X, Y e Z, um bibliotecário constatou que: Æ Todas as pessoas que haviam consultado Y também consultaram X. Æ Algumas pessoas que consultaram Z também consultaram X. De acordo com suas constatações, é correto afirmar que, com certeza: a) pelo menos uma pessoa que consultou Z também consultou Y. b) se alguma pessoa consultou Z e Y, então ela também consultou X. c) toda pessoa que consultou X também consultou Y. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 47 www.pontodosconcursos.com.br d) existem pessoas que consultaram Y e Z. e) existem pessoas que consultaram Y e não consultaram X. Resolução A proposição “Todas as pessoas que haviam consultado Y também consultaram X” é representada assim: Algumas pessoas que consultaram Z também consultaram X. Isto significa que há elementos comuns aos conjuntos X e Z. Porém, não sabemos qual a relação que existe entre o conjunto Z e o conjunto Y. Por essa razão, deixaremos uma parte do conjunto Z pontilhada para demonstrar esta incerteza. Observe que não sabemos se o conjunto Z e o conjunto Y possuem elementos comuns. Vamos analisar as alternativas. a) pelo menos uma pessoa que consultou Z também consultou Y. Não temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta alternativa é falsa. b) se alguma pessoa consultou Z e Y, então ela também consultou X. Esta alternativa é verdadeira. Se alguma pessoa consultou Z e Y, então esta pessoa consultou Y. Se esta pessoa consultou Y, então ela também consultou X. Concluímos que se alguma pessoa consultou Z e Y, então ela também consultou X. c) toda pessoa que consultou X também consultou Y. MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 48 www.pontodosconcursos.com.br Esta alternativa é falsa. Podemos apenas afirmar que toda pessoa que consultou Y também consultou X. d) existem pessoas que consultaram Y e Z. Não temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta alternativa é falsa. e) existem pessoas que consultaram Y e não consultaram X. Esta alternativa é falsa, pois todas as pessoas que haviam consultado Y também consultaram X. Resposta: Letra B 40. (SEFAZ-SP 2009/FCC) Considere o diagrama a seguir, em que U é o conjunto de todos os professores universitários que só lecionam em faculdades da cidade X, A é o conjunto de todos os professores que lecionam na faculdade A, B é o conjunto de todos os professores que lecionam na faculdade B e M é o conjunto de todos os médicos que trabalham na cidade X. Em todas as regiões do diagrama, é correto representar pelo menos um habitante da cidade X. A respeito do diagrama, foram feitas quatro afirmações: I. Todos
Compartilhar