Download - Lista de exercícios - Dedução natural

Transcript

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