Você está na página 1de 10

Lgica Matemtica para concursos Dudu cearense

AULA 09 RESOLUO EXERCCIOS DE REVISO

Ol, companheiros, mais uma vez estou por aqui! Vou resolver as questes da aula passada. No tecerei comentrios hoje, serei breve. Enquanto isso, na primeira questo...

Exerccios

(AFC/AGU-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: 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. Resoluo Escrevendo as proposies p: Ana prima de Bia q: Carlos filho de Pedro r: Jorge irmo de Maria t: Breno neto de Beto Representando em linguagem simblica pvq r ~t qt (p v q) ^ (r ~t) ^ (q t) Gente, como o nosso enunciado encerra com ora, Jorge irmo de Maria, ento a proposio r ser verdadeira. Como r uma proposio simples, podemos usar o mtodo dedutivo. Umbora ento...

Lgica Matemtica para concursos Dudu cearense


(p v q) ^ (V ~t) ^ (q t) (p v q) ^ (V ~t) ^ (~t ~q) (p v q) ^ (V ~q) (p v q) ^ (~V v ~q) (p v q) ^ (F v ~q) (p v q) ^ ~q (p ^ ~q) v (q ^ ~q) (p ^ ~q) v F p ^ ~q Aqui nossa resposta: Ana prima de Bia e Carlos no filho de Pedro. Letra e). (AFC/AGU-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 Resoluo Escrevendo as proposies p: X>Q q: Z<Y r: X>Y t: Q>Y w: R Q Representando em linguagem simblica p^q (r ^ t) q w ~r (p ^ q) ^ ((r ^ t) q) ^ (w ~r) Esta questo nos remete aos conceitos iniciais da lgica matemtica. Lembram-se que na Aula 02 eu disse que uma proposio somente admite a falsidade ou a verdade, ou seja, s se admite dois resultados possveis para o valor de uma proposio? Voc deve est me perguntando porque estou dizendo isso agora. Ora, veja a proposio X>Y, a qual representamos por r. Sabemos que

Lgica Matemtica para concursos Dudu cearense


perfeitamente correto dizer que X pode ser menor, igual ou maior do que Y, porm, no para o nosso problema de lgica, onde admitimos um ou outro resultado. Como a questo menciona X>Y e Y=X, estes sero os nicos resultados possveis para a relao entre essas duas variveis. No existe, ento, para o nosso problema, a proposio X<Y. Sacou a importncia do princpio do terceiro excludo?! isso a! Aconselho resolver este tipo de questo, onde as opes a marcar a), b), c), d) e e) incluem relaes de maior ou menor, pelos conceitos, esquecendo o mtodo dedutivo. No porque este no seja de valia, mas porque, na hora da prova, vai dar um trabalho para voc entender o que menor ou maior dentre as proposies dadas, e essa no minha inteno. Bom, para resolver, sempre procure a premissa que tenha uma conjuno ou uma condicional como operao. Assim, olhemos para a primeira premissa (p ^ q). Nela, as duas proposies simples devem ser verdadeiras para ser verdadeira tambm a premissa. Resolvendo... (p ^ q) ^ ((r ^ t) q) ^ (w ~r) (V ^ V) ^ ((r ^ t) V) ^ (w ~r) (V ^ V) ^ ((V ^ V) V) ^ (w ~r) (V ^ V) ^ ((V ^ V) V) ^ (w ~V) (V ^ V) ^ ((V ^ V) V) ^ (F ~V) Os valoeres lgicos de cada proposio : p=verdadeiro; q=verdadeiro; r=verdadeiro; t=verdadeiro; w=falso Assim, temos que X>Q X>Y Q>Y Y>Z R=Q Como R=Q, e fazendo o encadeamento para encontrar o item b) como resposta: X>R>Y>Z. (AFC/AGU-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.

Lgica Matemtica para concursos Dudu cearense


Resoluo Escrevendo as proposies p: Homero honesto q: Jlio justo r: Beto bondoso Representando em linguagem simblica ~p v q pvqvr r v ~q (~p v q) ^ (p v q v r) ^ (r v ~q) Ora, ora, mais um tipo de questo que j conhecemos. Aquela onde o enunciado encerra com uma proposio composta, no verdade? Vamos pelos conceitos... Como o enunciado termina dizendo que (~r v p), ento admitamos esta premissa verdadeira. Para isto, ou ~r ou p deve ser verdadeiro, ou ~r e p simultaneamente. E a, como fazemos no caso da disjuno? A amigo, voc vai ter que ir pelo mtodo das tentativas. O que isso? Vamos comear admitindo que ~r verdadeiro e p falso. A podemos resolver... (~p v q) ^ (p v q v F) ^ (F v ~q) (~F v q) ^ (F v q v F) ^ (F v ~q) (~F v V) ^ (F v V v F) ^ (F v ~V)

Premissa ser falsa

Ops!, temos uma premissa falsa quando admitimos ~r: verdadeiro e p: falso. Vamos admitir agora que as duas proposies simples (~r e p) sejam verdadadeiras: (~p v q) ^ (p v q v F) ^ (F v ~q) (~V v q) ^ (V v q v F) ^ (F v ~q) (~V v V) ^ (V v q v F) ^ (F v ~F)

contradio (q verdadeiro e falso simultaneamente)

O problema aqui que, para duas premissas distintas, hora aparece com valor lgico verdadeiro, ora falso. Vamos para a lltima possibilidade. Tomando ~r falso e p verdadeiro. (~p v q) ^ (p v q v V) ^ (V v ~q) (~V v q) ^ (V v q v V) ^ (V v ~q) (~V v V) ^ (V v V v V) ^ (V v ~V)

Lgica Matemtica para concursos Dudu cearense


Pronto, descobrimos que so verdadeiras as proposies p, q e r, podendo ser escrito na liguagem corrente: Beto bondoso, Homero honesto, Jlio justo. Resposta letra c). Essa no uma questo difcil, apenas testei, de propsito, as 3 possibilidades possveis para voc observar todo o processo de resoluo. Voc poderia ter encontrado a resposta logo na primeira tentativa caso voc tivesse sorte... Vamos para a outra... (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. Resoluo Escrevendo as proposies p: Lgica fcil q: Artur gosta de lgica r: Geografia fcil Representando em linguagem simblica p v ~q r ~p (p v ~q) ^ (r ~p) Questo de pura aplicao do mtodo dedutivo. Se o enunciado termina dizendo Artur gosta de Lgica, temos que r tem valor lgico verdadeiro. Logo: (p v ~V) ^ (r ~p) (p v F) ^ (r ~p) p ^ (~r v ~p) (p ^ ~r) v (p ^ ~p) (p ^ ~r) v F p ^ ~r Na linguagem corrente, lemos essa proposio Lgica fcil e Geografia no fcil, ou, melhor dizendo, Lgica fcil e Geografia difcil. Resposta letra b).

