Lista de exercícios - Dedução natural

Post on 17-Aug-2015

219 views 5 download

description

Lista de Exercícios para disciplina de lógica do professor Andrei Formiga.

Transcript of Lista de exercícios - Dedução natural

UniversidadeFederaldaParabaCentrodeInformaticaDisciplina: L ogicaAplicada` aComputa caoProfessor: AndreideAra ujoFormigaListadeExercciosDedu caoNatural1. UtilizandoaDeducaoNatural,proveasseguintesdeducoes:a. A B, CA Cb. A B, B CA Cc. A B C, B A, BCd. A, B, A B CCe. A B CA (B C)f. A (B C)A B Cg. (A B) CA (B C)h.(A A) Ai.(A B) (B A)j. A B C, D C, B, DAk. A B, ABl.A A1