Resposta Exercicio Lógica Computacional

Prévia do material em texto

SOLUÇÃO DOS EXERCÍCIOS 
1) Sejam as proposições p: João joga futebol e q: João joga tênis, escreva na 
linguagem usual as seguintes proporções. 
 a) p + q João joga futebol ou tênis. 
b) p 

 q João joga futebol e tênis. 
c) p 

 q' João joga futebol e não joga tênis 
d) p'

 q' João não joga futebol nem tênis. 
e) (p')' É falso que João não joga futebol. 
f) (p’

 q')' É falso que João não joga futebol nem tênis. 
 2) Dadas as proposições p: Maria é bonita e q: Maria é elegante, escrevam em 
linguagem simbólica as seguintes proposições: 
 a) Maria é bonita e elegante. p 

 q 
b) Maria é bonita mas não é elegante. p 

 q' 
c) Não é verdade que Maria não é bonita ou elegante. (p' + q)' 
d) Maria não é bonita nem elegante. p’ 

 q' 
e) Maria é bonita ou não é elegante. p + q’ 
f) É falso que Maria não é bonita ou que não é elegante. (p' + q')' 
 3) Sabendo que V(p) = 1 e V(q) = 0, determine o valor lógico de cada uma das 
proposições: 
 a) p. q' 1 

 1 = 1 
b) p + q 1 + 0 = 1 
c) p’. q’ 0 . 1 = 0 
d) ( p’. q’) (0 

 1)’ = 1 
e) p' + q' 0 + 1 = 1 
f) p 

 (p' + q) 1 

 (0 + 0) = 0 
4) Sejam as proposições: 
p : Marcos é alto. 
q : Marcos é elegante. 
r : Marcos é inteligente. 
Traduzir para a linguagem simbólica as seguintes proposições: 
a) Marcos é alto e elegante. p 

 q 
b) Marcos é alto, mas não é elegante. p 

 q’ 
c) Não é verdade que Marcos é inteligente ou elegante. (r + q)’ 
d) Marcos não é nem alto e nem elegante. p’ 

 q’ 
e) Marcos é alto ou é inteligente e elegante. (p + r) 

 q 
f) É falso que Marcos é inteligente ou que não é elegante. (r + q’)’