37

Mtodos e Estratgias de Estudo

IMPLICAO E EQUIVALNCIA
LGICA

J sabemos avaliar os valores lgicos de uma proposio composta

e julgar se ela uma tautologia, contradio ou contingncia. Mas
ser que dada uma proposio composta conseguimos deduzir alguma coisa a respeito de outra proposio composta?

5.1 Implicao Lgica

Diz-se que uma proposio P(p,q,r,...) implica logicamente ou

apenas implica uma proposio Q(p,q,r,...), se Q(p,q,r,...) verdadeira (V) todas as vezes que P(p,q,r,...) verdadeira (V).

Em outras palavras, uma proposio P(p,q,r,...) implica logicamente uma

proposio Q(p,q,r,...), todas as vezes que nas respectivas tabelas-verdade
dessas duas proposies no aparecer V na ltima coluna de P e F na ltima coluna de Q, com V e F na mesma linha, ou seja, no ocorre P e Q com
valores lgicos simultneos V e F (ALENCAR FILHO, 2003).
Representao: P(p,q,r,...) => Q(p,q,r,...)
Em particular, toda proposio implica uma tautologia e somente uma
contradio implica uma contradio.

5.2

Propriedades da Implicao Lgica

A relao de implicao lgica entre proposies possui as propriedades

reflexiva (R) e transitiva (T), isto , simbolicamente.
(R)
(T)

P(p,q,r,...) => P(p,q,r,...)

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,...)
Lgica e Matemtica Discreta

38

Captulo 5

Exemplos:
(1) Considere a tabela-verdade para as proposies (p
e (p
q)
p

V
V
F
F

V
F
V
F

q (p

q) p

V
F
F
F

V
V
V
F

q), (p

q)

q
V
F
F
V

Vamos observar (p q). Esta proposio verdadeira apenas na 1 linha. Nesta mesma linha, p, q, (p q) e (p q) so tambm verdadeiras. Quer dizer, (p ^ q) implica logicamente em p, por exemplo. Assim,
podemos escrever: (p ^ q)
p.
Observe que p q implica logicamente todas as outras proposies da tabela-verdade.

As mesmas tabelas-verdade demonstram importantes regras de

inferncia:
p

p^q

p^q

(Adio)

(Simplificao)

Prove por tabela-verdade que: a) p q p q

b) p q q p

(2) Seja a tabela-verdade da proposio (p

p

V
V
F
F

V
F
V
F

~p

V
V
V
F

q)
(p

~p:
q)

F
F
V
V

~p

F
F
V
F

Ela verdadeira apenas na linha 3, em que q tambm verdadeira. Logo

existe a seguinte implicao lgica:
(p

q)

~p

q e (p

q)

~q

p (Regra do Silogismo Disjuntivo)

(3) Seja a tabela-verdade da proposio (p

p

V
V
F
F

V
F
V
F

q
V
F
V
V

(p

q)

p:

q)

V
F
F
F

Tecnologia em Anlise e Desenvolvimento de Sistemas

39
Implicao e Equivalncia Lgica

Ela verdadeira apenas na linha 1, em que q tambm verdadeira. Logo

existe a seguinte implicao lgica:
(p

q)

(Regra Modus Ponens)

(4) Sejam as tabelas-verdade das proposies (p

p

V
V
F
F

V
F
V
F

q
V
F
V
V

~q (p

q)

F
V
F
V

F
F
F
V

q)

~q e ~p:

~q ~p
F
F
V
V

Ela verdadeira apenas na linha 4, em que ~p tambm verdadeira.

Logo existe a seguinte implicao lgica:
(p

q)

~q

p
p (Regra Modus tollens)

5.3 Tautologias e Implicao Lgica

Teorema: Dizemos que a proposio P(p, q, r, ...) implica a proposio Q(p, q, r, ...), ou seja P(p, q, r, ...) => Q(p, q, r, ...), se e somente se a condicional P(p,
(p, q,q,r,r,...)
)Q(p, q, r, ...) tautolgica.
Portanto, a toda implicao lgica corresponde uma condicional
tautolgica e vice-versa. Isso acontece porque, como P => Q,
em Q,
verdadeiro
Q falso. Desse modo,
no ocorre o situao onde P falso
e Q everdadeiro.
P
Q nunca ser falso.

