Exercicios Aula 5

Prévia do material em texto

Universidade Tecnológica Federal do Paraná – UTFPR 
Departamento Acadêmico de Informática – DAINF 
Curso de Engenharia de Computação 
Disciplina de Lógica para Computação 
 
"O único modo de evitar os erros é adquirindo experiência; 
mas a única maneira de adquirir experiência é cometendo erros." 
Autor Desconhecido 
 
 
Exercícios - Aula 05 
1. Construir as tabelas-verdade das seguintes proposições: 
a) ¬(p  ¬q) 
b) ¬(p  ¬q) 
c) p  q  p  q 
d) ¬p  (q  p) 
e) (p  q)  p  q 
f) q ↔ ¬q  p 
 
2. Determinar P(VV, VF, FV, FF) em cada um dos seguintes casos: 
a) P(p,q) = ¬(¬p ↔ q) 
b) P(p,q) = ¬p  q  p 
c) P(p,q) = (p  q)  ¬(p  q) 
d) P(p,q) = (p  ¬q)  (¬p  q) 
e) P(p,q) = ¬((p  q)  (¬p  ¬q)) 
f) P(p,q) = ¬q  p ↔ q  ¬p 
 
3. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V, 
determinar o valor lógico (V ou F) da proposição: 
(p  (¬q  p))  ¬((p ↔ ¬q)  q  ¬p) 
 
4. Sabendo que os valores lógicos das proposições p, q e r são respectivamente V, F e F, 
determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) (p ↔ p  q)  (p  r) b) (p  ¬q) ↔ ((p  r)  q) 
 
5. Sabendo que as proposições p e q são verdadeiras e que as proposições r e s são falsas, 
determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) p  q  r 
b) r  s  q 
c) q ↔ p  s 
d) p  ¬(r  s) 
e) (q  s) r 
f) ¬r  p  q 
g) (q  r)  (p  s) 
h) (r  s)  (p  q) 
i) (s ↔ r) ↔ (p ↔ q) 
j) r  q ↔ (¬p ↔ r) 
 
6. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) p ↔ q  ¬r, sabendo que V(p) = V(r) = V 
b) p  q  p  r, sabendo que V(p) = V(r) = V 
c) (p  ¬q)  (¬p  r), sabendo que V(q) = F e V(r) = V 
 
 
 
That's all folks.