Resolução dos sequentes propostos como trabalho 1 da disciplina de Lógica para Computação. Cada resolução de sequente está titulada com a respectiva letra em um arquivo .jp. Para acessa-las é necessário utilizar a aplicação Jape (https://github.com/RBornat/jape). O relatório está intitulado como "t1_GiorgiaeNatalia.pdf".
Autoras: Giorgia Coan Marques e Natália Dal Pizzol.