Ensino Superior

Lgica Matemtica e Computacional

2.2 Implicao e Equivalncia

Amintas Paiva Afonso

Implicao Lgica
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.
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.

Implicao Lgica
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 - 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,...)

Exemplo
p ^ q, p v q, 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

Exemplo
p ^ q, p v q, p q
p
q
p^q pvq pq
V
V
V
V
V
V
F
F
V
F
Assim, diz-se que p ^ q p v q
F
V
F
V
F
ep^qpq
F
F
F
F
V

Exemplo
p ^ q, p v q, p q
p q
p^q pvq pq
V
V
V
V
V
V
F
F
V
F
F
VDE INFERNCIA:
F
V p Fp v q
REGRA
F
F
F
F
V
(Adio)

Exemplo
p ^ q, p v q, p q
p
q
p^q pvq pq
V
V
V
V
V
V
F
F
V
F
F
V
F
V
F
F
FDE INFERNCIA:
F
F q V p v q
REGRA
(Adio)

Exemplo
p ^ q, p v q, p q
p q p^q
pvq pq
V V
V
V
V
V F
F
V
F
REGRA
qp
F
VDE INFERNCIA:
F
V p ^F
F
F (Simplificao)
F
F
V

Exemplo
p ^ q, p v q, p q
p
q
p^q pvq pq
V V
V
V
V
V F
F
V
F
REGRA
qq
F
VDE INFERNCIA:
F
V p ^F
F
F (Simplificao)
F
F
V

Implicao
pqpq
pqqp

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 (p ^ q) p

V V

V F

F V

F F

Como (p ^ q) p uma tautologia, ento (p ^ q) p,

isto , ocorre a implicao lgica.

Implicao Lgica
1. As tabelas-verdade das proposies p ^ q, p v q, p q
so:

proposio p ^ q verdadeira (V)

mente na linha 1 e, nesta linha, as
oposies p v q e p q tambm
o verdadeiras (V). Logo, a primeira
sio implica cada uma das outras
sies, isto :

p^q pvq e p^qpq

p q p^q pvq

p
q

V V

V F

F V

F F

Implicao Lgica
As mesmas tabelas-verdade tambm demonstram
as importantes Regras de Inferncia:
p q p^q pvq

p
q

V V

V F

F V

F F

(i) p p v q e q p v q (Adio)
(ii) p ^ q p e p ^ q q (Simplificao)

Implicao Lgica
Regras de
Inferncia
Adio disjuntiva (AD) p p q
Simplificao p q p ou p q q
conjuntiva(SIM)
Modus Ponens(MP) ( p q ) p q
Modus Tollens(MT) ( p q ) ~q ~p
Silogismo ( p q ) ~q p
Disjuntivo(SD)
Silogismo ( p q ) ( q r ) p r
Hipottico(SH)
Dilema ( p q ) ( r s ) ( p r ) q
Construtivo(DC)
s

Implicao Lgica
2. As tabelas-verdade das proposies p q, p q, q p
so:

proposio p q verdadeira (V)

as linhas 1 e 4 e, nestas linhas, as
oposies p q e q p tambm
o verdadeiras (V). Logo, a primeira
osio implica cada uma das outras
uas posies, isto :

p q pq pq qp

V V

V F

F V

F F

pq pq e pqqp

Implicao Lgica
3. A tabela-verdade da proposio (p v q) ^ ~p
:

sta proposio verdadeira (V)

omente na linha 3 e, nesta linha, a
oposio q tambm verdadeira.
ogo, subsiste a implicao lgica:

(p v q) ^ ~p q ,

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

V V

V F

F V

F F

Implicao Lgica
4. A tabela-verdade da proposio (p q) ^ p
so:

sta proposio verdadeira (V)

omente na linha 1 e, nesta linha, a
roposio q tambm verdadeira.
ogo, subsiste a implicao lgica:

(p q) ^ p q ,
denominada Regra Modus ponens.

p q p q (p q) ^ p

V V

V F

F V

F F

Implicao Lgica
5. As tabelas-verdade das proposies (p q) ^ ~q e ~p
so:

a proposio verdadeira (V)

mente na linha 4 e, nesta linha, a
posio ~p tambm verdadeira.
o, subsiste a implicao lgica:

(p q) ^ ~q ~p ,

p q p q ~q (pq) ^ ~q ~p

V V

V F

F V

F F

V
V

V
V

V
V

V
V

denominada Regra do Modus tollens.

As mesmas tabelas-verdade tambm mostram que ~p implica p
q, isto : ~p p q

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

F
V

V
F

Exemplo - Equivalncia Lgica

~p p p (Regra de Clavius)
p
V
F

~p ~p p
F
V

V
F

Exemplo - Equivalncia Lgica

p p ^ q p q (Regra da absoro)
p
V
V
F
F

q
V
F
V
F

p ^ q pp ^ q
V
F
F
F

V
F
V
V

pq
V
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

Ex. Tautologia e Equivalncia Lgica

P(p,q,r,...) Q(p,q,r,...) se e somente se:
V(P Q) = V (tautolgica).
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)

Proposies associadas a uma condicional

Definio: Dada a condicional p q, chamamse 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

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

V
F
V
V

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q qp ~p ~q ~q~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

Equivalentes

V
F
V
V

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q qp ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

Equivalentes

V
F
V
V

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

NO Equivalentes

V
V
F
V

V
F
V
V

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q qp ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

NO Equivalentes

V
V
F
V

V
F
V
V

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

~p

~q

pq

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

F
F
F
V

Negao disjuntas de 2 proposies

Definio:
A proposio no p ou no q (~p v ~q)
Notao: p q
p

~p

~q

pq

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

F
V
V
V

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.

V V

p
q
V

q
p
V

(p q) ^ (q
p)
V

p
q
V

V F

F V

F F

Tabelas-verdade idnticas

Logo, (p q) ^ (q p) (p q)

Equivalncia Lgica
Exemplo:
Mostrar que (p ^ q) ~(~p v ~q)

V V

A
B
V

V F

F V

F F

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

Como (p ^ q) ~(~p v ~q) uma tautologia,

ento (p ^ q) ~(~p v ~q), isto , ocorre a
equivalncia lgica.

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
pp^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

~p
q

~p~
q

V 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

Exerccios
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)
b)
c)
d)
e)

Rodrigo culpado.
se Rodrigo no mentiu, ento ele no culpado.
Rodrigo mentiu.
se Rodrigo no culpado, ento ele no mentiu.
se Rodrigo culpado, ento ele mentiu.

Exerccios
4. Se Rodrigo mentiu, ento ele culpado. Logo:
a)
b)
c)
d)
e)

Rodrigo culpado.
se Rodrigo no mentiu, ento ele no culpado.
Rodrigo mentiu.
se Rodrigo no culpado, ento ele no mentiu.
se Rodrigo culpado, ento ele mentiu.

Exerccios
5. Se voc se esforar, ento ir vencer. Logo:
a)
b)
c)
d)
e)

mesmo que se esforce, voc no vencer.

seu esforo condio necessria para vencer.
se voc no se esforar, ento no ir vencer.
voc vencer s se se esforar.
seu esforo condio suficiente para vencer.

Exerccios
5. Se voc se esforar, ento ir vencer. Logo:
a)
b)
c)
d)
e)

mesmo que se esforce, voc no vencer.

seu esforo condio necessria para vencer.
se voc no se esforar, ento no ir vencer.
voc vencer s se se esforar.
seu esforo condio suficiente para vencer.

7 Lista de Exerccios