Lgica Matemtica para concursos Dudu cearense

AULA 04
IMPLICAO LGICA E EQUIVALNCIA LGICA

Bom, acho que quem vem acompanhando as aulas vem observando que no to difcil
nossa lgica matemtica. Para entrarmos no operacional da matria, foi necessrio conhecer,
antes, alguns conceitos bsicos.
A partir de agora, cada informao ser mais importante ainda. Ser com a aula de hoje
que teremos condies de resolver (finalmente!) uma primeira questo de concurso.
De ante mo, gostaria de comentar algumas caractersticas das tabelas-verdade, que nos
auxiliaro na compreenso de muitas questes: a tautologia, a contradio e a contigncia.
A tautologia e a contradio so as de maior relevo para as questes de lgica. Mas o que
significa uma coisa e outra? Ora, observa-se a tautologia quando, ao resolver uma proposio
composta qualquer, atravs de sua tabela-verdade, a ltima coluna encerra somente com a
letra V. Ou melhor, toda proposio composta cujo seu valor lgico ser sempre V (verdade),
independemente dos valores lgicos de suas preposies simples. Para uma visualizao da
tautologia, veja a tabela-verdade seguinte para a proposio (p v ~p) princpio do terceiro
excludo, visto na Aula 02:

~p

p v ~p

E a tabela-verdade que mostra o princpio da no contradio ~ (p ^ ~p), visto tambm na

Aula 02:

~p

p v ~p

Mais uma tabela-verdade tautolgica, agora para a proposio p v ~ (p ^ q):

Lgica Matemtica para concursos Dudu cearense

p
V
V
F
F

q
V
F
V
F

p^q
V
F
F
F

~ (p ^ q)
F
V
V
V

p v ~ (p ^ q)
V
V
V
V

Vale resaltar que existem outras proposies compostas tautolgicas, bastando para isso
verificar suas respectivas tabelas-verdade e olharmos para a ltima coluna: sendo tudo V, ser a
proposio composta uma tautologia. Mas, por enquanto, para no perdermos tempo,
mostraremos apenas estas tautolgias, pois, para se saber a tautologia de uma proposio, h
caminhos mais fceis... deixemos para prxima aula.
E a contradio?, voc deve est me perguntando. A contradio o oposto da
tautologia. Enquanto que nesta h unanimidade da letra V na ltima coluna da tabela-verdade,
naquela somente aparece a letra F. Quer conferir?! Observe a proposio (p ^ ~p):

~p

p ^ ~p

Olhando outra proposio (p ~p):

~p

p ~p

Igualmente a nossa observao anterior, deixemos para encontrar a contradio de uma

proposio por um meio mais fcil, porque as tabelas-verdade um caminho muito trabalhoso para
saber da tautologia ou contradio de uma proposio.
Para finalizar esta parte inicial, ocorre a contigncia quando uma proposio composta
no nem tautologica nem contradio. H, pelo menos, um V e um F na ltima coluna da
tabela-verdade. Veja as tabelas-verdade para (~p ^ q) e (~p q) logo a seguir e confira:

Lgica Matemtica para concursos Dudu cearense

P
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~p ^ q
F
F
V
F

q
V
F
V
F

~p
F
F
V
V

~p q
V
F
V
F

Nesta, h um V na 3 linha.

P
V
V
F
F
Nesta outra, h 2 Vs e 2 Fs.

A contigncia no nos oferece muita opo para resoluo de provas de concursos, pois,
na maioria das vezes, estamos atrs do atributo tautolgico ou contraditrio de uma proposio.
Quando vamos escolher um item para gabaritar em uma questo de lgica, estaremos atrs da
verdade ou falsidade da proposio composta.

IMPLICAO LGICA

Tendo em mente os conceitos de tautologia e contradio, vamos dar continuidade e

comear a ver um tema chamado implicao lgica. Para isso, vou montar a tabela-verdade para
as proposies (p ^ q), (p v q) e (p q):

p
V
V
F
F

q
V
F
V
F

p^q
V
F
F
F

pvq
V
V
V
F

pq
V
F
F
V

Vamos observar (p ^ q). Esta proposio verdadeira apenas na 1 linha. Nesta mesma
linha, p, q, (p v q) e (p q) so tambm verdadeiras. Quer dizer, (p ^ q) implica logicamente em p,
por exemplo. Representamos a implicao atravs do smbolo =>. Assim, podemos escrever:
(p ^ q) => p

Lgica Matemtica para concursos Dudu cearense

Pois bem, a partir disso, podemos dizer que uma proposio p implica em uma outra
q se q verdadeira toda as vezes que p verdadeira. Foi, alis, o que acabamos de
comprovar, s que foi com a proposio (p ^ q).
A par destas consideraes, vamos escrever as implicaes lgicas mais importantes,
sem desenhar as tabelas-verdade, pois estamos aqui atrs de um mtodo mais fcil de resoluo,
j que dissemos antes da dificuldade de se trabalhar com tais tabelas em provas de concurso,
onde o tempo ouro! Ento, esto abaixo as implicaes lgicas fundamentais:
p => p v q
p ^ q => p
(p v q) ^ ~p => q
(p q) ^ p => q

(Modus ponens)

(p q) ^ ~q => ~p

(Modus tollens)

(p q) ^ (q r) => p r

(Silogismo hipottico)

p q => p q
p q => q p
(p q) ^ p => q
As implicaes que esto destacadas em vermelho so as mais importantes regras de
inferncia, e as que mais aparecem em questes de concurso. No mais, apenas grave: a
implicao (=>), para fins de clculo lgico, corresponde a condicional (). Veremos isso mais
frente.

