Lgica Matemtica para concursos Dudu cearense

AULA 06 ARGUMENTOS

Depois de algum tempo, estou de volta! Veremos um assunto que cadeira cativa em provas de Lgica para concursos: Argumento. Esaf, FCC e Cespe adoram formular questes sobre esse assunto. Enquanto as duas primeiras bancas examinadoras tendem a explorar questes mais pelo mtodo matemtico, a ltima cobra mais a teoria. Para se entender Argumento, faz-se necessrio ter certo conhecimento sobre equivalncia lgica e, principalmente, implicao lgica, temas da Aula passada. E, em se falando de implicao lgica, estamos, de maneira indireta, nos reportando ao conceito da operao lgica da Condicional. Caso no se lembre, reveja as aulas anteriores, Ok?! Bem, um Argumento uma declarao de um dado conjunto de proposies P1, ..., Pn, chamadas premissas, que conduz a uma outra proposio final Q, chamada concluso. De outra maneira, um argumento trata-se de uma seqncia determinada (finita) de proposies que gera uma proposio final. Podemos escrever a representao geral de um argumento: P1, P2, P3 ,P4, ...., Pn

E lemos de uma das seguintes maneiras: P1, P2, P3 ,P4, ...., Pn acarretam Q Q decorre de P1, P2, P3 ,P4, ...., Pn Q se deduz de P1, P2, P3 ,P4, ...., Pn Q se infere de P1, P2, P3 ,P4, ...., Pn VALIDADE DE UM ARGUMENTO Por ser uma proposio, um Argumento tem um valor lgico. Se este valor for verdadeiro, tem-se um Argumento vlido. Caso contrrio, se falso, tem-se uma falcia, ou um Argumento no-vlido, ou um sofisma Vale ressaltar que a Lgica Matemtica s se preocupa com a validade (V) ou no (F) do argumento, no importando os valores lgicos (V ou F) das premissas e da concluso. Se tivermos duas premissas e uma concluso em um argumento, chamaremos isso de silogismo. Pois , voc deve est lembrado agora daquela regra de implicao lgica, l da Aula 05, chamada silogismo hipottico, no verdade? por isso que assim a chamamos! 34

Lgica Matemtica para concursos Dudu cearense Na maioria de questes de lgica matemtica, sempre temos, l no final, uma expreso do tipo ora... logo, pode-se concluir, se... ento, ou mesmo uma das maneiras de se l um argumento, ditas anteriormente. Ora, toda questo, com essas expresses ditas no final do seu enunciado, leva-nos a concluir que trata-se de um argumento. Assim, ao responder a estas questes, em se tratando de Esaf ou FCC, estaremos sempre a marcar a opo (a, b, c, d ou e) que torne vlido o argumento. ARGUMENTOS E PROPOSIES Vamos retroceder primeira aula e resgatar aquela nossa 1 questo. (MPOG-2003) Ana artista ou Carlos carioca. Se Jorge juiz, ento Breno no bonito. Se Carlos carioca, ento Breno bonito. Ora, Jorge juiz. Logo: a) Jorge juiz e Breno bonito b) Carlos carioca ou Breno bonito c) Breno bonito e Ana artista d) Ana no artista e Carlos carioca e) Ana artista e Carlos no carioca No enunciado, h uma srie de proposies: P1: Ana artista ou Carlos carioca P2: Se Jorge juiz, ento Breno no bonito P3: Se Carlos carioca, ento Breno bonito P4: Jorge juiz Na ocasio, tnhamos atribudo para cada proposio simples do enunciado o seguinte: p: Ana artista q: Carlos carioca r: Jorge juiz t: Breno bonito Reescrevendo tal enunciado em linguagem simblica: pvq r ~t q t r (p v q) ^ (r ~t) ^ (q t) ^ r Veja que existe todo um enunciado, e uma resposta: Ana artista e Carlos no carioca (p ^ ~q). Podemos representar assim:

(p v q) ^ (r

~t) ^ (q

t) ^ r

(p ^ ~q)

Temos as proposies P1, P2, P3 e P4 como as premissas e a proposio final (p ^ ~q) como a concluso (Q) do argumento. Sua representao seria essa: 35

Lgica Matemtica para concursos Dudu cearense P1, P2, P3 ,P4, ...., Pn

Na nossa questo do MPOG-2003, o item e) Ana artista e Carlos no carioca a concluso para as premissas que deixa o argumento vlido. Vamos entender isso. Primeiro, colocarei a tabela-verdade desta questo. Veja:

1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16)

V V V V F F F V V F F V F F V F

V V V F V F F F V F V F V V F F

V V F F V V F V F V F V F V F F

V F F F V V V V V F F F V F V F

F V V V F F F F F V V V F V F V

V V V V V F F V V F V V V V V F

F V V V F F V F V V V V V V V V

V F F V V V V V V V F V V F V V

