Trabalho da disciplina de Semântica Formal