Ponto dos Concursos - Equivalncia lgica sem tabela-verdade

1 de 4

https://www.pontodosconcursos.com.br/Artigo/13709/guilherme-neves...

Institucional

Como Funciona (/Home/ComoFunciona)

(/)

Fale conosco (/Home/Contato)

CURSOS ONLINE (/CURSOSONLINE/INDEX)

RECURSOS

DISCURSIVAS (/CURSOSONLINE/CURSOS?PAR=4)

login (/Auth/Login)

COACHING

PONTO MAIS

LIVRARIA DO PONTO (HTTP://WWW.LIVRARIADOPONTO.COM.BR/)

Prof. Guilherme Neves

13/03/2016 | 15:14

Equivalncia lgica sem tabela-verdade

Oi, pessoal.
Tudo bem?
O tpico "equivalncia lgica" talvez seja o mais importante de toda a lgica proposicional em concursos pblicos.
Por definio, proposies que possuem a mesma tabela-verdade so chamadas de proposies logicamente
equivalentes (ou simplesmente equivalentes).
E o que isto significa? Ora, duas proposies so equivalentes quando elas dizem EXATAMENTE a mesma coisa;
quando elas tm o mesmo significado; quando uma pode ser substituda pela outra; quando elas possuem os
mesmos valores lgicos. Ou seja, quando uma for verdadeira, a outra tambm ser; quando uma for falsa, a outra
tambm ser.
Comecemos com um exemplo bem simples.
p: Eu joguei o lpis.
q: O lpis foi jogado por mim.
Estas duas proposies tem o mesmo significado, apesar de serem escritas com estruturas diferentes. Quando uma
for verdadeira, a outra tambm ser e quando uma delas for falsa, a outra tambm ser. Elas so, portanto,
equivalentes.
Entretanto, no so proposies assim que aparecem nas provas de concurso. Na esmagadora maioria das vezes so
proposies compostas que surgem nos demais certames.
A rigor, devemos construir tabelas-verdade para garantir e verificar se duas proposies ou mais so equivalentes
entre si. Porm, h algumas equivalncias que aparecem tanto nas provas que o estudante precisa ter a habilidade
de resolv-las sem o auxlio da tabela.
Hoje vamos tratar duas equivalncias importantes.
A primeira delas ensina como transformar uma proposio composta pelo "Se..., ento..." em outra proposio
composta pelo "Se..., ento...". A outra ensina como transformar uma proposio composta pelo "Se..., ento..."
em uma composta pelo conectivo "ou" (e vice-versa).
Vamos l.
i) As proposies "Se p, ento q" e "Se ~q, ento ~p" so equivalentes.

25/04/2016 21:49

Ponto dos Concursos - Equivalncia lgica sem tabela-verdade

2 de 4

https://www.pontodosconcursos.com.br/Artigo/13709/guilherme-neves...

Esta regra MUITO IMPORTANTE. Em suma, a regra diz o seguinte (em uma linguagem bem coloquial): para
transformar uma proposio de "se..., ento..." para "se..., ento...", leia a frase de trs para frente negando tudo.
Muita gente tambm fala assim: "volta negando". Vejamos alguns exemplos:
Se sou recifense, ento sou pernambucano.
Se no sou pernambucano, ento no sou recifense.
Estas duas proposies so equivalentes. Percebeu o processo de construo da segunda a partir da primeira?
Voc deve inverter a ordem das proposies e negar ambas.
Vejamos outro exemplo:
Se no estudo, ento assisto Netflix.
Se no assisto Netflix, ento estudo.
Vamos agora aprender como transformar de "se..., ento..." para "ou".
ii) As proposies "Se p, ento q" e "~p ou q" so equivalentes.
Esta regra tambm muito importante e to fcil de aprender quanto anterior. Veja bem.
Para transformar de "Se..., ento..." para "ou", devemos NEGAR O PRIMEIRO COMPONENTE, trocar o conectivo de
"se..., ento" para "ou" (ou o contrrio) e COPIAR O SEGUNDO COMPONENTE.
Vejamos um exemplo.
Vou festa ou no me chamo Guilherme.
Devemos negar o primeiro componente, trocar "ou" por "se...,ento..." e copiar o segundo componente.
Obtemos: Se no vou festa, ento no me chamo Guilherme.

Outro exemplo: Se como muito, ento engordo.

Vamos negar o primeiro componente, trocar o conectivo por "ou" e copiar o segundo componente.
Obtemos "No como muito ou engordo".

Fcil demais, no? Vamos agora resolver uma questo bem recente do CESPE para treinar estas regras?

