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