Você está na página 1de 3

UNIDADE V – IMPLICAÇÃO LÓGICA E EQUIVALÊNCIA LÓGICA

5.1 – PROPRIEDADES DA IMPLICAÇÃO LÓGICA


A relação de implicação lógica entre proposições possui as propriedades reflexiva
(R) e transitiva (T), isto é, simbolicamente:

(R) P(p, q, r,...)  P(p, q, r,...)

(T) Se P(p, q, r,...)  Q(p, q, r,...) e


Q(p, q, r,...)  R(p, q, r,...) então
P(p, q, r,...)  R(p, q, r,...)

Exemplificação:
a) p  q, p  q, p  q
b) p  q, p  q, q  p

“Qualquer proposição implica uma tautologia e somente uma contradição implica


uma contradição”.

5.1 - NEGAÇÃO CONJUNTA DE DUAS PROPOSIÇÕES

Def.: Chama-se negação conjunta de duas proposições p e q a proposição “não p


e não q”, isto é, simbolicamente, “~p  ~q”.
A negação conjunta de duas proposições p e q também se indica pela notação “p
 q”. Portanto, temos:
p  q  ~p  ~q

A tabela-verdade de “p  q” é a seguinte:

p q pq
V V F
V F F
F V F
F F V

5.2 - NEGAÇÃO DISJUNTA DE DUAS PROPOSIÇÕES

Def.: Chama-se negação disjunta de duas proposições p e q a proposição “não p


ou não q”, isto é, simbolicamente, “~p  ~q”.
A negação disjunta de duas proposições p e q também se indica pela notação “p 
q”. Portanto, temos:
p  q  ~p  ~q

A tabela-verdade de “p  q” é a seguinte:
p q pq
V V F
V F V
F V V
F F V

Os símbolos “” e “” são chamados de “conectivos de SCHEFFER”.

5.3 - OU EXCLUSIVO ()

A tabela do conectivo OU EXCLUSIVO é a seguinte:

p q pq
V V F
V F V
F V V
F F F

5.4 – IMPLICAÇÃO LÓGICA

Diz-se que uma proposição P(p, q, r,...) implica logicamente ou apenas implica
uma proposição Q(p, q, r,...), se Q é verdadeira todas as vezes que P é
verdadeira.
Em outros termos, uma proposição P implica logicamente ou apenas
implica uma proposição Q todas as vezes que nas respectivas tabelas-verdade
dessas duas proposições, onde na última coluna de P aparece V, o mesmo
acontece na última coluna de V.
Indica-se que a proposição P(p, q, r,...) implica logicamente a proposição
Q(p,q,r,...) com a notação:

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

Exemplos:
Demonstrar a implicação lógica entre as proposições abaixo:
a) (p  q)  ~p e q
b) (p  q)  ~q e ~p

5.5 – EQUIVALÊNCIA LÓGICA

Diz-se que uma proposição P(p, q, r,...) equivale logicamente ou apenas equivale
a uma proposição Q(p, q, r,...), se a última coluna de ambas as proposições
apresentam resultados iguais.
Em outros termos, uma proposição P equivale logicamente ou apenas
equivale a uma proposição Q todas as vezes que nas respectivas tabelas-verdade
dessas duas proposições, onde na última coluna de P aparece V, o mesmo
acontece na última coluna de Q e onde na última coluna de P aparece F também
ocorre o mesmo na última coluna de Q.
Indica-se que a proposição P(p, q, r,...) implica logicamente a proposição
Q(p,q,r,...) com a notação:

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

Exemplos:
Demonstrar a equivalência lógica entre as proposições abaixo:
a) ~(p  q) e ~p ^ ~q

Exercícios:

1. Sabendo que as proposições p e q são verdadeiras e que a proposição r é


falsa, determinar o valor lógico (V ou F) das seguintes proposições:

a) (~p  q)  (q  ~r)
b) ((p  q)  (q  r))  (r  p)
c) (~p  ~q)  ((q  r)  p)
d) ((p  ~p)  q)  (q  r)

2. Determinar se existe ou não implicação ou equivalência lógica entre as


proposições abaixo:

a) (p  q)  r e p  ~r  ~q
b) (p  q)  (p  r) e pqr
c) pq e (p  q)  ~(p  q)
d) pq e (p  q)  (p  q)