F F F F F F F F F F F V F F F F

Veja que o nmero de linhas 2n, onde n o nmero de proposies simples. Trabalhar com as tabelas-verdade, s vezes, realmente d muito trabalho. Mas devemos entend-las, pois so sobremaneira importantes na fixao de muitos conceitos. Agora lhe pergunto: voc est vendo a linha 12... percebeu? Na linha 12, temos um argumento vlido, pois temos as proposies

(p v q), (r (p ^ ~q)

~t), (q

t), r

(premissas) (concluso)

todas com valores lgicos verdadeiros. Alis, nica linha onde isso se verifica. Ento, amigos, justamente na linha 12 onde se verifica a validade do argumento. E, nesta mesma linha, encontram-se tambm os valores lgicos das proposies simples p, q, r e t.
Linha 12)

p V

q F

r V

t F

Assim, observando a tabela-verdade acima, dizemos que um argumento vlido se e somente se a concluso verdadeira todas a vezes que as premissas so verdadeiras. Ou melhor, com outras palavras: um argumento vlido se e somente se a concluso for V 36

linha

~t

pvq

~t q

t (p v q) ^ (r

~t) ^ (q

t) ^ r

Lgica Matemtica para concursos Dudu cearense todas as vezes que as premissas tiverem valor lgico V. o que vemos na linha 12 da tabela. Em tempo, essa a caracterstica do argumento vlido: a verdade das premissas incompatvel com a falsidade da concluso. Ademais, o argumento vlido nos leva a afirmar que, quando as premissas so verdadeiras, a concluso no pode ser falsa. Com o exposto, pode-se dizer que um argumento P1, P2, P3 ,P4, ...., Pn | vlido se e somente se a condicional tautolgica. Temos:

Q s

(P1 ^ P2 ^ P3 ^ ,P4, ...., Pn)

Recorde-se que, na Aula anterior, foi dito que uma proposio p implica logicamente q) se forem atendidas uma das seguintes condies: numa proposio q (p I) p q uma tautologia. II) p ^ ~q uma contradio III) ~p v q uma tautologia por isso que se disse l no incio que Argumento e a Condicional so irms siamesas. Sem esquecer que as condies II e III podem ser usadas para verificar se um argumento vlido ou no, pois, se voc prestar ateno, as proposies I, II e III so equivalentes entre si. A regra clara: todas as premissas e a concluso do argumento devem ser verdadeiras para a condicional ser verificada, isto , as premissas implicam logicamente a concluso se a condicional tautolgica. Embora costumeiramente se teste a validade de um argumento admitindo todas as suas premissas como sendo verdadeiras, e, depois, verificar se implica em uma concluso que tambm seja verdadeira, isso no nos autoriza dizer que um argumento vlido s seja verificado admitindo as premissas apenas com valores lgicos verdadeiros. Muito pelo contrrio, podemos ter premissas com valor lgico falso, e ter como conseqncia uma concluso verdadeira ou falsa, e teramos, mesmo assim, um argumento vlido. Uma maneira melhor de voc entender conferir a tabela da Condicional logo a seguir, sendo p o conjunto de premissas e q a concluso:

Argumento vlido V V Argumento vlido F Argumento vlido F V F V V V F V F Argumento no-vlido

37

Lgica Matemtica para concursos Dudu cearense Observe que geralmente testamos a validade de um argumento tomando os valores lgicos da primeira linha (p = V e q = V). Destarte, podemos ter nas linhas 3 e 4 um argumento vlido. Enfim, a tabela abaixo esquematiza a relao das premissas com a concluso, e a validade ou no do argumento: Premissas Verdadeira Verdadeira Falsa Falsa Concluso Verdadeira Falsa Verdadeira Falsa O Argumento ... Vlido No-vlido Vlido Vlido

Bem, escrevi, reescrevi, disse uma vez, e outra vez, os conceitos relacionados Argumento, assunto esse muito importante dentro da Lgica. Fiz isso de propsito porque o Cespe vai lhe cobrar em algum concurso, e resolver as questes da Esaf e FCC requer conhecimentos prvios desse assunto. Vamos resolver alguns exerccios... (AFC/TCU-1999) Se Beraldo briga com Beatriz, ento Beatriz briga com Bia. Se Beatriz briga com Bia, ento Bia vai ao bar. Se Bia vai ao bar, ento Beto briga com Bia. Ora, Beto no briga com Bia. Logo, a) Bia no vai ao bar e Beatriz briga com Bia b) Bia vai ao bar e Beatriz briga com Bia c) Beatriz no briga com Bia e Beraldo no briga com Beatriz d) Beatriz briga com Bia e Beraldo briga com Beatriz e) Beatriz no briga com Bia e Beraldo briga com Beatriz

