RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES Ol, pessoal! Tudo bem?

Este artigo importantssimo para quem prestar os prximos concursos organizados pela ESAF. Com a proximidade dos certames, a leitura deste texto indispensvel para quem far as provas para ATA-MF, AFRFB e ATRFB. Quem anda estudando RLQ (Raciocnio Lgico Quantitativo) deve j estar familiarizado com as seguintes equivalncias lgicas: ~ ~ ~ A primeira diz que para transformar uma proposio dada pelo conectivo Se..., ento... em outra proposio composta pelo Se..., ento... devemos negar os dois componentes e trocar a ordem das frases. Algumas pessoas gostam de dizer que devemos negar voltando ou negar de trs para frente. Por exemplo, as proposies Se chove, ento o dia no est bonito. Se o dia est bonito, ento no chove. so logicamente equivalentes. A segunda frmula de equivalncia nos ensina a transformar uma proposio composta pelo Se..., ento... em uma proposio composta pelo ou. Para tanto, devemos negar o primeiro componente do condicional (antecedente), colocar o conectivo ou e repetir o segundo componente (consequente). Por exemplo, as proposies Se chove, ento o dia no est bonito. No chove ou dia no est bonito. so logicamente equivalentes. E o que quer dizer a expresso logicamente equivalentes? Que elas possuem a mesma tabela-verdade. Ou seja, quando uma proposio for verdadeira, a sua equivalente tambm ser e quando uma proposio for falsa, a sua equivalente tambm ser.

Prof. Guilherme Neves

www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES Numa linguagem informal, diramos que as proposies querem dizer a mesma coisa, tm o mesmo significado. Pois bem, nos ltimos dois anos a ESAF vem cobrando com frequncia duas equivalncias envolvendo o conectivo ... se e somente se... - o conectivo bicondicional. O que significa uma proposio composta pelo ...se e somente se...? Considere a seguinte frase: Chove se e somente se faz frio. Como o prprio nome do conectivo diz (bicondicional), ns temos dois condicionais. Na verdade uma conjuno de dois condicionais, ou seja, duas frases de se..., ento... ligadas pelo conectivo e. Ou seja, a frase Chove se e somente se faz frio significa que Se chove, ento faz frio e se faz frio ento chove. Em suma, temos a seguinte equivalncia:
( p q ) [ ( p q ) (q p ) ]

Esta equivalncia notvel pode ser facilmente verificada atravs da construo de uma tabela-verdade.
p q p q q p ( p q) (q p) p q

V V F F

V F V F

V F V V

V V F V

V F F V

V F F V

Outra equivalncia notvel do ...se e somente se... a que segue: ~ ~ Ou seja, podemos construir uma equivalente do ...se e somente se... simplesmente negando os dois componentes. Por exemplo, as seguintes proposies so equivalentes: Chove se e somente se faz frio. No chove se e somente se no faz frio. A segunda proposio, por sua vez, equivale a Se no chove, ento no faz frio e se no faz frio, ento no chove.

Prof. Guilherme Neves

www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES

Alm disso, lembre-se que o ...se e somente se... no faz questo de ordem entre suas proposies. Ou seja, p se e somente se q e q se e somente se p so equivalentes. Vamos agora treinar um pouco? (MPOG 2010/ESAF) Sejam F e G duas proposies e ~F e ~G suas repectivas negaes. Marque a opo que equivale logicamente proposio composta: F se e somente G. a) F implica G e ~G implica F. b) F implica G e ~F implica ~G. c) Se F ento G e se ~F ento G. d) F implica G e ~G implica ~F. e) F se e somente se ~G. Resoluo Observao: Dizer que p implica q o mesmo que dizer Se p, ento q. A proposio dada no enunciado a seguinte: Nas quatro primeiras alternativas, a ESAF tenta transformar a proposio dada em dois condicionais (Se..., ento...) ligados pelo e. Na alternativa E, a ESAF tenta transformar a proposio dada em outra proposio composta pelo ...se e somente se.... Comecemos pela alternativa E, que mais fcil. Vimos que para transformar uma proposio dada pelo ...se e somente se... em outra composta pelo ...se e somente se..., devemos negar os dois componentes. Destarte, a proposio equivale a ~ ~ . Por esta razo, a alternativa E est errada (ele negou apenas o segundo componente). Vamos agora transformar a proposio em duas proposies do se..., ento... ligadas pelo conectivo e. A proposio equivale a , ou seja, F implica G e G implica F. Nenhuma das alternativas contm esta proposio. Vejamos o que acontece em cada alternativa.
Prof. Guilherme Neves www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES a) F implica G e ~G implica F. A frase que ns construmos foi . A alternativa comea da mesma maneira. F implica G. Ok. A segunda parte est errada. No lugar de ~G implica F deveria ser G implica F. Por isso, a alternativa A est errada. Vejamos a alternativa B. b) F implica G e ~F implica ~G. Novamente ele comea com F implica G. Perfeito. Vejamos a segunda parte, que est em vermelho. Ns colocamos como segunda parte a proposio G implica F. A ESAF colocou ~F implica ~G. Pode? Pode!! Estas duas proposies so equivalentes, j que ele negou voltando. Lembra da equivalncia que vimos no incio do artigo? Pronto. Esta a nossa resposta. Letra B. Vejamos outro exemplo: (SMF-RJ 2010/ESAF) A proposio um nmero inteiro par se e somente se o seu quadrado for par equivale logicamente proposio: a) se um nmero inteiro for par, ento o seu quadrado par, e se um nmero inteiro no for par, ento o seu quadrado no par. b) se um nmero inteiro for mpar, ento o seu quadrado mpar. c) se o quadrado de um nmero inteiro for mpar, ento o nmero mpar. d) se um nmero inteiro for par, ento o seu quadrado par, e se o quadrado de um nmero inteiro no for par, ento o nmero no par. e) se um nmero inteiro for par, ento o seu quadrado par. Resoluo Vamos comear transformando a proposio do enunciado em uma conjuno de dois condicionais. Se um nmero inteiro for par, ento o seu quadrado par e se o quadrado de um nmero inteiro for par, ento o nmero par. Observe a alternativa A. a) se um nmero inteiro for par, ento o seu quadrado par, e se um nmero inteiro no for par, ento o seu quadrado no par.
Prof. Guilherme Neves www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES

