Caro aluno,

Neste artigo vamos conversar sobre um dos aspectos mais cobrados nas provas de
Raciocnio Lgico. Trata-se da equivalncia entre proposies lgicas. Daremos
prioridade ao tipo de equivalncia mais cobrado em provas, ok?
Para comear, observe essas duas proposies:
Se estudo no Estratgia, ento sou aprovado
Se no sou aprovado, ento no estudo no Estratgia
As duas frases acima so proposies condicionais, isto , proposies do tipo se p,
ento q, onde p uma condio que, caso ocorra, torna obrigatria a ocorrncia do
resultado q. Na primeira frase, se a condio estudar no Estratgia acontecer, ento
obrigatoriamente o resultado ser aprovado precisa ocorrer tambm, concorda? Caso a
condio ocorra e mesmo assim o resultado no se verifique, a frase no estar sendo
respeitada! J na segunda frase, se a condio no ser aprovado ocorrer, ento
obrigatoriamente o resultado no estudar no Estratgia precisa ser verdade tambm,
caso contrrio a frase no ser respeitada.
Voc notou que ambas as frases carregam a mesma mensagem, a mesma ideia? Caso
a primeira seja verdadeira (ou seja, a condio estudar no Estratgia leve
obrigatoriamente ao resultado ser aprovado), a segunda tambm ser verdadeira (caso a
pessoa no seja aprovada, ento porque ela no estudou no Estratgia, afinal se tivesse
estudado naquela instituio ela seria aprovada).
As duas proposies acima so consideradas EQUIVALENTES entre si, visto que elas
transmitem a mesma ideia. De forma mais tcnica, dizemos que duas proposies so
equivalentes entre si quando elas SEMPRE possuem o mesmo valor lgico ou seja,
quando uma verdadeira, a outra tambm , e quando uma falsa, a outra tambm .
Resumidamente, duas proposies so equivalentes quando possuem a mesma tabelaverdade. Vamos construir a tabela-verdade das proposies acima?
Para montarmos as tabelas, note que a primeira proposio pode ser representada por p
>q, onde p estudo no Estratgia e q sou aprovado. Assim, a segunda proposio
pode ser representada por ~q>~p, afinal ~q simplesmente NO sou aprovado, e ~p
simplesmente NO estudo no Estratgia. Tendo essa representao das proposies em
mos, quantas linhas deve ter nossa tabela-verdade? Ora, se temos 2 proposies
simples (p e q), o nmero de linhas da tabela igual a 22 = 4.
Temos abaixo uma tabela com 4 linhas, onde coloquei nas duas primeiras colunas as
proposies p e q, e nas duas seguintes as suas negaes ~p e ~q (que tem valor oposto
ao de p e q, respectivamente):

Voc lembra que uma proposio condicional s falsa quando temos a situao V>F?
Repare que, para a proposio p>q, isto s ocorre na segunda linha, onde p V e q F.
Note ainda que, para a proposio ~q>~p, a situao V>F tambm s ocorre na
segunda linha, onde ~q V e ~p F. Nas demais linhas as duas proposies tem valor
lgico verdadeiro. Com isso, ficamos com a seguinte tabela:

Reparou que as tabelas-verdade dessas duas proposies realmente so idnticas?

Portanto, grave isso:p>q equivalente a ~q>~p! Essa equivalncia muito conhecida
e extremamente cobrada em provas de concurso. Aproveite e grave tambm que essas
duas proposies so equivalentes tambm a esta aqui:~p ou q. Com isso voc acertar
muitas questes rapidamente, sem perder tempo com tabelas-verdade. Fique com esta
imagem na sua mente:

Vamos resolver juntos algumas questes recentes que cobraram esta equivalncia?
CESPE MPOG 2015) Considerando a proposio P: Se Joo se esforar o bastante,
ento Joo conseguir o que desejar, julgue o item a seguir.
( ) A proposio Se Joo no conseguiu o que desejava, ento Joo no se esforou o
bastante logicamente equivalente proposio P.
RESOLUO:
Veja que a proposio P do enunciado uma condicional pq, onde:
p = Joo se esforar o bastante
q = Joo conseguir o que desejar
Observe agora a proposio dada neste item:
Se Joo no conseguiu o que desejava, ento Joo no se esforou o bastante
Utilizando as mesmas letras, note que o trecho NO conseguiu o que desejava
pode ser representado pela negao de q, ou seja, por ~q. E veja que o trecho NO se
esforou o bastante pode ser representado pela negao de p, que ~p. Assim, esta
proposio pode ser simbolizada por ~q>~p.
Lembrando que p>q equivalente a ~q>~p, fica claro que as proposies
realmente so equivalentes entre si! O item est certssimo, nem precisamos desenhar a
tabela-verdade.
Resposta: CERTO

FGV TJ/PI 2015) Considere a sentena: Se gosto de capivara, ento gosto de javali.
Uma sentena logicamente equivalente sentena dada :
(A) Se no gosto de capivara, ento no gosto de javali.
(B) Gosto de capivara e gosto de javali.
(C) No gosto de capivara ou gosto de javali.
(D) Gosto de capivara ou no gosto de javali.
(E) Gosto de capivara e no gosto de javali.
RESOLUO:
Temos no enunciado a condicional p>q, onde:
p = gosto de capivara
q = gosto de javali
J sabemos que esta condicional equivale s duas proposies abaixo:
~q>~p

~p ou q

Para escrever essas proposies, vamos comear escrevendo as negaes que

precisamos ter em mos:
~p = no gosto de capivara
~q = no gosto de javali
Assim, as proposies equivalentes manjadas so:
~q>~p : Se no gosto de javali, ento no gosto de capivara
~p ou q : No gosto de capivara ou gosto de javali
Veja agora as alternativas de resposta e compare com essas duas opes que
temos. A opo ~q>~p no aparece em nenhuma alternativa, mas a opo ~p ou q
aparece na letra C:
(C) No gosto de capivara ou gosto de javali.
Podemos marc-la sem medo de errar!
Resposta: C
Gostou do que vimos aqui? Veja este vdeo abaixo, tambm sobre este assunto:

Fico por aqui deixando uma ltima dica: no esquea de me seguir no

aplicativo Periscope, onde fao transmisses gratuitas e ao vivo sobre diversos assuntos

de Raciocnio Lgico e Matemtica para concursos. Basta voc baixar o aplicativo no seu
smartphone e me procurar: @ARTHURRRL

E no deixe de conhecer os meus CURSOS EM ANDAMENTO, clicando AQUI.

Espero poder ajud-lo a conseguir aquela to sonhada aprovao!
Saudaes,
Prof. Arthur Lima