Representando primeiro as proposies simples: p: Beraldo briga com Beatriz q: Beatriz briga com Bia r: Bia vai ao bar t: Beto briga com Bia Agora, diferentemente de antes, ao invs de proposio, chamaremos de premissas a representao do enunciado. Escrevendo as premissas em linguagem simblica:

p q r ~t

q r t

(p

q) ^ (q

r) ^ (r

t) ^ ~t 38

Lgica Matemtica para concursos Dudu cearense Ora, amigos, sabemos que, para se encontrar uma concluso vlida para o argumento, admitimos que o conjunto de premissas implicam na concluso. Assim, tanto as premissas quanto a concluso devem ter valores lgico verdadeiro para a condicional ser tautolgica. Pois bem, logo, de cara, vemos que a premissa ~t verdadeira.

Pronto, questo parcialmente resolvida, vamos conferir os itens: a) Bia no vai ao bar e Beatriz briga com Bia ~r ^ q = ~F ^ F = V ^ F = FALSO b) Bia vai ao bar e Beatriz briga com Bia r ^ q = F ^ F = FALSO c) Beatriz no briga com Bia e Beraldo no briga com Beatriz ~q ^ ~p = ~F ^ ~F = V ^ V = VERDADEIRO d) Beatriz briga com Bia e Beraldo briga com Beatriz q ^ p = F ^ F = FALSO e) Beatriz no briga com Bia e Beraldo briga com Beatriz ~q ^ p = ~F ^ F = V ^ F = FALSO Resposta letra c). (AFC-2002) Se Iara no fala italiano, ento Ana fala alemo. Se Iara fala italiano, ento ou Ching fala chins ou Dbora fala dinamarqus. Se Dbora fala dinamarqus, Elton fala espanhol. Mas Elton fala espanhol se e somente se no for verdade que Francisco no fala francs. Ora, Francisco no fala francs e Ching no fala chins. Logo, a) Iara no fala italiano e Dbora no fala dinamarqus. b) Ching no fala chins e Dbora fala dinamarqus. c) Francisco no fala francs e Elton fala espanhol. d) Ana no fala alemo ou Iara fala italiano. e) Ana fala alemo e Dbora fala dinamarqus. Representando primeiro as proposies simples: p: lara fala italiano q: Ana fala alemo r: Ching fala chins t: Dbora fala dinamarqus y: Elton fala espanhol z: Francisco fala francs

(p (p (p (p (F

q) ^ (q q) ^ (q q) ^ (q F) ^ (F F) ^ (F

r) ^ (r t) ^ V r) ^ (r F) ^ V (admitindo que t tem valor falso, r ser falso) F) ^ (F F) ^ V (se r falso, q falso) F) ^ (F F) ^ V (se q falso, p falso) F) ^ (F F) ^ V

39

Lgica Matemtica para concursos Dudu cearense Escrevendo as premissas em linguagem simblica ~p q p (r v t) t y y ~(~z) (~z ^ ~r)

(~p

Considerando a ltima proposio como verdadeira, no nosso caso (~z ^ ~r). Vamos por etapas, pegando as premissas de trs pra frente. Primeiro, se (~z ^ ~r) verdadeira, pela conjuno, ~z e ~r devem ser obrigatoriamente verdadeiras. Se ~z e ~r so ambas verdadeiras, ento z e r, ambas, tem valor lgico falso.

~(~z)), que aplicando a dupla negao tem-se (y Prosseguindo.... temos a premissa (y Se z falso, ento, pela bicondicional, y falso.

Olhando a outra premissa (t

y), se y falso, t tambm falso.

(r v t)) . Sabemos que o valores de r e t so, ambos, falso. Assim, A segunda premissa (p escrevemos (p (F v F)). Temos que, pela disjuno exclusiva, (p F). Logo, pela condicional, p falso.

q). Se p falso, ~p verdadeiro. A escrevemos (V A ltima premissa (~p acordo com a condicional, para ser verdadeira, o q dever ser verdadeiro.

Encontrado todos os valores lgicos de p, q, r, t, y e z, vamos testar em cada enunciado a) Iara no fala italiano e Dbora no fala dinamarqus. ~p ^ ~t = ~F ^ ~F = V ^ V = VERDADEIRO b) Ching no fala chins e Dbora fala dinamarqus. ~r ^ t = ~F ^ F = V ^ F = FALSO c) Francisco no fala francs e Elton fala espanhol. ~z ^ y = ~F ^ F = V ^ F = FALSO d) Ana no fala alemo ou Iara fala italiano. ~q v p = ~V v F = F v F = FALSO e) Ana fala alemo e Dbora fala dinamarqus. q ^ t = V ^ F = FALSO Resposta letra a).

(FCC BACEN-2005) Um argumento composto pelas seguintes premissas: - Se as metas de inflao no so reais, ento a crise econmica no demorar a ser superada. - Se as metas de inflao so reais, ento os supervits primrios no sero fantasiosos. - Os supervits sero fantasiosos 40

