Aulas nº 71 e 72

Conclusão das actividades da aula anterior.
Trabalho de avaliação: topologias lógicas.