You are on page 1of 1

Centro de Ciências Exactas e da Engenharia

LOGICA E RACIOCÍNIO
2º Semestre 2010/2011

Folha de exercícios nº 3
Dedução Natural

1. Prove utilizando o sistema de Dedução Natural que:

a) { p } |- p  (p  q)
b) { p  (q  ~r), p  ~q } |- ~r
c) { p  q, q  r, r  p } |- p  q
d) { p  q, q  r } |- r  p
e) { r  (p  ~q), p  ~r } |- ~q
f) { (p  q)  r, ~q } |- p  r
g) { p  (q  r) } |- (p  q)  r
h) { (p  q)  r, r  s, p  ~s } |- ~q
i) { p  ~q } |- q  ~p
j) { p  q } |- ~(~p  ~q)
k) { p  q, q  r } |- p  (q  r)
l) { ~q  s, s  ~r } |- ~(q  r)
m) { ~p  (~q  r), ~q  t, ~r } |- ~t  p
n) { p  (q  r), r  t, q  s } |- p  (t  s)
o) { p  (q  r), (s  ~t)  u, (r  u)  p } |- (r  (s  ~t))  q
p) { ~p  q, r  ~q, p  r } |- s
q) { ~p  ~q, r  ~p, q  s, ~s } |- ~r
r) { (p  r)  ~(s  t), p, ~s  ~p, p  t } |- ~r

(Exercícios adaptados dos exercícios do cap. 4 do livro de J. A. Díez Calzada
(2002) Iniciación a la lógica, Barcelona: Ariel. pp. 119-120).