(1.1)Lógica Proposicional Exercícios

Prévia do material em texto

EXERCÍCIOS (1): 
Considere as proposições simples abaixo. 
p Paulo é matemático 
q Paulo estuda lógica 
r Paulo é programador 
 
1) Escreva em forma simbólica cada uma das seguintes frases: 
a) Paulo não é matemático 
b) Paulo é programador e estuda lógica 
c) Paulo é matemático ou não estuda lógica 
d) Se Paulo não for programador, então ele não será matemático 
e) Paulo estuda lógica, se e somente se ele for programador 
f) Se Paulo estuda lógica e é matemático, então ele é não é programador 
g) Paulo é matemático e programador se e somente se estuda lógica 
 
2) Enuncie em linguagem natural as seguintes expressões: 
a) ~r 
b) ~q ^ p 
c) r v ~p 
d) p → q 
e) r ↔ ~p 
f) ~q → r v p 
g) (p v q) → ~r 
 
3) Monte as seguintes tabelas-verdade: 
a) Tabela-verdade composta por 4 proposições simples 
b) Tabela-verdade com 3 valores possíveis (V, F e X) composta por 2 proposições simples