EQUIVALNCIA LGICA

Diferentemente da implicao, diz-se que duas proposies so equivalentes se as suas

tabelas-verdade forem iguais. Representamos a equivalncia do seguinte modo:
p <=> q; l-se p equivalente a q.
Para exemplificar, tomemos as seguintes proposies (~p v q) e (p q). Criando suas
tabelas-verdade:

Lgica Matemtica para concursos Dudu cearense

p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

pq
V
F
V
V

~p v q
V
F
V
V

Verifica-se que as colunas 4 e 5 so idnticas, ou seja, as proposies (~p v q) e (p q)

so equivalentes. Representando esta equivalncia lgica:
(~p v q) <=> (p q)
Para nos mantermos na objetividade destas aulas, no procuraremos demonstrar as
equivalncias lgicas abaixo relacionadas. Demos, entretanto, os fundamentos bsicos para se
demonstrar qualquer equivalncia. Alm disso, para se demonstrar tais equivalncias, seria mais
racional usarmos o mtodo dedutivo, atravs da lgebra das proposies, tema esse que trarei
na prxima aula. Ento, so vlidas:
~~p <=> p

(dupla negao)

~p p <=> p (Clavius)
p q <=> ~p v q
p q <=> (p q) ^ (q p)
p q <=> (p ^ q) v (~p ^ ~q)
p q <=> ~q ~p
p p ^ q <=> p q (absoro)
p ^ ~q c <=> p q
p ^ q r <=> p (q r)

(exportao-importao)

As equivalncias lgicas destacadas em vermelho so as mais usadas nas resolues de

questes.
Uma diferena importantssima entre a implicao e equivalncia reside no fato de que, na
implicao, s h o caminho de ida, no existe o de volta. Ou melhor, toda equivalncia uma
implicao lgica por natureza. Diferentemente, a implicao no se trata necessariamente de uma
equivalncia lgica. Podemos ento dizer que toda equivalncia uma implicao lgica, mas
nem toda implicao uma equivalncia lgica. Assim:
p ^ q => p (certo)
O caminho de volta pode estar errado se desejado:
p => p ^ q (errado)

Lgica Matemtica para concursos Dudu cearense

Na equivalncia, pode-se ir e vir entre duas proposies. Temos:
(~p v q) <=> (p q)
O caminho de volta seria perfeitamente vlido:
(~p v q) <=> (p q)
Em outras palavras:
dizer que p ^ q <=> p a mesma coisa que afirmar que p ^ q => p
porm p ^ q => p no a mesma coisa de dizer que p <=> p ^ q
Mas depois desse monte de informaes, o que nos podemos fazer ento. Como eu disse
no incio, j podemos resolver nossa primeira questo.
(AFC-2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente
a dizer que verdade que:
a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.
Resoluo
Legal, no?! A primeira coisa que devemos fazer em questes de lgica matemtica sempre
representar as proposies simples, da linguagem corrente para a linguagem simblica. Logo:
p: Pedro pobre
q: Alberto alto
A proposio Pedro pobre e Alberto alto.
(p ^ q)
Logo, dizer que no verdade que Pedro pobre e Alberto alto negar toda a proposio
Pedro pobre e Alberto alto. A, escrevendo a nossa proposio composta em linguagem
simblica:
~ (p ^ q)

Lgica Matemtica para concursos Dudu cearense

Vamos l! Montaremos a tabela-verdade do problema.
p
V
V
F
F

Q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

p^q
V
F
F
F

~ (p ^ q)
F
V
V
V

Agora, construiremos a tabela-verdade de cada item da questo e ver qual a idntica

com a do enunciado, que ser a proposio equivalente:
a)
P
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

~p v ~q
F
V
V
V

P
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

~p ^ ~q
F
F
F
V

p
V
V
F
F

q
V
F
V
F

~q
F
V
F
V

p v ~q
V
V
F
V

p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~p q
V
V
V
F

b)

c)

d)

Lgica Matemtica para concursos Dudu cearense

e)
p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

~p ~q
V
V
F
V

Pronto, a tabela-verdade do enunciado idntica com a do item a), que a resposta

correta. Assim, podemos afirmar que:
~ (p ^ q) <=> ~p v ~q
Ou, no bom portugus, podemos dizer que no verdade que Pedro pobre e Alberto
alto logicamente equivalente a dizer que Pedro no pobre ou Alberto no alto.
Essa questo foi bem trabalhosa. Isso prova que tentar resolver questes de lgica
atravs de tabelas-verdade sobremaneira trabalhoso e quase invivel em concursos pblicos.
Possvel , mas no recomendo. Tal questo pode ser resolvida em apenas um passo.
Devido a inviabilidade, a priori, das tabelas-verdade para os concurseiros, devemos
aprender a lgebra das proposies e usar uma outra forma de se resolver exerccios de lgica,
atravs do chamado mtodo dedutivo. O entendimento da prxima aula ajudar (e muito!) a fixar
essas regras das implicaes e equivalncias lgicas.
Fui!
Dudu cearense.

Exerccio

Questo) Ana artista ou Carlos carioca. Se Jorge juiz, ento Breno no bonito. Se
Carlos carioca, ento Breno bonito. Isso logicamente equivalente a dizer que verdade
que:
a) Jorge juiz e Breno bonito
b) Carlos carioca ou Breno bonito
c) Breno bonito e Ana artista
d) Ana no artista e Carlos carioca
e) Nenhuma das alternativas anteriores