Observe que os smbolos

e => so diferentes. O primeiro de
operao lgica e o segundo de relao.
Exemplo:
q) ^ p implica a proposio q, pois a condicional
A proposio (p <->
(p <->
-> q tautolgica.
q) ^ p

Lgica e Matemtica Discreta

40

Captulo 5

V
V
F
F

V
F
V
F

q) ^ p (p <->
p <->
-> q

q) ^ p
q (p <->
V
F
F
V

V
F
F
F

V
V
V
V

Ou seja: (p <->
q) ^ p => q.
Prove que (pq)(qr) (pr) (Regra do Silogismo hipottico).
Princpio da inconsistncia: de uma contradio se deduz qualquer proposio. Ex.: ppq.

ATIVIDADE 6 - Para exercitar, vamos realizar algumas das atividades propostas por (PINHO, 1999, p. 53):
1. Utilizando tabelas-verdade, verifique se existem as relaes de
implicao lgica seguintes:
(a) p

q
q)

(b) ~( p
(c) p

(d) ~p

( ~q

p
~p

~q

~q

p)

~p

~(p

~q)

(b) q

2. Mostrar que:
(a) q

3. Mostrar que p

~q no implica p

q.

4. Mostrar (x 0y

x = y)

x y

x = 0.

5.4 EQUIVALNCIA LGICA

Uma proposio P(p,q,r...) logicamente equivalente a uma

proposio Q(p,q,r...), se as tabelas-verdade destas duas proposies so idnticas.

Tecnologia em Anlise e Desenvolvimento de Sistemas

41
Implicao e Equivalncia Lgica

Representao: P(p,q,r,...)

Q(p,q,r,...)

Em particular, se as proposies P e Q so ambas tautolgicas ou so

ambas contradies, ento so equivalentes.

5.5 Propriedades da Equivalncia Lgica

Vamos relacionar algumas propriedades:
t
Reflexiva (a proposio equivalente a ela mesma): P(p,q,r..)
P(p,q,r..)
t
Simtrica (se uma proposio equivale a uma outra, esta outra equivale primeira):
Se P(p,q,r..)
Q(p,q,r..) ento Q(p,q,r..)
P(p,q,r..)
t
Transitiva (se uma proposio equivale a uma segunda, e a
segunda proposio equivalente uma terceira, a primeira
equivale terceira):
Se P(p,q,r..)
R(p,q,r..) e R(p,q,r..)
Q(p,q,r..) ento
P(p,q,r..) Q(p,q,r..)

5.6

Exemplos

(1) Regra da dupla negao

As proposies ~~p e p so equivalentes, ou seja, ~~p
p

~p

~~p

V
F

F
V

V
F

p:

(2) Regra de CLAVIUS

As proposies ~p

p e p so equivalentes, ou seja, ~p
p

~p

V
F

F
V

~p

p
V
F

Lgica e Matemtica Discreta

p:

42

Captulo 5

(3) Regra de absoro

As proposies p

V
V
F
F

V
F
V
F

qep
p

q so equivalentes:
q p

V
F
F
F

p
V
F
V
V

q p

q
V
F
V
V

A condicional pq e a disjuno pq so equivalentes. Prove atravs da tabela-verdade.

A bicondicional p q e a conjuno (pq)(qp) tambm so equivalentes. Prove atravs da tabela-verdade.

5.7 Tautologias e Equivalncia Lgica

Teorema: Dizemos que a proposio P(p, q, r, ...) equivalente

a proposio Q(p, q, r, ...), ou seja P(p, q, r, ...)
Q(p, q, r, ...),
P(p,q,r,)
se e somente se a bicondicional (p,
q, r, ...)
Q(p, q, r, ...)
tautolgica (ALENCAR FILHO, 2003).

Portanto, toda equivalncia lgica corresponde a uma bicondicional

tautolgica e vice-versa. Isso acontece, porque, se duas proposies P
Q, ento no ocorre o caso em que P e Q apresentam valores lgicos
diferentes. Desse modo P
Q uma tautologia.

Observe que os smbolos

e
so diferentes. O primeiro de
operao lgica e o segundo de relao.

Exemplo:
A bicondicional (p ~q
c)
(p
q), onde c uma proposio
com valor lgico F, tautolgica, pois a ltima coluna da tabela-verdade
tem apenas a letra V. Portanto, as proposies p ~q
cep
q so
equivalentes, ou seja, (p ~q
c)
(p
q).
Nesta equivalncia consiste o mtodo de demonstrao por absurdo.

Tecnologia em Anlise e Desenvolvimento de Sistemas

43
Implicao e Equivalncia Lgica

ATIVIDADE 7:
1. Construa a tabela-verdade do exemplo acima.
Prove que a bicondicional (p q r) (p (q r)) tautolgica.
Esta equivalncia lgica denominada Regra de Exportao-Importao.

5.8 Proposies Associadas a uma Condicional

Dada a condicional p

q, temos as seguintes proposies associadas:

t
1SPQPTJP
SFDQSPDB
EF
Q

q: q

t
1SPQPTJP
DPOUSSJB
EF
Q

q: ~p

t
1SPQPTJP
DPOUSBQPTJUJWB
EF
Q

p
~q
q: ~q

~p

ATIVIDADE 8:
1. Construa as tabelas-verdade das proposies acima.
Observe que:
(i) a condicional e sua contrapositiva so equivalentes: pq qp.
(ii) a recproca e a contrria da condicional so equivalentes: qp pq.
Observe tambm que a condicional e sua recproca ou sua contrria no so equivalentes.
A contrapositiva da condicional contrria recproca da condiconal.

5.9 Negao Conjunta de Duas Proposies

Negao conjunta de duas proposies p e q a proposio no p

e no q, ou seja, ~p ~q. Tambm indicada pela notao: p q.

Portanto temos: p

~p

~q

ATIVIDADE 9:
1. Construa a tabela-verdade da proposio anterior.

Lgica e Matemtica Discreta

44

Captulo 5

5.10 Negao Disjunta de Duas Proposies

Negao disjunta de duas proposies p e q a proposio no p

ou no q, ou seja, ~p ~q. Tambm indicada pela notao: p q.
q

Portanto temos: p

~p

~q

Os conectivos e so chamados conectivos de SCHEFFER.

ATIVIDADE 10 Para exercitar, vamos realizar algumas das

atividades propostas por (PINHO, 1999, p. 63):
1. Construa a tabela-verdade da proposio acima.
2. Mostrar que as proposies p e q so equivalentes (p
seguintes casos:
(a) p: 1 + 3 = 4;

q: (1 + 3)2 = 16

(b) p: sen0 = 1;

q: cos0 = 0

(c) p: x par;

q: x + 1 impar (x

3. Exprimir a bicondicional p
, e ~.

q) nos

Z)

q em funo dos conectivos:

4. Demonstrar, por tabelas-verdade, as seguinte equivalncias:

(a) p

(p

q)

(b) (p

q)

(p

r)

5. Demonstrar atravs de tabelas-verdade, que os trs conectivos e ~ exprimem-se em funo do conectivo , do seguinte
modo:
(a) ~p

(b) p

(p

p)

(q

q)

6. Sabendo que o valor lgico das proposies q e p so verdadeiras

e de r falsa, determine o valor lgico das seguintes proposies:
(a) ((p

q)

(q

~r)

(b) (~p

~q)

((q

r)

p)

Para maior compreenso, ler os captulos 5 Implicao Lgica e 6 Equivalncia Lgica do livro Alencar Filho, Edgard de.
Iniciao lgica matemtica. So Paulo: Nobel, 2003.
Tecnologia em Anlise e Desenvolvimento de Sistemas