05 ListaImplicacoesEquivalencias

Prévia do material em texto

Rev.20090401 
Lógica 
Lista de exercícios – Implicações e Equivalências 
 
1) Verificar se existe as seguintes implicações lógicas: 
a) q  pq 
b) p↔q’  pq’ 
c) p.q  p 
d) q  p+q↔p 
e) (p↔q).p  q 
f) q  p+q↔p 
 
 
2) Verificar se existe as seguintes equivalências lógicas: 
a) ((p+r)’)’  p+r 
b) r’.r’  r’ 
c) (p’+q)’  (q+p’)’ 
d) (pq).(pr)  pq.r 
e) (pq)r  p.r’q’ 
f) q↔p.q  pq 
 
 
 
3) Dizer se entre as proposições abaixo há implicação ou 
equivalência quando tomada aos pares: 
a) p’ 
b) qp’ 
c) pq 
d) q’+p 
e) p.q 
f) (p.q)’