As partes vermelhas so idnticas. No precisamos mexer nelas. Vejamos as partes verdes. Elas so equivalentes, verifique: Se o quadrado de um nmero inteiro for par, ento o nmero par. Se um nmero inteiro no for par, ento o seu quadrado no par. Aqui ns utilizamos a equivalncia de se, ento com se, ento. Devemos negar os dois components e trocar a ordem, ou seja negar voltando, negar de trs para frente. Assim, a nossa resposta a letra A. Vamos para mais um exemplo? (CGU 2012/ESAF) Seja D um conjunto de pontos da reta. Sejam K, F e L categorias possveis para classificar D. Uma expresso que equivale logicamente afirmao D K se e somente se D F e D L : a) Se D F ou D L, ento D K e, se D no K, ento D no F e D no L. b) Se D F e D L, ento D K e, se D no K, ento D no F ou D no L. c) Se D K, ento D F e D L e, se D no K, ento D no F ou D no L. d) D K se e somente se D F ou D L. e) D no F e D no L se e somente se D no K. Resoluo As alternativas ficaram muito grandes. Vamos simplificar: Chamemos de f a proposio D F, l a proposio D L e k a proposio D K. O enunciado e as alternativas ficam: (CGU 2012/ESAF) Seja D um conjunto de pontos da reta. Sejam K, F e L categorias possveis para classificar D. Uma expresso que equivale logicamente afirmao k se e somente se f e l : a) Se f ou l, ento k e, se ~k, ento ~f e ~l. b) Se f e l, ento k e, se ~k, ento ~f ou ~l. c) Se k, ento f e l e, se ~k, ento ~f ou ~l. d) k se e somente se f ou l. e) ~f e ~l se e somente se ~k. Resoluo A proposio do enunciado k se e somente se f e l. Vejamos logo as alternativas D e E, pois so mais fceis.
Prof. Guilherme Neves www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES

A alternativa D simplesmente trocou o conectivo e do segundo componente por um conectivo ou. No podemos fazer isso. Vejamos agora a alternativa E. Para transformar uma proposio composta pelo ...se e somente se... por outro ...se e somente se... podemos negar os dois componentes. Assim, k se e somente se f e l equivale a ~k se e somente se ~(f e l). S que para negar uma proposio composta pelo conectivo e, devemos negar os dois componentes e trocar o conectivo e pelo conectivo ou (Leis de DeMorgan). Assim, ficamos com: ~k se e somente se ~f ou ~l. Alm disso, podemos trocar a ordem das componentes do se e somente se sem que a frase perca o seu significado original. Ficamos com ~f ou ~l se e somente se ~k. Agora observe a alternativa e) ~f e ~l se e somente se ~k. No lugar do e deveria ser ou. Portanto, a alternativa E est errada. Vamos agora analisar as alternativas A, B e C. A frase do enunciado k se e somente se f e l e as alternativas so:
a) Se f ou l, ento k e, se ~k, ento ~f e ~l. b) Se f e l, ento k e, se ~k, ento ~f ou ~l. c) Se k, ento f e l e, se ~k, ento ~f ou ~l.

A alternativa A est errada. Vejamos os motivos: A proposio k se e somente se f e l equivale a Se k, ento f e l e se f e l, ento k.

Prof. Guilherme Neves

www.pontodosconcursos.com.br

RACIOCNIO LGICO QUANTITATIVO PROFESSOR: GUILHERME NEVES

Como podemos trocar a ordem, ficaramos com: Se f e l, ento k e, se k, ento f e l. Compare com a alternativa A:
a) Se f ou l, ento k e, se ~k, ento ~f e ~l. Na primeira parte a ESAF trocou e por ou. J est errado, portanto. A segunda parte tambm est errada, pois no se...,ento... ele negou os dois componentes e no trocou a ordem. Alm disso, ao negar o conectivo e devemos trocar por ou. Estamos agora em dvida entre B e C. b) Se f e l, ento k e, se ~k, ento ~f ou ~l.

Esta no pode ser a alternativa correta, j que a proposio vermelha equivalente proposio verde. Ou seja, como se ele estivesse escrevendo:
b) Se f e l, ento k e, se f e l, ento k. Como a frase vermelha est sendo repetida, podemo eliminar e ficar com: b) Se f e l, ento k

Esta, obviamente, no equivalente a proposio dada no enunciado. Assim, a resposta da questo a letra C. k se e somente se f e l J vimos que esta frase equivale a Se k, ento f e l e, se f e l, ento k.
c) Se k, ento f e l e, se ~k, ento ~f ou ~l.

As partes vermelhas so idnticas e as partes verdes so equivalentes. E por que so equivalentes? Ora, devemos negar os dois componentes e trocar a ordem. Alm disso, a negao de (f e l) (~f ou ~l), de acordo com as leis de DeMorgan. Resposta: c) Se D K, ento D F e D L e, se D no K, ento D no F ou D no L. Ficamos por aqui, amigos. Um abrao e bons estudo a todos.
Prof. Guilherme Neves www.pontodosconcursos.com.br