Ensino Superior

2.2 Implicao e Equivalncia

Amintas Paiva Afonso
Lgica Matemtica e Computacional
Definio:
Dadas as proposies compostas P e Q, diz-se que
ocorre uma implicao lgica (ou relao de
implicao) entre P e Q quando a proposio
condicional P Q uma tautologia.

Notao: P Q
Implicao Lgica
Portanto, dizemos que P Q quando nas
respectivas tabelas-verdade dessas duas
proposies no aparece V na ltima coluna de P e F
na ltima coluna de Q, com V e F em uma mesma
linha, isto , no ocorre P e Q com valores lgicos
simultneos respectivamente V e F.
Implicao Lgica
Em particular, toda proposio implica uma
tautologia e somente uma contradio implica outra
contradio.
Implicao Lgica
Exemplos:
a) 3 = 2 + 1 3 = (2 + 1).
Podemos usar o smbolo , pois a proposio
condicional: 3 = 2 + 1 3= (2 + 1) verdadeira.

b) No podemos escrever que 3 > 2 3 > 4, pois
a proposio condicional: 3 > 2 3 > 4 falsa.
Observao: Os smbolos e tm
significados diferentes: O smbolo
entre duas proposies dadas indica uma
relao, isto , que a proposio
condicional associada uma tautologia,
enquanto realiza uma operao entre
proposies dando origem a uma nova
proposio p q (que pode conter
valores lgicos V ou F.
Implicao Lgica
Implicao - Propriedades
Propriedade Reflexiva:
P(p,q,r,...) P(p,q,r,...)
Propriedade Transitiva:
Se P(p,q,r,...) Q(p,q,r,...) E
Q(p,q,r,...) R(p,q,r,...), ENTO
P(p,q,r,...) R(p,q,r,...)
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
Exemplo
Exemplo
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
Assim, diz-se que p ^ q p v q
e p ^ q p q
Exemplo
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
REGRA DE INFERNCIA: p p v q
(Adio)
Exemplo
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
REGRA DE INFERNCIA: q p v q
(Adio)
Exemplo
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
REGRA DE INFERNCIA: p ^ q p
(Simplificao)
Exemplo
p ^ q, p v q, p q
p q p ^ q p v q p q
V V V V V
V F F V F
F V F V F
F F F F V
REGRA DE INFERNCIA: p ^ q q
(Simplificao)
Implicao
p q p q
p q q p
PROVE!
Implicao
(p v q) ^ ~p q
(p v q) ^ ~q p
REGRA DE INFERNCIA:
SILOGISMO DISJUNTIVO
Implicao
(p q) ^ p q
REGRA MODUS ponens
(p q) ^ ~q ~p
REGRA MODUS tollens
TAUTOLOGIA e IMPLICAO LGICA
Teorema: A proposio P(p,q,r,...) IMPLICA a
proposio Q(p,q,r,...) se e somente se a
condicional P Q tautolgica.
P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
Exemplo de Implicao e Tautologia
P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
A condicional:
(p q) ^ (q ^ r) (p r) Tautologia.

Logo, deduz-se a implicao lgica:
(p q) ^ (q ^ r) p r
(Regra do SILOGISMO HIPOTTICO)
Implicao Lgica
Exemplo: Mostrar que (p ^ q) p
p q p ^ q
V V V
V F F
F V F
F F F
Como (p ^ q) p uma tautologia, ento (p ^ q) p,
isto , ocorre a implicao lgica.
(p ^ q) p
V
V
V
V
Implicao Lgica
1. As tabelas-verdade das proposies p ^ q, p v q, p q
so:
p q p ^ q p v q p q
V
V
F
F
p ^ q p v q e p ^ q p q
F
V
F
V
F
V
F
F
V
V
F
V
F
V
V
F
A proposio p ^ q verdadeira (V)
somente na linha 1 e, nesta linha, as
proposies p v q e p q tambm
so verdadeiras (V). Logo, a primeira
posio implica cada uma das outras
posies, isto :
V V V
As mesmas tabelas-verdade tambm demonstram
as importantes Regras de Inferncia:
(i) p p v q e q p v q (Adio)
(ii) p ^ q p e p ^ q q (Simplificao)
Implicao Lgica
p q p ^ q p v q p q
V
V
F
F
F
V
F
V
F
V
F
F
V
V
F
V
F
V
V
F
V V V
Implicao Lgica
Regras de Inferncia
Adio disjuntiva (AD) p p v q
Simplificao conjuntiva(SIM) p . q p ou p . q q
Modus Ponens(MP) ( p q ) . p q
Modus Tollens(MT) ( p q ) . ~q ~p
Silogismo Disjuntivo(SD) ( p v q ) . ~q p
Silogismo Hipottico(SH) ( p q ) . ( q r ) p r
Dilema Construtivo(DC) ( p q ) . ( r s ) . ( p v r ) q v s
Dilema Destrutivo(DD) ( p q ) . ( r s ) . ( ~q v ~s ) ~p v ~r
Absoro(ABS) p q p ( p q )
2. As tabelas-verdade das proposies p q, p q, q p
so:
p q p q p q q p
V
V
F
F
p q p q e p q q p
F
V
F
V
F
V
V
F
F
V
V
V
V
V
V
F
A proposio p q verdadeira (V)
nas linhas 1 e 4 e, nestas linhas, as
proposies p q e q p tambm
so verdadeiras (V). Logo, a primeira
posio implica cada uma das outras
duas posies, isto :
Implicao Lgica
V V V
V V V
3. A tabela-verdade da proposio (p v q) ^ ~p
:
p q p v q ~p (p v q) ^ ~p
V
V
F
F
(p v q) ^ ~p q ,

F
V
F
V
V
V
F
V
F
F
V
V
F
F
F
V
Esta proposio verdadeira (V)
somente na linha 3 e, nesta linha, a
proposio q tambm verdadeira.
Logo, subsiste a implicao lgica:
Implicao Lgica
4. A tabela-verdade da proposio (p q) ^ p
so:
p q p q (p q) ^ p
V
V
F
F
(p q) ^ p q ,

denominada Regra Modus ponens.
F
V
F
V
F
V
V
V
F
V
F
F
Esta proposio verdadeira (V)
somente na linha 1 e, nesta linha, a
proposio q tambm verdadeira.
Logo, subsiste a implicao lgica:
Implicao Lgica
V V V V
5. As tabelas-verdade das proposies (p q) ^ ~q e ~p
so:
p q p q ~q (pq) ^ ~q ~p
V
V
F
F
(p q) ^ ~q ~p ,

denominada Regra do Modus tollens.
As mesmas tabelas-verdade tambm mostram que ~p
implica p q, isto : ~p p q
F
V
F
V
F
V
V
V
V
F
V
F
F
F
V
F
Esta proposio verdadeira (V)
somente na linha 4 e, nesta linha, a
proposio ~p tambm verdadeira.
Logo, subsiste a implicao lgica:
F
F
V
V
Implicao Lgica
V V V V
6 Lista de Exerccios
Equivalncia Lgica
Definio: Dadas as proposies
compostas P e Q, diz-se que ocorre uma
equivalncia lgica entre P e Q quando
suas tabelas-verdade forem idnticas.

Notao: P Q ou P Q
(L-se: "P equivalente a Q")
Equivalncia Lgica
Notao:
P(p,q,r,...) Q(p,q,r,...)
P equivalente a Q
Se as proposies P(p,q,r,...) e Q(p,q,r,...)
so ambas TAUTOLOGIAS, ou ento,
so CONTRADIES,
ento so EQUIVALENTES.
Equivalncia - Propriedades
Propriedade Reflexiva:
P(p,q,r,...) P(p,q,r,...)
Propriedade Simtrica:
Se P(p,q,r,...) Q(p,q,r,...) ENTO
Q(p,q,r,...) P(p,q,r,...)
Equivalncia - Propriedades
Propriedade Transitiva:
Se P(p,q,r,...) Q(p,q,r,...) E
Q(p,q,r,...) R(p,q,r,...) ENTO
P(p,q,r,...) R(p,q,r,...) .
Exemplo - Equivalncia Lgica
~~p p (Regra da dupla negao)
p ~p ~~p
V F V
F V F
~p p p (Regra de Clavius)
p ~p ~p p
V F V
F V F
Exemplo - Equivalncia Lgica
Exemplo - Equivalncia Lgica
p p ^ q p q (Regra da absoro)
p q p ^ q pp ^ q p q
V V V V V
V F F F F
F V F V V
F F F V V
Equivalncia Lgica
p q ~p v q
p q (p q) ^ (q p)
p q (p ^ q) v (~p ^ ~q)
PROVE!
Tautologia Equivalncia Lgica
Teorema: P(p,q,r,...) EQUIVALENTE
Q(p,q,r,...) se e somente se a
bicondicional P Q tautolgica.
P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
Tautologia e Equivalncia Lgica
P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
DEMONSTRAO:
Se P(p,q,r,...) e Q(p,q,r,...) SO
EQUIVALENTES ento tm tabelas-verdade
idnticas, e por conseguinte o
valor lgico da bicondicional sempre Verdade
A bicondicional:
(p ^ ~q r) (p q) e sendo V(r) = F
Tautologia.

Logo, deduz-se a equivalncia lgica:
(p ^ ~q r) (p q)
(Demonstrao por Absurdo)
P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
Ex. Tautologia e Equivalncia Lgica
Proposies associadas a uma condicional
Definio: Dada a condicional p q, chamam-
se PROPOSIES ASSOCIADAS a p q,
as 3 seguintes proposies condicionais que
contm p e q:
Proposio RECPROCA de p q: q p
Proposio CONTRRIA de p q: ~p ~q
Proposio CONTRAPOSITIVA de p q: ~q ~p
Proposies associadas a uma condicional
p q p q qp ~p ~q ~q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
As tabelas-verdade dessas 4 proposies:
Proposies associadas a uma condicional
p q p q qp ~p ~q ~q~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
As tabelas-verdade dessas 4 proposies:
Equivalentes
Proposies associadas a uma condicional
p q p q qp ~p ~q ~q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
As tabelas-verdade dessas 4 proposies:
Equivalentes
Proposies associadas a uma condicional
p q p q qp ~p ~q ~q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
As tabelas-verdade dessas 4 proposies:
NO Equivalentes
Proposies associadas a uma condicional
p q p q qp ~p ~q ~q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
As tabelas-verdade dessas 4 proposies:
NO Equivalentes
Outras Denominaes
Proposio CONTRRIA de p q: ~p ~q
Tambm chamada de INVERSA de p q
Proposio CONTRAPOSITIVA de p q: ~q ~p
Tambm chamada de CONTRA-RECPROCA,
j que a contrria da recproca.
p q tambm chamada de DIRETA.
Exemplo
Achar a contrapositiva da condicional:
Se x menor que 0, ento x no positivo.
p: x menor que 0.
q: x positivo.
Condicional: p ~q
Contrapositiva: ~~q ~p
Porm: ~~q -> ~p q ~p
Ling.corrente: Se x positivo, ento x no < que 0.
Negao conjunta de 2 proposies
Definio:
A proposio no p e no q (~p ^ ~q)
Notao: p + q
p q ~p ~ q p + q
V V F F F
V F F V F
F V V F F
F F V V V
Definio:
A proposio no p ou no q (~p v ~q)
Notao: p | q
p q ~p ~ q p | q
V V F F F
V F F V V
F V V F V
F F V V V
Negao disjuntas de 2 proposies
Equivalncia Lgica
Teoremas
A proposio P logicamente equivalente
proposio Q, ou seja, (P Q), sempre que o
bicondicional (P Q) uma tautologia.
Equivalncia Lgica
Exemplo:
Mostrar que (p q) ^ (q p) e (p q) so
equivalentes.
p q p q q p (p q) ^ (q p) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
Tabelas-verdade idnticas
Logo, (p q) ^ (q p) (p q)
Equivalncia Lgica
Exemplo:
Mostrar que (p ^ q) ~(~p v ~q)
Como (p ^ q) ~(~p v ~q) uma tautologia,
ento (p ^ q) ~(~p v ~q), isto , ocorre a
equivalncia lgica.


p q p ^ q ~ p ~q ~p v ~q ~(~p v~q) AB
V V V F F F V V
V F F F V V F V
F V F V F V F V
F F F V V V F V
Equivalncia Lgica
Equivalncia Lgica
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.
Equivalncia Lgica
Assim: p ^ q p (certo)
O caminho de volta pode estar errado se desejado:
p p ^ q (errado)
Na equivalncia, pode-se ir e vir entre duas
proposies. Temos:
(~p v q) (p q)
O caminho de volta seria perfeitamente vlido:
(p q) (~p v q)
Equivalncia Lgica
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
Equivalncia Lgica
As proposies P e Q so equivalentes quando
apresentam tabelas verdades idnticas.
Indicamos que p equivalente a q do seguinte
modo: p q.
Exemplos:
(p q) ^ ( q p) p q
p q ~( p ^ ~ q ) ~p v q
Equivalncia Lgica
Exerccio:
Dizer que Andr artista ou Bernardo no engenheiro
logicamente equivalente a dizer que:
a) Andr artista se e somente Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro.
Resoluo: Na expresso temos ~p v q p q ~q ~p
Temos duas possibilidades de equivalncia p q: Se Andr no
artista , ento Bernardo no engenheiro. Porm no temos essa
opo.
~q ~p: Se Bernardo engenheiro, ento Andr artista. Logo reposta
letra d).
Equivalncia Lgica
Exerccio:
Dizer que Pedro no pedreiro ou Paulo paulista, do
ponto de vista lgico, o mesmo que dizer que::
a) Se Pedro pedreiro, ento Paulo paulista.
b) Se Paulo paulista, ento Pedro pedreiro.
c) Se Pedro no pedreiro, ento Paulo paulista.
d) Se Pedro pedreiro, ento Paulo no paulista.
e) Se Pedro no pedreiro, ento Paulo no paulista.
Resoluo: Na expresso temos ~p v q p q
p q: Se Pedro pedreiro, ento Paulo paulista. Letra a).
Equivalncia Lgica
Exerccio:
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.
p: Pedro pobre q: Alberto alto
A proposio Pedro pobre e Alberto alto.
(p ^ q)
Equivalncia Lgica
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)