q) ^ (p

(r v t)) ^ (t

y) ^ (y

~(~z)) ^ (~z ^ ~r)

z).

q), que, de

Lgica Matemtica para concursos Dudu cearense Para que o argumento seja vlido, a concluso deve ser: a) b) c) d) e) A crise econmica no demorar a ser superada. As metas de inflao so irreais ou os supervits so fantasiosos. As metas de inflao so irreais e os supervits so fantasiosos. Os supervits econmicos sero fantasiosos. As metas de inflao no so irreais e a crise econmica no demorar a ser superada.

Representando as proposies em linguagem simblica: p: as metas de inflao so reais q: a crise econmica demorar a ser superada r: os supervits primrios sero fantasiosos Escrevendo as premissas: (~p -> ~q) (p -> ~r) r -------------------------------(~p -> ~q) ^ (p -> ~r) ^ r O que se quer uma possvel concluso para o referido argumento, arroladas nos itens de a) a e). Uma observao: SEJA ESPERTO! A FCC fez um grande favor nesta questo. Qual? Observe os itens b), c) e d). Todos eles esto tratando de outras proposies no ditas no enunciado! D uma conferida logo abaixo nos comentrios sobre estes respectivos itens e volte para este mesmo ponto do texto! Viu?! Ento, meu amigo, voc s iria ter o trabalho de conferir os itens a) e e). Continuando... Podemos trabalhar tomando as premissas iniciais que formam o nosso argumento: (~p -> ~q) ^ (p -> ~r) ^ r Sabemos que cada uma dessas premissas deve ter valor verdadeiro. Ora, assim vemos de cara que r verdadeiro: (~p -> ~q) ^ (p -> ~r) ^ r (~p -> ~q) ^ (p -> ~r) ^ V Se r verdadeiro, temos que p falso. Veja: (~p -> ~q) ^ (p -> ~V) ^ V (~p -> ~q) ^ (p -> F) ^ V (~p -> ~q) ^ (F -> F) ^ V Se p falso, temos que q falso. Veja: (~F -> ~q) ^ (F -> F) ^ V (V -> ~q) ^ (F -> F) ^ V 41

Lgica Matemtica para concursos Dudu cearense (V -> ~F) ^ (F -> F) ^ V Ora, fazendo a leitura dos itens: a) A crise econmica no demorar a ser superada. Foi o valor lgico que encontramos para a proposio q: Falso. Certa b) As metas de inflao so irreais ou os supervits so fantasiosos Ora, o examinador foi um pouco capcioso, colocando uma proposio que no est entre as premissas da nossa questo, seno vejamos: As metas de inflao so irreais (no so reais) ou os supervits (?) so fantasiosos. ~p v t A premissa fala apenas de supervits, que no necessariamente o primrio. Ou seja, trata-se de uma outra proposio, a qual podemos cham-la de t, que no foi definida no enunciado. Errada. c) As metas de inflao so irreais e os supervits so fantasiosos ~p ^ t o mesmo problema do item anterior, com a diferena de ser uma conjuno ao invs de disjuno. Errada d) Os supervits econmicos sero fantasiosos Novamente o examinador tenta colocar uma casca de banana na questo! Redigiu o enunciado dizendo os supervits econmicos sero fantasiosos. A proposio r fala em supervits primrios, e no econmicos. Errada e) As metas de inflao no so irreais e a crise econmica no demorar a ser superada. ~(~p) ^ ~q Temos um enunciado dizendo ~(~p). Pela lgebra das proposies, isto igual a simplesmente p. p ^ ~q Ora, se p falso e q tambm falso, ento a concluso (p ^ ~q) falsa: p ^ ~q = F ^ ~F = F ^ V = F Para o item est correto, teramos que encontrar um valor verdadeiro para esta concluso, logo o item est... Errado.

42

Lgica Matemtica para concursos Dudu cearense ARGUMENTOS E DIAGRAMAS LGICOS Haver momentos que a Lgica Proposicional sofrer algumas limitaes. Quando certos tipos de questes inclurem em seus enunciados alguns quantificadores como todo, nenhum etc. (quantificador universal), ou existe um, existe algum, para algum etc. (quantificador existencial) no poderemos aplicar a Lgica das proposies. Estaremos, pois, diante dos denominados predicados (ou sentenas abertas) que uma expresso P(x) tal que p(a) verdadeira (V) ou falsa (F) para todo elemento a pertencente ao conjunto A, ou seja, para todo a pertencente ao conjunto A. No estaremos aqui preocupados com demonstraes matemticas das sentenas abertas. Simplificaremos nosso estudo, adotando um recurso grfico bastante interessante chamado Driagrama de Venn. uma forma mais didtica e fcil de ser usada na resoluo de questes de concursos, pois muitas declaraes verbais podem ser traduzidas em proposies equivalentes sobre conjuntos. Usaremos tais diagramas para determinar a validade ou no de um argumento. Sendo essa a nossa opo, nos resta elucidar sua aplicao atravs de alguns exemplos. (AFC/TCU-1999) Em uma comunidade, todo trabalhador responsvel. Todo artista, se no for filsofo, ou trabalhador ou poeta. Ora, no h filsofo e no h poeta que no seja responsvel. Portanto, tem-se que, necessariamente, a) todo responsvel artista b) todo responsvel filsofo ou poeta c) todo artista responsvel d) algum filsofo poeta e) algum trabalhador filsofo Para cada declarao, desenharemos o respectivo Diagrama: todo trabalhador responsvel

