UNIVERSIDADE FEDERAL DE MINAS GERAIS

Lista de Exerccios 4

Trabalho apresentado ao professor Luiz

Filipe Menezes Vieira, da disciplina de
Introduo aos Sistemas Lgicos, pelo
aluno Enok Janurio da Rocha, do curso de
Bacharelado em Cincia da Computao,
como parte das exigncias da disciplina.

Belo Horizonte
04 de julho de 2017