Conclusão do sumário anterior. Demonstrações formais com regras de introdução e eliminação da igualdade.
13 Janeiro 2022, 10:30 • Maria João Antunes Dias Gouveia
Correcção do TPC.
Resolução dos exercícios 154, 156.
Esclarecimento de dúvidas relativamente a demonstrações formais com quantificadores múltiplos.
TPC: 158 a partir das sugestões dadas.