Documente Academic
Documente Profesional
Documente Cultură
IMPLICAO E EQUIVALNCIA
LGICA
5.2
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.
p^q
p^q
(Adio)
(Simplificao)
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
q)
~p
q e (p
q)
~q
V
V
F
F
V
F
V
F
q
V
F
V
V
(p
q)
p:
q)
V
F
F
F
39
Implicao e Equivalncia Lgica
q)
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
q)
~q
p
p (Regra Modus tollens)
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.
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.
41
Implicao e Equivalncia Lgica
Representao: P(p,q,r,...)
Q(p,q,r,...)
5.6
Exemplos
~p
~~p
V
F
F
V
V
F
p:
p e p so equivalentes, ou seja, ~p
p
~p
V
F
F
V
~p
p
V
F
p:
42
Captulo 5
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
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.
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.
t1SPQPTJPSFDQSPDBEFQ
q: q
t1SPQPTJPDPOUSSJBEFQ
q: ~p
t1SPQPTJPDPOUSBQPTJUJWBEFQ
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.
Portanto temos: p
~p
~q
ATIVIDADE 9:
1. Construa a tabela-verdade da proposio anterior.
44
Captulo 5
Portanto temos: p
~p
~q
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)
(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)
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