Agora, vamos demonstrar na tabela-verdade...
Equivalncia Lgica
p q ~p ~q p^q ~(p^q) ~pv~q ~p^~q pv~q ~pq ~p~q
V V F F V F F F V V V
V F F V F V V F V V V
F V V F F V V F F V F
F F V V F V V V V F V
Resposta correta: a) ~(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
1. A negao da afirmao condicional "se estiver
chovendo, eu levo o guarda-chuva" :
a) se no estiver chovendo, eu levo o guarda-chuva
b) no est chovendo e eu levo o guarda-chuva
c) no est chovendo e eu no levo o guarda-chuva
d) se estiver chovendo, eu no levo o guarda-chuva
e) est chovendo e eu no levo o guarda-chuva
Exerccios
2.Chama-se tautologia a toda proposio que
sempre verdadeira, independentemente da
verdade dos termos que a compem. Um exemplo
de tautologia :
a) se Joo alto, ento Joo alto ou Guilherme gordo
b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme
gordo
d) se Joo alto ou Guilherme gordo, ento Joo
alto e Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo
Exerccios
3. Considere as afirmaes: A) se Patrcia uma boa amiga,
Vtor diz a verdade; B) se Vtor diz a verdade, Helena no
uma boa amiga; C) se Helena no uma boa amiga,
Patrcia uma boa amiga. A anlise do encadeamento
lgico dessas trs afirmaes permite concluir que elas:
a) implicam necessariamente que Patrcia uma boa
amiga
b) so consistentes entre si, quer Patrcia seja uma boa
amiga, quer Patrcia no seja uma boa amiga
c) implicam necessariamente que Vtor diz a verdade e que
Helena no uma boa amiga
d) so equivalentes a dizer que Patrcia uma boa amiga
e) so inconsistentes entre si
Exerccios
4. Se Rodrigo mentiu, ento ele culpado. Logo:
a) Rodrigo culpado.
b) se Rodrigo no mentiu, ento ele no culpado.
c) Rodrigo mentiu.
d) se Rodrigo no culpado, ento ele no mentiu.
e) se Rodrigo culpado, ento ele mentiu.
Exerccios
4. Se Rodrigo mentiu, ento ele culpado. Logo:
a) Rodrigo culpado.
b) se Rodrigo no mentiu, ento ele no culpado.
c) Rodrigo mentiu.
d) se Rodrigo no culpado, ento ele no mentiu.
e) se Rodrigo culpado, ento ele mentiu.
Exerccios
5. Se voc se esforar, ento ir vencer. Logo:
a) mesmo que se esforce, voc no vencer.
b) seu esforo condio necessria para vencer.
c) se voc no se esforar, ento no ir vencer.
d) voc vencer s se se esforar.
e) seu esforo condio suficiente para vencer.
Exerccios
5. Se voc se esforar, ento ir vencer. Logo:
a) mesmo que se esforce, voc no vencer.
b) seu esforo condio necessria para vencer.
c) se voc no se esforar, ento no ir vencer.
d) voc vencer s se se esforar.
e) seu esforo condio suficiente para vencer.
Exerccios
7 Lista de Exerccios