Universidade Federal da Paraba

tica
Centro de Informa
Disciplina: Logica Aplicada a` Computacao
Professor: Andrei de Ara
ujo Formiga
Lista de Exerccios Deducao Natural
1.

Utilizando a Deduc
ao Natural, prove as seguintes deducoes:

a. A B, C ` A C
b. A B, B C ` A C
c. A B C, B A, B ` C
d. A, B, A B C ` C
e. A B C ` A (B C)
f. A (B C) ` A B C
g. (A B) C ` A (B C)
h. ` (A A) A
i. ` (A B) (B A)
j. A B C, D C, B, D ` A
k. A B, A ` B
l. ` A A