Responsvel

Trabalhador

no h filsofo e no h poeta que no seja responsvel

Responsvel Filsofo Poeta

43

Lgica Matemtica para concursos Dudu cearense Todo artista, se no for filsofo, ou trabalhador ou poeta

Responsvel Filsofo Poeta Trabalhador

Artista

Analisando cada item: a) todo responsvel artista ERRADO. Os elementos que esto na rea escura no so artistas. b) todo responsvel filsofo ou poeta ERRADO. Pode ser trabalhador. c) todo artista responsvel CERTO. Pois o artista ou filsofo, ou poeta, ou trabalhador, e estes conjuntos esto todos contidos no conjunto dos responsveis. d) algum filsofo poeta ERRADO. No necessariamente, pois, pelos diagramas, podemos ter nenhum filsofo sendo poeta. e) algum trabalhador filsofo ERRADO. No necessariamente, pois, pelos diagramas, podemos ter nenhum trabalhador sendo filsofo. (AFC/TCU-1999) Se verdade que "Alguns escritores so poetas" e que "Nenhum msico poeta", ento, tambm necessariamente verdade que: a) nenhum msico escritor b) algum escritor msico c) algum msico escritor d) algum escritor no msico e) nenhum escritor msico Para cada declarao, desenharemos o respectivo Diagrama: Alguns escritores so poetas

44

Lgica Matemtica para concursos Dudu cearense

Poetas

Escritores

Nenhum msico poeta

Poetas I

Escritores II

Msicos

Ou poderamos ter os seguintes diagramas:

Poetas I

Escritores

Msicos

Analisando cada item: a) nenhum msico escritor ERRADO. Na verdade, pela interseo II, temos que alguns msicos so escritores. b) algum escritor msico ERRADO. Pela ltima representao dos diagramas, Podemos ter nenhum escritor sendo msico. c) algum msico escritor ERRADO. A mesma justificativa do item anterior, j que podemos ter nenhum msico escritor. d) algum escritor no msico CERTO. justamente os elementos da interseo I, os escritores que so poetas e no msicos. e) nenhum escritor msico ERRADO. A interseo II mostra que tem-se alguns escritores que so msicos.

45

Lgica Matemtica para concursos Dudu cearense VERDADES E MENTIRAS Uma forma particular de argumento que bastante cobrada em certames pblicos so os problemas que envolvem Verdades e Mentiras. So geralmente declaraes, que podem ser verdadeiras ou falsas, atribudas a determinadas pessoas, onde podemos deduzir uma concluso vlida de quem est mentindo ou no. Aqui, no se tem nada a acrescentar no tocante a contedo de Lgica. Ser necessrio apenas o conhecimento de alguns conceitos j estudados em aulas anteriores, como as operaes lgicas fundamentais e o princpio da No-contradio, por exemplo. Cabe s destacar que todas as trs principais bancas examinadoras do pas (Esaf, Cespe e FCC) adotam como objeto de avaliao esse tipo de problema. Vamos ver duas questes e tentar entender como se operacionaliza suas resolues: (AFC/CGU-2003) Trs homens so levados presena de um jovem lgico. Sabe-se que um deles um honesto marceneiro, que sempre diz a verdade. Sabe-se, tambm, que um outro um pedreiro, igualmente honesto e trabalhador, mas que tem o estranho costume de sempre mentir, de jamais dizer a verdade. Sabe-se, ainda, que o restante um vulgar ladro que ora mente, ora diz a verdade. O problema que no se sabe quem, entre eles, quem. frente do jovem lgico, esses trs homens fazem, ordenadamente, as seguintes declaraes: O primeiro diz: Eu sou o ladro. O segundo diz: verdade; ele, o que acabou de falar, o ladro. O terceiro diz: Eu sou o ladro. Com base nestas informaes, o jovem lgico pode, ento, concluir corretamente que:

a) O ladro o primeiro e o marceneiro o terceiro. b) O ladro o primeiro e o marceneiro o segundo. c) O pedreiro o primeiro e o ladro o segundo. d) O pedreiro o primeiro e o ladro o terceiro. e) O marceneiro o primeiro e o ladro o segundo. Bem, a primeira pergunta que se faz : quem diz a verdade? Pelo o enunciado da questo, temos que o marceneiro sempre diz a verdade. Ento, vamos analisar se ele foi a primeira, segunda ou terceira pessoa a fazer a declarao. Ora, se ele sempre diz a verdade, o marceneiro no pode ser a primeira nem muito menos o segunda pessoa, pois teramos uma contradio. Logo, o marceneiro a segunda pessoa. O primeiro diz: Eu sou o ladro. Marceneiro: verdade; ele, o que acabou de falar, o ladro. O terceiro diz: Eu sou o ladro. Se o marceneiro diz somente a verdade, ento o ladro a primeira pessoa. Ladro: Eu sou o ladro. Marceneiro: verdade; ele, o que acabou de falar, o ladro. Pedreiro: Eu sou o ladro. 46

Lgica Matemtica para concursos Dudu cearense E s sobraria a terceira afirmao, que o pedreiro quem diz. Analisando os itens, conclui-se que O ladro o primeiro e o marceneiro o segundo. Resposta letra B.

(CESPE Papiloscopista-2004) Um lder criminoso foi morto por um de seus quatro asseclas: A, B, C e D. Durante o interrogatrio, esses indivduos fizeram as seguintes declaraes. A afirmou que C matou o lder. B afirmou que D no matou o lder. C disse que D estava jogando dardos com A quando o lder foi morto e, por isso, no tiveram participao no crime. D disse que C no matou o lder. Considerando a situao hipottica apresentada acima e sabendo que trs dos comparsas mentiram em suas declaraes, enquanto um deles falou a verdade, julgue os itens seguintes. 42) A declarao de C no pode ser verdadeira. Vamos testar a afirmao do indivduo C, atribuindo-a o valor verdadeiro. Pegando a afirmao de C e admitindo como verdadeira: C: D e A no mataram o lder. Se C diz a verdade, as afirmaes de A, B e D devem ser, obrigatoriamente, falsas. Se tomarmos a declarao de B: D no matou o lder, e dizer que essa afirmao falsa, seria o mesmo que dizer que D matou o lder. Ento, admitindo a declarao de C verdadeira, obtemos uma contradio (D no matou o lder e D matou o lder). Item CORRETO. 43) D matou o lder. Sabemos, pelo que foi dado, que apenas um assecla matou o lder e somente um falou a verdade. Ento, temos que ter trs declaraes falsas e uma verdadeira. Se admitirmos que D matou o lder, ento a afirmao de A, B e C so falsas. Logo, a nica afirmao que deve ser verdadeira a do indivduo D, que diz que C no matou o lder, pois quem matou foi ele mesmo. Item CORRETO.

Bem gente, por hoje s. Ficar s faltando vermos Associaes Lgicas. Colocarei logo abaixo o gabarito dos exerccios da Aula 05, e, em seguida, uma bateria de exerccios para vocs resolverem. No prximo encontro, tirarei as dvidas da Aula 05 e 06.

GABARITO DOS EXERCCIOS AULA 05 1- A 2E 3A 4B 47 CERTO 48 - CERTO

47

Lgica Matemtica para concursos Dudu cearense Exerccios

(AFC-1997) Ou Celso compra um carro, ou Ana vai frica, ou Rui vai a Roma. Se Ana vai frica, ento Lus compra um livro. Se Lus compra um livro, ento Rui vai a Roma. Ora, Rui no vai a Roma, logo: a) Celso compra um carro e Ana no vai frica b) Celso no compra um carro e Lus no compra o livro c) Ana no vai frica e Lus compra um livro d) Ana vai frica ou Lus compra um livro e) Ana vai frica e Rui no vai a Roma (AFC/TCU-1999) Se Flvia filha de Fernanda, ento Ana no filha de Alice. Ou Ana filha de Alice, ou nia filha de Elisa. Se Paula no filha de Paulete, ento Flvia filha de Fernanda. Ora, nem nia filha de Elisa nem Ins filha de Isa. a) Paula filha de Paulete e Flvia filha de Fernanda. b) Paula filha de Paulete e Ana filha de Alice. c) Paula no filha de Paulete e Ana filha de Alice. d) nia filha de Elisa ou Flvia filha de Fernanda. e) Se Ana filha de Alice, Flvia filha de Fernanda. (AFT-2003) Investigando uma fraude bancria, um famoso detetive colheu evidncias que o convenceram da verdade das seguintes afirmaes: 1) Se Homero culpado, ento Joo culpado. 2) Se Homero inocente, ento Joo ou Adolfo so culpados. 3) Se Adolfo inocente, ento Joo inocente. 4) Se Adolfo culpado, ento Homero culpado. As evidncias colhidas pelo famoso detetive indicam, portanto, que: a) Homero, Joo e Adolfo so inocentes. b) Homero, Joo e Adolfo so culpados. c) Homero culpado, mas Joo e Adolfo so inocentes. d) Homero e Joo so inocentes, mas Adolfo culpado. e) Homero e Adolfo so culpados, mas Joo inocente. (ESAF AFC-STN/2005) Se Pedro no bebe, ele visita Ana. Se Pedro bebe, ele l poesias. Se Pedro no visita Ana, ele no l poesias. Se Pedro l poesias, ele no visita Ana. Segue-se, portanto que, Pedro: a) bebe, visita Ana, no l poesias. b) no bebe, visita Ana, no l poesias. c) bebe, no visita Ana, l poesias. d) no bebe, no visita Ana, no l poesias. e) no bebe, no visita Ana, l poesias. (AFC/CGU-2003) Ana prima de Bia, ou Carlos filho de Pedro. Se Jorge irmo de Maria, ento Breno no neto de Beto. Se Carlos filho de Pedro, ento Breno neto de Beto. Ora, Jorge irmo de Maria. Logo: 48