Lgica Matemtica para concursos Dudu cearense


(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, 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. Resoluo Escrevendo as proposies p: Carina amiga de Carol q: Carmem cunhada de Carol r: Carina cunhada de Carol Representando em linguagem simblica pq ~q ~r p (p q) ^ (~q) ^ (~r p) Bem, observem primeiro o enunciado. Ao contrrio do que eu disse antes, do mesmo modo como, s vezes, facilita, a banca muitas vezes complica. uma monte de Cs de Carol ,Carmem e Carina que, se voc j estiver com 4 horas de prova, vai ficar meio confuso! Ento tenha sempre cuidado quando for representar as proposies em linguagem simblica, para no se confundir com tantas letras iguais... Outra coisa, demais importante, que a proposio que encerra o enunciado no vem ao final deste, mas sim antes, diferentemente da maioria dos exerccios resolvidos at aqui, e est representada pela premissa ~q. Terminando de resolv-la... Como Carmem no cunhada de Carol (~q), ento vem: (p q) ^ (~r p) (p F) ^ (~r p) (~p v F) ^ (~r p) ~p ^ (r v p) (~p ^ r) v (~p ^ p) (~p ^ r) v F ~p ^ r

Lgica Matemtica para concursos Dudu cearense


Pronto, esta a a nossa resposta. Agora, para marcar o item correto, depende muito da sua ateno na hora da prova. Em linguagem corrente, ~p ^ r quer dizer Carina no amiga de Carol e cunhada de Carol. Ora, ora, voc j deve saber que uma proposio simples s admite dois resultados possveis, a verdade ou a falsidade, como j dito. Se se diz que Carina cunhada de Carol, contrariar tal afirmao o mesmo que dizer que Carina cunhada de Fernanda, Carla, Janaina... enfim, de qualquer pessoa, menos de Carol. Encontramos como resposta ~p ^ r. Para atrapalhar o candidato, a banca ps uma pequena casca de banana no item b), pegadinha esta para induzir o candidato a marcar qualquer outro item, menos o item b), que , na verdade, o item correto. Ento, a Esaf escreveu Carina no amiga de Carol ou no cunhada de Carmem. Olha a, em negrito, a pegadinha! Quando se diz que Carina no cunhada de Carmem, est a se negar a falsidade de uma proposio (~F), pois temos: no cunhada de Carmem ~ F

