03 Proposições Exercícios 1

Prévia do material em texto

Rev.20090401 
Lógica 
Lista de exercícios – Proposições 1 
1) Sejam as proposições p: José é forte e q: Ana é linda. Traduzir para a 
linguagem corrente as seguintes proposições: 
a) ~p 
b) q ↔ p 
c) p V q 
d) p ↔ ~q 
e) ~p ↔ ~q 
f) p V ~p 
g) ~p  ~q 
h) p  ~q 
 
 
2) Sejam as proposições p: Marcos fala alemão e q: Marcos fala inglês. 
Traduzir para a linguagem simbólica as seguintes proposições: 
a) É falso que Marcos fala alemão ou inglês 
b) Não é verdade que Marcos não fala alemão ou inglês 
c) Marcos fala alemão e inglês 
d) Marcos fala alemão ou então, não fala alemão, mas fala inglês 
e) Marcos fala alemão, mas não inglês 
f) Marcos não fala alemão nem inglês 
 
 
3) Sejam as proposições p: João é gaúcho, q: Jaime é paulista. Traduzir 
para a linguagem corrente as seguintes proposições: 
a) (p.q’)’ 
b) p’’ 
c) (p’+q’)’ 
d) pq’ 
e) p’q’ 
f) p.q 
g) (q’)’ 
h) q’↔p’ 
 
 
4) Construir a tabela verdade das proposições do exercício 1, também 
mostrar simbolicamente os valores lógicos da proposição composta. 
 
5) Construir a tabela verdade das proposições do exercício 2, também 
mostrar simbolicamente os valores lógicos da proposição composta. 
 
6) Construir a tabela verdade das proposições do exercício 3, também 
mostrar simbolicamente os valores lógicos da proposição composta.