Lgica Matemtica para concursos Dudu cearense

a) Carlos filho de Pedro ou Breno neto de Beto. b) Breno neto de Beto e Ana prima de Bia. c) Ana no prima de Bia e Carlos filho de Pedro. d) Jorge irmo de Maria e Breno neto de Beto. e) Ana prima de Bia e Carlos no filho de Pedro. (AFC/CGU-2003) Uma professora de matemtica faz as trs seguintes afirmaes: X > Q e Z < Y; X > Y e Q > Y, se e somente se Y > Z; R . Q, se e somente se Y = X. Sabendo-se que todas as afirmaes da professora so verdadeiras, conclui-se corretamente que: a) X > Y > Q > Z b) X > R > Y > Z c) Z < Y < X < R d) X > Q > Z > R e) Q < X < Z < Y (AFC/CGU-2003) Homero no honesto, ou Jlio justo. Homero honesto, ou Jlio justo, ou Beto bondoso. Beto bondoso, ou Jlio no justo. Beto no bondoso, ou Homero honesto. Logo, a) Beto bondoso, Homero honesto, Jlio no justo. b) Beto no bondoso, Homero honesto, Jlio no justo. c) Beto bondoso, Homero honesto, Jlio justo. d) Beto no bondoso, Homero no honesto, Jlio no justo. e) Beto no bondoso, Homero honesto, Jlio justo. (AFC-1997) Dizer que verdade que "para todo x, se x uma r e se x verde, ento x est saltando" logicamente equivalente a dizer que no verdade que a} "algumas rs que no so verdes esto saltando" b) "algumas rs verdes esto saltando" c) "nenhuma r verde no est saltando" d) "existe uma r verde que no est saltando" e) "algo que no seja uma r verde est saltando" (AFC-2002) Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro lado, se Geografia no difcil, ento Lgica difcil. Da segue-se que, se Artur gosta de Lgica, ento: a) Se Geografia difcil, ento Lgica difcil. b) Lgica fcil e Geografia difcil. c) Lgica fcil e Geografia fcil. d) Lgica difcil e Geografia difcil. e) Lgica difcil ou Geografia fcil. (AFC-2002) Se Carina amiga de Carol, ento Carmem cunhada de Carol. Carmem no cunhada de Carol. Se Carina no cunhada de Carol, ento Carina amiga de Carol. Logo, 49

Lgica Matemtica para concursos Dudu cearense

a) Carina cunhada de Carmem e amiga de Carol. b) Carina no amiga de Carol ou no cunhada de Carmem. c) Carina amiga de Carol ou no cunhada de Carol. d) Carina amiga de Carmem e amiga de Carol. e) Carina amiga de Carol e no cunhada de Carmem. (ACE/TCU-2002) O rei ir caa condio necessria para o duque sair do castelo, e condio suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a princesa condio necessria e suficiente para o baro sorrir e condio necessria para a duquesa ir ao jardim. O baro no sorriu. Logo: a) A duquesa foi ao jardim ou o conde encontrou a princesa. b) Se o duque no saiu do castelo, ento o conde encontrou a princesa. c) O rei no foi caa e o conde no encontrou a princesa. d) O rei foi caa e a duquesa no foi ao jardim. e) O duque saiu do castelo e o rei no foi caa. (AFC/STN/MF-2000) Em uma pequena comunidade, sabe-se que: "nenhum filsofo rico" e que "alguns professores so ricos". Assim, pode-se afirmar, corretamente, que nesta comunidade a) alguns filsofos so professores b) alguns professores so filsofos c) nenhum filsofo professor d) alguns professores no so filsofos e) nenhum professor filsofo (AFC/STN/MF-2000) Uma escola de arte oferece aulas de canto, dana, teatro, violo e piano. Todos os professores de canto so, tambm, professores de dana, mas nenhum professor de dana professor de teatro. Todos os professores de violo so, tambm, professores de piano, e alguns professores de piano so, tambm, professores de teatro. Sabe-se que nenhum professor de piano professor de dana, e como as aulas de piano, violo e teatro no tm nenhum professor em comum, ento: a) nenhum professor de violo professor de canto b) pelo menos um professor de violo professor de teatro c) pelo menos um professor de canto professor de teatro d) todos os professores de piano so professores de canto e) todos os professores de piano so professores de violo