Como ~F a Verdade, ento est implcito a proposio Carina cunhada de Carol. Sacou?! Conclui-se, assim, que a proposio encontrada ~p ^ r est escrita de forma diferente, e encontrase no item b), nossa resposta. Interessantssima esta questo, no?! (AFTN-1998) Considere as afirmaes: A) se Patrcia uma boa amiga, Vtor diz a verdade; B) se Vtor diz a verdade, Helena no uma boa amiga; C) se Helena no uma boa amiga, Patrcia uma boa amiga. A anlise do encadeamento lgico dessas trs afirmaes permite concluir que elas: a) implicam necessariamente que Patrcia uma boa amiga b) so consistentes entre si, quer Patrcia seja uma boa amiga, quer Patrcia no seja uma boa amiga c) implicam necessariamente que Vtor diz a verdade e que Helena no uma boa amiga d) so equivalentes a dizer que Patrcia uma boa amiga e) so inconsistentes entre si Resoluo Escrevendo as proposies p: Patrcia uma boa amiga q: Vtor diz a verdade r: Helena uma boa amiga

Lgica Matemtica para concursos Dudu cearense


Representando em linguagem simblica pq q ~r ~r p (p q) ^ (q ~r) ^ (~r p) Nesta questo est explcito o conceito de argumento. Temos uma srie de premissas, e a questo pede a concluso. Perceba o encadeamento lgico das premissas: (p q) ^ (q ~r) ^ (~r p) (p ~r) ^ (~r p) pp p Vamos ver item por item: a) implicam necessariamente que Patrcia uma boa amiga Errado. Uma das concluses (implicaes) possveis p (Patrcia uma boa amiga), e no a nica, pois poderamos ter (p v r) como uma concluso vlida. b) so consistentes entre si, quer Patrcia seja uma boa amiga, quer Patrcia no seja uma boa amiga Certo. Foi o que acabamos de descobrir, pois o encadeamento lgico implica em p, ou ~p, dependendo da condio inicial dada a proposio p. c) implicam necessariamente que Vtor diz a verdade e que Helena no uma boa amiga Errado. J dissemos que podemos ter mais de uma concluso possvel d) so equivalentes a dizer que Patrcia uma boa amiga Errado. Estaria certo se tivesse dito que implica dizer que Patrcia uma boa amiga, pois, pelo prprio conceito de argumento, as premissas implicam uma concluso. e) so inconsistentes entre si Errado. Contradiz a prpria questo, porque no enunciado, alm de haver um encademento lgico, todas as premissas relacionam-se, de maneira direta ou indireta.

Lgica Matemtica para concursos Dudu cearense


(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) D ocorre e B no ocorre b) D no ocorre ou A no ocorre c) B e A ocorrem d) nem B nem D ocorrem e) B no ocorre ou A no ocorre Resoluo Escrevendo as proposies p: Ocorrncia de B q: Ocorrncia de C r: Ocorrncia de D t: Ocorrncia de A Representando em linguagem simblica qp pr rt (q p) ^ (p r) ^ (r t) Sabemos que, se C ocorre, a proposio q verdadeira. Resolvendo pelo mtodo dedutivo: (V p) ^ (p r) ^ (r t) (V p) ^ (p r) ^ (r t) ^ (t r) Vr ~V v r Fvr r Ora, e agora, companheiro?! Como nossa concluso terminou com a proposio r, ento sabemos que r verdadeira. Se r verdadeira, a premissa r t nos diz que t verdadeira. Ainda, se q verdadeira, ento p verdadeira. E se p verdadeira, ento r verdadeira. ta, que engodo danado! Vejam que, quando montamos a questo em linguagem simblica, ficou estruturado um encadeamento lgico, no verdade? Para questes deste tipo, o mais racional ir logo resolvendo pelos conceitos,e depois testar item-por-item e verificar qual a resposta certa, pois o mtodo dedutivo, alm de tomar o nosso preciso tempo, no nos dir muita coisa no, como se pde observar. Ok?!

Lgica Matemtica para concursos Dudu cearense


Como j sabemos que p, q, r e t so proposies verdadeiras, a fica fcil ver que o item c) o correto. a) D ocorre e B no ocorre r ^ ~p = V ^ ~V = V ^ F = Falso b) D no ocorre ou A no ocorre ~r v ~t = ~V v ~V = F v F = Falso c) B e A ocorrem p ^ t = V ^ V = Verdadeiro d) nem B nem D ocorrem ~p ^ ~r = ~V ^ ~V = F ^ F = Falso e) B no ocorre ou A no ocorre ~p v ~t = ~V v ~V = F v F = Falso isso. No prximo encontro, trarei a resoluo das questes de lgica matemtica da prova do MPU, realizada em 04/07/2004. Abraos a todos!