(MP/ENAP 2015/CESPE) Considerando a proposio P: Se Joo se esforar o bastante, ento Joo conseguir o que
desejar, julgue os itens a seguir.
43. A proposio Joo no se esfora o bastante ou Joo conseguir o que desejar logicamente equivalente
proposio P.
44. A proposio Se Joo no conseguiu o que desejava, ento Joo no se esforou o bastante logicamente
equivalente proposio P.
Resoluo
Vejamos a proposio P dada no enunciado: Se Joo se esforar o bastante, ento Joo conseguir o que desejar.
Aplicando a primeira regra ( a regra do "volta negando"), obtemos:
i) Se Joo no consegue o que deseja, ento Joo no se esfora o bastante.
exatamente o que h no item 44 (no se preocupe com o tempo verbal).
Aplicando a segunda regra, vamos transformar de "Se..., ento..." para "ou". Para tanto, devemos negar o primeiro
componente, trocar o conectivo e repetir o segundo componente.
ii) Joo no se esfora o bastante ou Joo conseguir o que desejar.
Isto exatamente o que h no item 43.
Portanto, os dois itens esto certos.
Ficamos por aqui, pessoal. Espero que vocs tenham gostado da dica de hoje.
Um forte abrao, bons estudos e at o prximo artigo.

25/04/2016 21:49

Ponto dos Concursos - Equivalncia lgica sem tabela-verdade

3 de 4

https://www.pontodosconcursos.com.br/Artigo/13709/guilherme-neves...

Guilherme Neves

Comentrios

14/03/2016 - Pedro
Artigo de grande valia. Na Condicional Se p ento q, o seu equivalente Se no q Ento no p
denomina-se de Contrapositiva. Essa forma da Contrapositiva pode ser identicada nas funes
Injetivas, do seguinte modo: Sejam X e Y dois conjuntos no vazios, ento podemos armar que
f(a) = f(b) em Y IMPLICA a = b em X, ou seja, elementos(imagens) idnticos(as) no contradomnio
da funo IMPLICAM elementos idnticos no domnio! Valeu pelo artigo, Guilherme!
14/03/2016 - Prof Guilherme Neves
Isso mesmo! No caso, podemos rescrever a denio de funes injetivas utilizando a
contrapositiva: se ab, ento f(a)f(b). A verdade que podemos utilizar estas equivalncias no
apenas em Lgica ou Matemtica, mas tambm em qualquer tipo de texto. Fico feliz que voc
gostou do artigo. At a prxima e bons estudos!

Comentar este artigo

MAIS ARTIGOS DO AUTOR

19/04/2016|Prova
continuar
Comentada
lendo (/Artigo/13881/guilherme-neves/prova-comentada-matematica-ibge-2016-fgv)
- Matemtica - IBGE 2016/FGV

13/04/2016|IBGE - Tcnico
continuar
- Olendo
que esperar
(/Artigo/13861/guilherme-neves/ibge-tecnico-o-que-esperar-na-prova)
na prova?

12/04/2016|Prova Comentada
continuar
- RLQ
lendo
- IBGE
(/Artigo/13855/guilherme-neves/prova-comentada-rlq-ibge-2016)
2016

10/04/2016|Probabilidade
continuar lendo
Condicional
(/Artigo/13849/guilherme-neves/probabilidade-condicional-o-retorno-de-jedi)
- O Retorno de Jedi

2 (/Artigo/137/Guilherme%20Neves?page=2&quantidade=4)

3 (/Artigo/137/Guilherme%20Neves?page=3&quantidade=4)
4 (/Artigo/137/Guilherme%20Neves?page=4&quantidade=4)
5 (/Artigo/137/Guilherme%20Neves?page=5&quantidade=4)
6 (/Artigo/137/Guilherme%20Neves?page=6&quantidade=4)
7 (/Artigo/137/Guilherme%20Neves?page=7&quantidade=4)
8 (/Artigo/137/Guilherme%20Neves?page=8&quantidade=4)
9 (/Artigo/137/Guilherme%20Neves?page=9&quantidade=4)
(/Artigo/137/Guilherme%20Neves?page=2&quantidade=4)

Voltar

25/04/2016 21:49

Ponto dos Concursos - Equivalncia lgica sem tabela-verdade

4 de 4

https://www.pontodosconcursos.com.br/Artigo/13709/guilherme-neves...

Receba nossas novidades

CLIQUE PARA SE CADASTRAR

(http://www.facebook.com
(https://twitter.com
(https://plus.google.com
(http://www.youtube.com
(https://instagram.com
/pontodosconcursos)
/sigaopontodc)
/110698824224794837074
/VideoDoPonto)
/pontodosconcursosocial/)

25/04/2016 21:49