(MPOG-2001) A partir das seguintes premissas: Premissa 1: "X A e B, ou X C" Premissa 2: "Se Y no C, ento X no C" Premissa 3: "Y no C" Conclui-se corretamente que X : 50

Lgica Matemtica para concursos Dudu cearense

a) b) c) d) e)

AeB no A ou no C A ou B A e no B no A e no B

(AFT-2003) Se no durmo, bebo. Se estou furioso, durmo. Se durmo, no estou furioso. Se no estou furioso, no bebo. Logo, a) no durmo, estou furioso e no bebo b) durmo, estou furioso e no bebo c) no durmo, estou furioso e bebo d) durmo, no estou furioso e no bebo e) no durmo, no estou furioso e bebo (Engenheiro do Trabalho-1998) Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C. Segue-se, portanto, necessariamente que a) b) c) d) e) todo C B todo C A algum A C nada que no seja C A algum A no C

(Engenheiro do Trabalho-1998) Considere as seguintes premissas (onde X, Y, Z e P so conjuntos no vazios): Premissa 1: "X est contido em Y e em Z, ou X est contido em P" Premissa 2: "X no est contido em P" Pode-se, ento, concluir que, necessariamente a) b) c) d) e) Y est contido em Z X est contido em Z Y est contido em Z ou em P X no est contido nem em P nem em Y X no est contido nem em Y e nem em Z

(Engenheiro do Trabalho-1998) Sabe-se que a ocorrncia de B condio necessria para a ocorrncia de C e condio suficiente para a ocorrncia de D. Sabe-se, tambm, que a ocorrncia de D condio necessria e suficiente para a ocorrncia de A. Assim, quando C ocorre, a) b) c) d) e) D ocorre e B no ocorre D no ocorre ou A no ocorre B e A ocorrem nem B nem D ocorrem B no ocorre ou A no ocorre 51

Lgica Matemtica para concursos Dudu cearense

(Engenheiro do Trabalho-1998) Ou A=B, ou B=C, mas no ambos. Se B=D, ento A=D. Ora, B=D. Logo: a) b) c) d) e) BC BA C=A C=D DA

(CESPE Papiloscopista-2004) O nmero de tabelas de valoraes distintas que podem ser obtidas para proposies com exatamente duas variveis proposicionais igual a 24. (CESPE PF-2004) Uma noo bsica da lgica a de que um argumento composto de um conjunto de sentenas denominadas premissas e de uma sentena denominada concluso. Um argumento vlido se a concluso necessariamente verdadeira sempre que as premissas forem verdadeiras. Com base nessas informaes, julgue os itens que se seguem. 47) Toda premissa de um argumento vlido verdadeira. 48) Se a concluso falsa, o argumento no vlido. 49) Se a concluso verdadeira, o argumento vlido. 50) vlido o seguinte argumento: Todo cachorro verde, e tudo que verde vegetal, logo todo cachorro vegetal. (FCC BANCEN -2005) Aldo, Ben e Caio receberam uma proposta para executar um projeto. A seguir so registradas as declaraes dadas pelos trs, aps a execuo do projeto: - Aldo: No verdade que Ben e Caio executaram o projeto. - Ben: Se Aldo no executou o projeto, ento Caio o executou. - Caio: Eu no executei o projeto, mas Aldo ou Ben o executaram. Se somente a afirmao de Ben falsa, ento o projeto foi executado APENAS por a) b) c) d) e) Aldo Ben Caio Aldo e Ben Aldo e Caio

(FCC BANCEN-2005) No Japo, muitas empresas dispem de lugares para que seus funcionrios se exercitem durante os intervalos de sua jornada de trabalho. No Brasil, poucas empresas tm esse tipo de programa. Estudos tm revelado que os trabalhadores japoneses so mais produtivos que os brasileiros. Logo, deve-se concluir que a produtividade dos empregados brasileiros ser menor que a dos japoneses enquanto as empresas brasileiras no aderirem a programas que obriguem seus funcionrios prtica de exerccios. A concluso dos argumentos vlida se assumirmos que a) A produtividade de todos os trabalhadores pode ser aumentada com exerccios. b) A prtica de exerccios um fator essencial na maior produtividade dos trabalhadores japoneses. 52

Lgica Matemtica para concursos Dudu cearense c) As empresas brasileiras no dispem de recursos para a construo de ginsios de esporte para seus funcionrios. d) Ainda que os programas de exerccios no aumentem a produtividade dos trabalhadores brasileiros, estes programas melhoraro a sade deles. e) Os trabalhadores brasileiros tm uma jornada de trabalho maior que a dos japoneses.

53