Algebra das Proposições

1. Indique a proposição equivalente para:

a) ~~p 
b) p  p 
c) p  p 
d) c  p 
e) t  p 
f) c  p 
g) t  p 
h) p  ~p 
i) p  ~p 
j) p  q 
k) p  q 
l) p  q  r  (p  q)  r 
m) p  q  r  (p  q)  r 
n) r  (p  q) 
o) r  (p  q) 
p) p  ( p  q) 
q) p  (p  q) 
r) p  (~p  q) 
s) p  (~p  q) 
t) ~(p  q) 
u) ~(p  q) 
v) p → q 
w) p  q 
x) p  q 
y) p ↑ q 
z) p ↓ q 

2. Indique as implicações para:

a) p 
b) q 
c) p  q 
d) p  q 

Métodos Dedutivos

3. Utilizando métodos dedutivos prove se as seguintes equivalências e implicações são verdadeiras.

a) q → p  ~p → ~q
b) p  (p  q) → r  (q ˄ r)  p → r
c) p → q ˄ r  p → r
d) (p  q)  p  q
e) p ↔ q  ((p  q)  ~(q  p))
f) p  (~p  q)  q
g) ~(p → (~q  p))  p ˄ q
h) (r  s) (r  s)
i) (p  q) ~(p → q)  ~(q → p)

4. Coloque a seguinte proposição composta na forma normal disjuntiva: ~ (p ↓ q)

5. Coloque a seguinte proposição composta na forma normal conjuntiva: ~ (p ↑ q)

6. Coloque a proposição composta p ∧ ((~q ∧ ~(~p ∧ ~r)) ∨ (q ∧ r)) na forma normal disjuntiva.